Control.Freer.Final

A final-encoded generic Freer carrier.

Documentation

newtype FreerFinal c f a

A final-encoded generic Freer carrier.

Constructors

FreerFinal

Fields

• unFreerFinal :: forall m. c m => (f ~> m) -> m a

Instances

(forall (e :: Type -> Type). c (FreerFinal c e)) => Freer c (FreerFinal c)

Defined in Control.Freer.Final

Methods

liftIns :: e a -> FreerFinal c e a

interpretFreer :: forall m (e :: Type -> Type) a. c m => (e ~> m) -> FreerFinal c e a -> m a

retractFreer :: c m => FreerFinal c m a -> m a

transformFreer :: forall (e :: Type -> Type) (e' :: Type -> Type) a. (e ~> e') -> FreerFinal c e a -> FreerFinal c e' a

reinterpretFreer :: forall (e :: Type -> Type) a. (e ~> FreerFinal c e) -> FreerFinal c e a -> FreerFinal c e a

MonadFreer Monad (FreerFinal Monad)

Defined in Control.Freer.Final

Methods

interpretFreerK :: forall (e :: Type -> Type) r. (e ~> Cont r) -> FreerFinal Monad e ~> Cont r

(forall (f :: Type -> Type). c f => Alternative f, Applicative (FreerFinal c e)) => Alternative (FreerFinal c e)

Defined in Control.Freer.Final

Methods

empty :: FreerFinal c e a

(<|>) :: FreerFinal c e a -> FreerFinal c e a -> FreerFinal c e a

some :: FreerFinal c e a -> FreerFinal c e [a]

many :: FreerFinal c e a -> FreerFinal c e [a]

(forall (f :: Type -> Type). c f => Applicative f, Functor (FreerFinal c e)) => Applicative (FreerFinal c e)

Defined in Control.Freer.Final

Methods

pure :: a -> FreerFinal c e a

(<*>) :: FreerFinal c e (a -> b) -> FreerFinal c e a -> FreerFinal c e b

liftA2 :: (a -> b -> c0) -> FreerFinal c e a -> FreerFinal c e b -> FreerFinal c e c0

(*>) :: FreerFinal c e a -> FreerFinal c e b -> FreerFinal c e b

(<*) :: FreerFinal c e a -> FreerFinal c e b -> FreerFinal c e a

(forall (f :: Type -> Type). c f => Functor f) => Functor (FreerFinal c e)

Defined in Control.Freer.Final

Methods

fmap :: (a -> b) -> FreerFinal c e a -> FreerFinal c e b

(<$) :: a -> FreerFinal c e b -> FreerFinal c e a

(forall (m :: Type -> Type). c m => Monad m, Applicative (FreerFinal c f)) => Monad (FreerFinal c f)

Defined in Control.Freer.Final

Methods

(>>=) :: FreerFinal c f a -> (a -> FreerFinal c f b) -> FreerFinal c f b

(>>) :: FreerFinal c f a -> FreerFinal c f b -> FreerFinal c f b

return :: a -> FreerFinal c f a

(forall (m :: Type -> Type). c m => MonadPlus m, Alternative (FreerFinal c f), Monad (FreerFinal c f)) => MonadPlus (FreerFinal c f)

Defined in Control.Freer.Final

Methods

mzero :: FreerFinal c f a

mplus :: FreerFinal c f a -> FreerFinal c f a -> FreerFinal c f a

interpretFreerFinal :: c f => (e ~> f) -> FreerFinal c e a -> f a

liftInsFinal :: ins a -> FreerFinal c ins a