- type MonadShortable r m a = AbortT r m a
- type MonadErrorShortable m a = MonadShortable String m a
- short :: Monad m => m a -> MonadShortable r m a
- unShort :: Monad m => MonadShortable r m r -> m r
- class Monad m => MonadShort m where
- unError :: r -> MonadErrorShortable m a -> MonadShortable r m a
- unError_ :: MonadErrorShortable m a -> MonadShortable () m a
- unErrorShort :: r -> MonadErrorShortable m r -> m r
- unErrorShort_ :: MonadErrorShortable m () -> m ()
Documentation
type MonadShortable r m a = AbortT r m aSource
type MonadErrorShortable m a = MonadShortable String m aSource
short :: Monad m => m a -> MonadShortable r m aSource
unShort :: Monad m => MonadShortable r m r -> m rSource
class Monad m => MonadShort m whereSource
Minimal complete definition: unError
unError :: r -> MonadErrorShortable m a -> MonadShortable r m aSource
unError_ :: MonadErrorShortable m a -> MonadShortable () m aSource
unErrorShort :: r -> MonadErrorShortable m r -> m rSource
unErrorShort_ :: MonadErrorShortable m () -> m ()Source