profunctor-arrows-0.0.0.2: Profunctor arrows

Safe HaskellSafe
LanguageHaskell2010

Data.Profunctor.Arrow.Closed

Synopsis

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 
Instance details

Defined in Data.Profunctor.Closed

Methods

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

ProfunctorMonad Environment 
Instance details

Defined in Data.Profunctor.Closed

ProfunctorAdjunction Environment Closure 
Instance details

Defined in Data.Profunctor.Closed

Closed (Environment p) 
Instance details

Defined in Data.Profunctor.Closed

Methods

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

Profunctor (Environment p) 
Instance details

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 #

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

TODO: Document

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

TODO: Document

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

TODO: Document

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

TODO: Document