Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- 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 a Source
type MonadErrorShortable m a = MonadShortable String m a Source
short :: Monad m => m a -> MonadShortable r m a Source
unShort :: Monad m => MonadShortable r m r -> m r Source
class Monad m => MonadShort m where Source
Minimal complete definition: unError
unError :: r -> MonadErrorShortable m a -> MonadShortable r m a Source
unError_ :: MonadErrorShortable m a -> MonadShortable () m a Source
unErrorShort :: r -> MonadErrorShortable m r -> m r Source
unErrorShort_ :: MonadErrorShortable m () -> m () Source