Module

Pipes.ListT

#ListT

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

Constructors

Select (Producer a m Unit)

Instances

(Monad m) => Functor (ListT m)
(Monad m) => Apply (ListT m)
(Monad m) => Applicative (ListT m)
(Monad m) => Bind (ListT m)
(Monad m) => Monad (ListT m)
MonadTrans ListT
(Monad m) => Alt (ListT m)
(Monad m) => Plus (ListT m)
(Monad m) => Alternative (ListT m)
(MonadEffect m) => MonadEffect (ListT m)
(Monad m) => Semigroup (ListT m a)
(Monad m) => Monoid (ListT m a)
(MonadState s m) => MonadState s (ListT m)
(Monoid w, MonadTell w m) => MonadTell w (ListT m)
(Monoid w, MonadWriter w m) => MonadWriter w (ListT m)
(MonadAsk r m) => MonadAsk r (ListT m)
(MonadReader r m) => MonadReader r (ListT m)
(MonadThrow e m) => MonadThrow e (ListT m)
(MonadError e m) => MonadError e (ListT m)
Enumerable ListT

#enumerate

enumerate :: forall a m. ListT m a -> Producer a m Unit

#runListT

runListT :: forall a m. Monad m => ListT m a -> m Unit

#runListTRec

runListTRec :: forall a m. MonadRec m => ListT m a -> m Unit

#every

every :: forall a m t. Monad m => Enumerable t => t m a -> Producer_ a m Unit

#Enumerable

class Enumerable :: ((Type -> Type) -> Type -> Type) -> Constraintclass Enumerable t  where

Members

toListT :: forall a m. Monad m => t m a -> ListT m a

Instances

Modules