Control.Quiver

Documentation

data Q a' a b' b f 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

fetch :: a' -> Q a' a b' b f (Maybe a)

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

emit :: b -> Q a' a b' b f (Maybe b')

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

emit_ :: b -> Q a' a b' b f ()

liftQ :: Functor f => f c -> Q a' a b' b f c

(>>->) :: Functor f => Q a' a t' t f c1 -> Q t' t b' b f c2 -> Q a' a b' b f (c1, c2) infixl 0

(>->>) :: Functor f => Q a' a t' t f c1 -> Q t' t b' b f c2 -> Q a' a b' b f (c1, c2) infixl 0