Safe Haskell	None
Language	Haskell2010

Proarrow.Category.Instance.Prof

Contents

Documentation

data Prof (p :: PRO j k) (q :: PRO j k) where Source Comments #

Constructors

Prof
Fields :: forall {j} {k} (p :: PRO j k) (q :: PRO j k). (Profunctor p, Profunctor q) => { getProf :: p :~> q } -> Prof p q

Instances details

Promonad (Prof :: PRO j k -> PRO j k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Prof Methods id :: forall (a :: PRO j k). Ob a => Prof a a Source Comments # (.) :: forall (b :: PRO j k) (c :: PRO j k) (a :: PRO j k). Prof b c -> Prof a b -> Prof a c Source Comments #
Profunctor (Prof :: PRO j k -> PRO j k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Prof Methods dimap :: forall (c :: PRO j k) (a :: PRO j k) (b :: PRO j k) (d :: PRO j k). (c ~> a) -> (b ~> d) -> Prof a b -> Prof c d Source Comments # (\\) :: forall (a :: PRO j k) (b :: PRO j k) r. ((Ob a, Ob b) => r) -> Prof a b -> r Source Comments #

Orphan instances

The category of profunctors and natural transformations between them.

Instance details

Associated Types

type (~>)
Instance details Defined in Proarrow.Category.Instance.Prof type (~>) = Prof :: PRO j k -> PRO j k -> Type