Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
newtype PullT payload m a Source #
Instances
(MonadReader r m, MonadWriter w m) => MonadRWS r w [payload] (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure | |
MonadWriter w m => MonadWriter w (PullT payload m) Source # | |
MonadReader r m => MonadReader r (PullT payload m) Source # | |
MonadError e m => MonadError e (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure throwError :: e -> PullT payload m a # catchError :: PullT payload m a -> (e -> PullT payload m a) -> PullT payload m a # | |
MonadTrans (PullT payload) Source # | |
Defined in Test.Pull.Fake.Pure | |
Monad m => MonadState [payload] (PullT payload m) Source # | |
Monad m => Monad (PullT payload m) Source # | |
Functor m => Functor (PullT payload m) Source # | |
MonadFix m => MonadFix (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure | |
MonadFail m => MonadFail (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure | |
Monad m => Applicative (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure pure :: a -> PullT payload m a # (<*>) :: PullT payload m (a -> b) -> PullT payload m a -> PullT payload m b # liftA2 :: (a -> b -> c) -> PullT payload m a -> PullT payload m b -> PullT payload m c # (*>) :: PullT payload m a -> PullT payload m b -> PullT payload m b # (<*) :: PullT payload m a -> PullT payload m b -> PullT payload m a # | |
MonadIO m => MonadIO (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure | |
MonadPlus m => Alternative (PullT payload m) Source # | |
MonadPlus m => MonadPlus (PullT payload m) Source # | |
MonadThrow m => MonadThrow (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure | |
MonadCatch m => MonadCatch (PullT payload m) Source # | |
MonadMask m => MonadMask (PullT payload m) Source # | |
Defined in Test.Pull.Fake.Pure mask :: ((forall a. PullT payload m a -> PullT payload m a) -> PullT payload m b) -> PullT payload m b # uninterruptibleMask :: ((forall a. PullT payload m a -> PullT payload m a) -> PullT payload m b) -> PullT payload m b # generalBracket :: PullT payload m a -> (a -> ExitCase b -> PullT payload m c) -> (a -> PullT payload m b) -> PullT payload m (b, c) # | |
MonadCont m => MonadCont (PullT payload m) Source # | |
type MonadPull payload = MonadState [payload] Source #