Idris2Doc : Control.Monad.List

Control.Monad.List

(source)
Definitions
data ListM : (Type -> Type) -> Type -> Type
  Totality: not strictly positive
  Visibility: public export
  Constructors:
  
Nil : ListM m a
  
(::) : a -> m (ListM m a) -> ListM m a

  Hint: 
Monad m => Monoid (ListM m a)
0 ListT : (Type -> Type) -> Type -> Type
  Visibility: public export
ListTSemigroup : Monad m => Semigroup (ListT m a)
  Visibility: export
ListT : Monad m => Monoid (ListT m a)
  Visibility: export
ListM : Monad m => Monoid (ListM m a)
  Visibility: export
ListT : Monad m => Applicative (ListT m)
  Visibility: export
ListT : Monad m => Monad (ListT m)
  Visibility: export
ListT : Monad m => Alternative (ListT m)
  Visibility: public export
runListT' : Monad m => ListT m a -> m (Maybe a)
  Visibility: export
runListT : Monad m => ListT m a -> m (List a)
  Visibility: export
liftList : Applicative m => List a -> ListT m a
  Visibility: export