Control.Monad.Codensity

Documentation

newtype Codensity m a

Constructors

Codensity

Fields

• codensity :: forall b. (a -> m b) -> m b

Instances

MonadTrans (Codensity :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Codensity

Methods

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

Monad (Codensity m)

Defined in Control.Monad.Codensity

Methods

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

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

return :: a -> Codensity m a

fail :: String -> Codensity m a

Functor (Codensity m)

Defined in Control.Monad.Codensity

Methods

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

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

MonadFail f => MonadFail (Codensity f)

Defined in Control.Monad.Codensity

Methods

fail :: String -> Codensity f a

Applicative (Codensity p)

Defined in Control.Monad.Codensity

Methods

pure :: a -> Codensity p a

(<*>) :: Codensity p (a -> b) -> Codensity p a -> Codensity p b

liftA2 :: (a -> b -> c) -> Codensity p a -> Codensity p b -> Codensity p c

(*>) :: Codensity p a -> Codensity p b -> Codensity p b

(<*) :: Codensity p a -> Codensity p b -> Codensity p a

Alternative p => Alternative (Codensity p)

Defined in Control.Monad.Codensity

Methods

empty :: Codensity p a

(<|>) :: Codensity p a -> Codensity p a -> Codensity p a

some :: Codensity p a -> Codensity p [a]

many :: Codensity p a -> Codensity p [a]

Alternative p => MonadPlus (Codensity p)

Defined in Control.Monad.Codensity

Methods

mzero :: Codensity p a

mplus :: Codensity p a -> Codensity p a -> Codensity p a

unlift :: Applicative p => Codensity p a -> p a