Control.Quiver.Internal

Documentation

data Q a' a b' b f c

Constructors

Consume a' (a -> Q a' a b' b f c) (forall x' x. Q x' x b' b f c)

Produce b (b' -> Q a' a b' b f c) (forall x' x. Q a' a x' x f c)

Enclose (f (Q a' a b' b f c))

Deliver c

Instances

Monad f => Monad (Q a' a b' b f)

Functor f => Functor (Q a' a b' b f)

Applicative f => Applicative (Q a' a b' b f)

consume :: a' -> (a -> Q a' a b' b f c) -> (forall x' x. Q x' x b' b f c) -> Q a' a b' b f c

produce :: b -> (b' -> Q a' a b' b f c) -> (forall x' x. Q a' a x' x f c) -> Q a' a b' b f c

enclose :: f (Q a' a b' b f c) -> Q a' a b' b f c

deliver :: c -> Q a' a b' b f c

decouple :: Functor f => Q a' a b' b f c -> forall x' x. Q x' x b' b f c

evacuate :: Functor f => Q a' a b' b f c -> forall x' x. Q a' a x' x f c