Control.Applicative.Trans.List

The applicative list transformer

Documentation

newtype ListT f a

The Applicative list transformer.

This is isomorphic to the "old" ListT transformer. It is not a monad, but a lawful Applicative.

Constructors

ListT

Fields

• runListT :: f [a]

Instances

Alternative f => Alternative (ListT f)

Defined in Control.Applicative.Trans.List

Methods

empty :: ListT f a

(<|>) :: ListT f a -> ListT f a -> ListT f a

some :: ListT f a -> ListT f [a]

many :: ListT f a -> ListT f [a]

Applicative f => Applicative (ListT f)

Defined in Control.Applicative.Trans.List

Methods

pure :: a -> ListT f a

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

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

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

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

Functor f => Functor (ListT f)

Defined in Control.Applicative.Trans.List

Methods

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

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