Control.Subcategory.Profunctor.HasDimap

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

Members

• dimap :: forall v0 v1 v2 v3. 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 c p v0 v1. HasDimap c p => HasIdentity c => Reflexive c p => ObjectOf c v0 => ObjectOf c v1 => c v0 v1 -> p v0 v1

lcmap :: forall c p v0 v1 v2. 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 c p v0 v1 v2. 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 c u v0 v1. HasDimap c c => HasIdentity c => HasTerminate c u => ObjectOf c v0 => ObjectOf c v1 => c u v1 -> c v0 v1

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

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