Control.Subcategory.Profunctor.HasDimap

class HasDimap (c :: Type -> Type -> Type) (p :: Type -> Type -> Type)  where

Members

• dimap :: forall v3 v2 v1 v0. ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => ObjectOf c v3 => c v0 v1 -> c v2 v3 -> p v1 v2 -> p v0 v3

Instances

• (Profunctor p) => HasDimap Function p
• (Category c) => HasDimap c c

arr :: forall v1 v0 p c. HasDimap c p => HasIdentity c => Reflexive c p => ObjectOf c v0 => ObjectOf c v1 => c v0 v1 -> p v0 v1

lcmap :: forall v2 v1 v0 p c. HasDimap c p => HasIdentity c => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => c v0 v1 -> p v1 v2 -> p v0 v2

rmap :: forall v2 v1 v0 p c. HasDimap c p => HasIdentity c => ObjectOf c v0 => ObjectOf c v1 => ObjectOf c v2 => c v1 v2 -> p v0 v1 -> p v0 v2

throughUnit :: forall v1 v0 u c. HasDimap c c => HasIdentity c => HasTerminate c u => ObjectOf c v0 => ObjectOf c v1 => c u v1 -> c v0 v1

unwrapIso :: forall v1 v0 p. HasDimap Function p => Newtype v0 v1 => ObjectOf Function v1 => ObjectOf Function v0 => p v1 v1 -> p v0 v0

wrapIso :: forall v1 v0 p. HasDimap Function p => Newtype v0 v1 => ObjectOf Function v1 => ObjectOf Function v0 => (v0 -> v1) -> p v0 v0 -> p v1 v1