profunctor-arrows-0.0.0.2: Profunctor arrows

Safe HaskellSafe
LanguageHaskell2010

Data.Profunctor.Arrow.Affine

Synopsis

Documentation

type AffineT = Trans WithAffine Source #

type AffineA p = Free (AffineT p) Source #

liftAffine :: p a b -> AffineA p a b Source #

TODO: Document

foldAffine :: Category q => Choice q => Strong q => (p :-> q) -> AffineA p a b -> q a b Source #

TODO: Document

runAffineT :: Choice q => Strong q => (p :-> q) -> AffineT p a b -> q a b Source #

TODO: Document

runAffineM :: Monad m => (forall x y. p x y -> x -> m y) -> AffineA p a b -> a -> m b Source #

TODO: Document