Control.Monad.Trans.List.Church

Documentation

newtype ListT (m :: Type -> Type) a

Constructors

ListT

Fields

• unListT :: forall r. (a -> m r -> m r) -> m r -> m r -> m r

Instances

MonadTrans ListT

Defined in Control.Monad.Trans.List.Church

Methods

lift :: Monad m => m a -> ListT m a

MonadBase b m => MonadBase b (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

liftBase :: b α -> ListT m α

Monoid s => ThreadsEff ListT (ListenPrim s)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. ListenPrim s m x -> m x) -> ListenPrim s (ListT m) a -> ListT m a

ThreadsEff ListT (Regional s)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. Regional s m x -> m x) -> Regional s (ListT m) a -> ListT m a

ThreadsEff ListT (ReaderPrim i)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. ReaderPrim i m x -> m x) -> ReaderPrim i (ListT m) a -> ListT m a

Functor s => ThreadsEff ListT (Optional s)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. Optional s m x -> m x) -> Optional s (ListT m) a -> ListT m a

ThreadsEff ListT (Unravel p)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. Unravel p m x -> m x) -> Unravel p (ListT m) a -> ListT m a

Monoid s => ThreadsEff ListT (WriterPrim s)

Defined in Control.Monad.Trans.List.Church

Methods

threadEff :: Monad m => (forall x. WriterPrim s m x -> m x) -> WriterPrim s (ListT m) a -> ListT m a

Monad (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

(>>=) :: ListT m a -> (a -> ListT m b) -> ListT m b

(>>) :: ListT m a -> ListT m b -> ListT m b

return :: a -> ListT m a

Functor (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

fmap :: (a -> b) -> ListT m a -> ListT m b

(<$) :: a -> ListT m b -> ListT m a

MonadFail m => MonadFail (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

fail :: String -> ListT m a

Applicative (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

pure :: a -> ListT m a

(<*>) :: ListT m (a -> b) -> ListT m a -> ListT m b

liftA2 :: (a -> b -> c) -> ListT m a -> ListT m b -> ListT m c

(*>) :: ListT m a -> ListT m b -> ListT m b

(<*) :: ListT m a -> ListT m b -> ListT m a

MonadIO m => MonadIO (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

liftIO :: IO a -> ListT m a

MonadThrow m => MonadThrow (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

throwM :: Exception e => e -> ListT m a

MonadCatch m => MonadCatch (ListT m)

Defined in Control.Monad.Trans.List.Church

Methods

catch :: Exception e => ListT m a -> (e -> ListT m a) -> ListT m a

cons :: a -> ListT m a -> ListT m a

cull :: ListT m a -> ListT m a

choose :: ListT m a -> ListT m a -> ListT m a

lose :: ListT m a

cutfail :: ListT m a

call :: ListT m a -> ListT m a

data LoseOrCutfail

Constructors

Lost

Cutfailed

newtype LayeredListT m a

Constructors

LayeredListT

Fields

• unLayeredListT :: m (Either LoseOrCutfail (a, LayeredListT m a))

toLayeredListT :: Monad m => ListT m a -> LayeredListT m a

split' :: Monad m => LayeredListT m a -> LayeredListT m (Maybe (a, LayeredListT m a))

fromLayeredListT :: Monad m => LayeredListT m a -> ListT m a

split :: Monad m => ListT m a -> ListT m (Maybe (a, ListT m a))

runListT :: (Alternative f, Monad m) => ListT m a -> m (f a)