Safe Haskell	Safe
Language	Haskell2010

Data.Profunctor.Arrow.Affine

Synopsis

type AffineT = Trans WithAffine
type AffineA p = Free (AffineT p)
liftAffine :: p a b -> AffineA p a b
foldAffine :: Category q => Choice q => Strong q => (p :-> q) -> AffineA p a b -> q a b
runAffineT :: Choice q => Strong q => (p :-> q) -> AffineT p a b -> q a b
runAffineM :: Monad m => (forall x y. p x y -> x -> m y) -> AffineA p a b -> a -> m b

Documentation

type AffineT = Trans WithAffine 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