profunctors-4.4.1: Profunctors

Safe HaskellTrustworthy

Data.Profunctor.Closed

Synopsis

Documentation

class Profunctor p => Closed p whereSource

A strong profunctor allows the monoidal structure to pass through.

A closed profunctor allows the closed structure to pass through.

Methods

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

Instances

Closed (->) 
(Distributive f, Monad f) => Closed (Kleisli f) 
Closed (Tagged *) 
Functor f => Closed (Cokleisli f) 
Functor f => Closed (DownStar f) 
Distributive f => Closed (UpStar f) 
Profunctor p => Closed (Closure p) 
(Closed p, Closed q) => Closed (Procompose p q) 

newtype Closure p a b Source

Closure adjoins a Closed structure to any Profunctor.

Analogous to Tambara for Strong.

Constructors

Closure 

Fields

runClosure :: forall x. p (x -> a) (x -> b)
 

Instances

ProfunctorComonad Closure 
ProfunctorFunctor Closure 
ProfunctorAdjunction Environment Closure 
Category p => Category (Closure p) 
ArrowZero p => ArrowZero (Closure p) 
ArrowPlus p => ArrowPlus (Closure p) 
ArrowLoop p => ArrowLoop (Closure p) 
Arrow p => Arrow (Closure p) 
Profunctor p => Profunctor (Closure p) 
Strong p => Strong (Closure p) 
Profunctor p => Closed (Closure p) 
Profunctor p => Functor (Closure p a) 
(Profunctor p, Arrow p) => Applicative (Closure p a) 
(Profunctor p, ArrowPlus p) => Alternative (Closure p a) 
(Profunctor p, Arrow p, Monoid b) => Monoid (Closure p a b) 

close :: Closed p => (p :-> q) -> p :-> Closure qSource

 close . uncloseid
 unclose . closeid

unclose :: Profunctor q => (p :-> Closure q) -> p :-> qSource

 close . uncloseid
 unclose . closeid

data Environment p a b whereSource

Constructors

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