Data.Profunctor.Arrow.Closed

Documentation

data Environment (p :: Type -> Type -> Type) a b where

Constructors

Environment :: forall (p :: Type -> Type -> Type) a b z y x. ((z -> y) -> b) -> p x y -> (a -> z -> x) -> Environment p a b

Instances

ProfunctorFunctor Environment

Defined in Data.Profunctor.Closed

Methods

promap :: Profunctor p => (p :-> q) -> Environment p :-> Environment q

ProfunctorMonad Environment

Defined in Data.Profunctor.Closed

Methods

proreturn :: Profunctor p => p :-> Environment p

projoin :: Profunctor p => Environment (Environment p) :-> Environment p

ProfunctorAdjunction Environment Closure

Defined in Data.Profunctor.Closed

Methods

unit :: Profunctor p => p :-> Closure (Environment p)

counit :: Profunctor p => Environment (Closure p) :-> p

Closed (Environment p)

Defined in Data.Profunctor.Closed

Methods

closed :: Environment p a b -> Environment p (x -> a) (x -> b)

Profunctor (Environment p)

Defined in Data.Profunctor.Closed

Methods

dimap :: (a -> b) -> (c -> d) -> Environment p b c -> Environment p a d

lmap :: (a -> b) -> Environment p b c -> Environment p a c

rmap :: (b -> c) -> Environment p a b -> Environment p a c

(#.) :: Coercible c b => q b c -> Environment p a b -> Environment p a c

(.#) :: Coercible b a => Environment p b c -> q a b -> Environment p a c

type ClosedA p = Free (Environment p)

liftClosed :: p a b -> ClosedA p a b

TODO: Document

foldClosed :: Category q => Closed q => (p :-> q) -> ClosedA p a b -> q a b

TODO: Document

runClosedT :: Closed q => (p :-> q) -> Environment p a b -> q a b

TODO: Document

runClosedW :: Comonad w => (forall x y. p x y -> w x -> y) -> ClosedA p a b -> w a -> b

TODO: Document