A proper implementation of the list monad-transformer. Useful for streaming of monadic data structures.
Since it has instances of MonadPlus and Alternative, you can use general utilities packages like "monadplus" with it.
Instances32MonadTrans, MMonad, MFunctor, MonadError, MonadReader, MonadState, …
MonadTrans ListTDefined in list-t-1.0.5.7 · ListTMMonad ListTDefined in list-t-1.0.5.7 · ListTMFunctor ListTDefined in list-t-1.0.5.7 · ListTMonadError e m => MonadError e (ListT m)Defined in list-t-1.0.5.7 · ListTMonadReader e m => MonadReader e (ListT m)Defined in list-t-1.0.5.7 · ListTMonadState e m => MonadState e (ListT m)Defined in list-t-1.0.5.7 · ListTMonadBase b m => MonadBase b (ListT m)Defined in list-t-1.0.5.7 · ListTMonadBaseControl b m => MonadBaseControl b (ListT m)Defined in list-t-1.0.5.7 · ListTMonad m => Monad (ListT m)Defined in list-t-1.0.5.7 · ListTFunctor m => Functor (ListT m)Defined in list-t-1.0.5.7 · ListTMonad m => MonadFail (ListT m)Defined in list-t-1.0.5.7 · ListT(Monad m, Functor m) => Applicative (ListT m)Defined in list-t-1.0.5.7 · ListTFoldable m => Foldable (ListT m)Defined in list-t-1.0.5.7 · ListTTraversable m => Traversable (ListT m)Defined in list-t-1.0.5.7 · ListT(Monad m, Functor m) => Alternative (ListT m)Defined in list-t-1.0.5.7 · ListTMonad m => MonadPlus (ListT m)Defined in list-t-1.0.5.7 · ListTMonadIO m => MonadIO (ListT m)Defined in list-t-1.0.5.7 · ListTMonadZip m => MonadZip (ListT m)Defined in list-t-1.0.5.7 · ListTEq1 m => Eq1 (ListT m)Defined in list-t-1.0.5.7 · ListTOrd1 m => Ord1 (ListT m)Defined in list-t-1.0.5.7 · ListTShow1 m => Show1 (ListT m)Defined in list-t-1.0.5.7 · ListTMonad m => MonadLogic (ListT m)Defined in list-t-1.0.5.7 · ListTEq (m (Maybe (a, ListT m a))) => Eq (ListT m a)Defined in list-t-1.0.5.7 · ListT(Typeable m, Typeable a, Data (m (Maybe (a, ListT m a)))) => Data (ListT m a)Defined in list-t-1.0.5.7 · ListTOrd (m (Maybe (a, ListT m a))) => Ord (ListT m a)Defined in list-t-1.0.5.7 · ListTRead (m (Maybe (a, ListT m a))) => Read (ListT m a)Defined in list-t-1.0.5.7 · ListTShow (m (Maybe (a, ListT m a))) => Show (ListT m a)Defined in list-t-1.0.5.7 · ListTGeneric (ListT m a)Defined in list-t-1.0.5.7 · ListTMonad m => Semigroup (ListT m a)Defined in list-t-1.0.5.7 · ListTMonad m => Monoid (ListT m a)Defined in list-t-1.0.5.7 · ListTtype Rep (ListT m a) = D1 ('MetaDataDefined in list-t-1.0.5.7 · ListT"ListT"
"ListT"
"list-t-1.0.5.7-JoJGdksreJcEl8CEy9M0xM"
'True) (C1 ('MetaCons"ListT"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (m (Maybe (a, ListT m a))))))type StM (ListT m) a = StM m (Maybe (a, ListT m a))Defined in list-t-1.0.5.7 · ListT