Data.Profunctor.Representable

Definitions

interface Representable : (Type -> Type -> Type) -> (Type -> Type) -> Type

  A profunctor `p` is representable if it is isomorphic to `Star f` for some `f`.

Parameters: p, f
Constraints: Sieve p f, Strong p
Methods:

tabulate : (a -> f b) -> p a b

Implementations:

Representable Morphism Identity

Functor f => Representable (Kleislimorphism f) f

Functor f => Representable (Star f) f

Representable (Forget r) (Const r)

tabulate : Representable p f => (a -> f b) -> p a b

Totality: total
Visibility: public export

interface Corepresentable : (Type -> Type -> Type) -> (Type -> Type) -> Type

  A profunctor `p` is corepresentable if it is isomorphic to `Costar f` for some `f`.

Parameters: p, f
Constraints: Cosieve p f
Methods:

cotabulate : (f a -> b) -> p a b

Implementations:

Corepresentable Morphism Identity

Functor f => Corepresentable (Costar f) f

Corepresentable (Coforget r) (Const r)

cotabulate : Corepresentable p f => (f a -> b) -> p a b

Totality: total
Visibility: public export

tabulated : (Representable q f, Representable r g) => Profunctor p => p (q a b) (r a' b') -> p (a -> f b) (a' -> g b')

Totality: total
Visibility: export

cotabulated : (Corepresentable q f, Corepresentable r g) => Profunctor p => p (q a b) (r a' b') -> p (f a -> b) (g a' -> b')

Totality: total
Visibility: export