Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Instance.Identity

Documentation

newtype Id (a :: k) (b :: k) Source Github #

Constructors

Id
Fields unId :: a ~> b

Instances

Instances details

(MonoidalAction t, Costrong t (Hom k)) => Costrong (t :: (m, k) +-> k) (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Category.Monoidal.Strength

Methods

coact :: forall (a :: m) (x :: k) (y :: k). (Ob a, Ob x, Ob y) => Id (Act t a x) (Act t a y) -> Id x y Source Github #

MonoidalAction t => Strong (t :: (m, k) +-> k) (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Category.Monoidal.Strength

Methods

act :: forall (a :: m) (x :: k) (y :: k). Ob a => Id x y -> Id (Act t a x) (Act t a y) Source Github #

Thin k => ThinProfunctor (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

arr :: forall (a :: k) (b :: k). (Ob a, Ob b, HasArrow (Id :: k -> k -> Type) a b) => Id a b Source Github #

withArr :: forall (a :: k) (b :: k) r. Id a b -> ((HasArrow (Id :: k -> k -> Type) a b, Ob a, Ob b) => r) -> r Source Github #

Monoidal k => MonoidalProfunctor (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

one :: Id (Unit :: k) (Unit :: k) Source Github #

(**) :: forall (x1 :: k) (x2 :: k) (y1 :: k) (y2 :: k). Id x1 x2 -> Id y1 y2 -> Id (x1 ** y1) (x2 ** y2) Source Github #

CategoryOf k => Profunctor (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

dimap :: forall (c :: k) (a :: k) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> Id a b -> Id c d Source Github #

lmap :: forall (c :: k) (a :: k) (b :: k). (c ~> a) -> Id a b -> Id c b Source Github #

rmap :: forall (b :: k) (d :: k) (a :: k). (b ~> d) -> Id a b -> Id a d Source Github #

(\\) :: forall (a :: k) (b :: k) r. ((Ob a, Ob b) => r) -> Id a b -> r Source Github #

CategoryOf k => Corepresentable (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

coindex :: forall (a :: k) (b :: k). Id a b -> ((Id :: k -> k -> Type) %% a) ~> b Source Github #

cotabulate :: forall (a :: k) (b :: k). Ob a => (((Id :: k -> k -> Type) %% a) ~> b) -> Id a b Source Github #

corepMap :: forall (a :: k) (b :: k). (a ~> b) -> ((Id :: k -> k -> Type) %% a) ~> ((Id :: k -> k -> Type) %% b) Source Github #

corepUniv :: forall (a :: k). Ob a => Id a ((Id :: k -> k -> Type) %% a) Source Github #

CategoryOf k => Representable (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

index :: forall (a :: k) (b :: k). Id a b -> a ~> ((Id :: k -> k -> Type) % b) Source Github #

tabulate :: forall (b :: k) (a :: k). Ob b => (a ~> ((Id :: k -> k -> Type) % b)) -> Id a b Source Github #

repMap :: forall (a :: k) (b :: k). (a ~> b) -> ((Id :: k -> k -> Type) % a) ~> ((Id :: k -> k -> Type) % b) Source Github #

repUniv :: forall (a :: k). Ob a => Id ((Id :: k -> k -> Type) % a) a Source Github #

CategoryOf j => HasColimits (Id :: j -> j -> Type) k Source Github #

Instance details

Defined in Proarrow.Colimit

Methods

colimit :: forall (d :: k +-> j). Corepresentable d => ((Id :: j -> j -> Type) :.: Colimit (Id :: j -> j -> Type) d) :~> d Source Github #

colimitUniv :: forall (d :: k +-> j) (p :: k +-> j). (Corepresentable d, Profunctor p) => (((Id :: j -> j -> Type) :.: p) :~> d) -> p :~> Colimit (Id :: j -> j -> Type) d Source Github #

CategoryOf j => HasLimits (Id :: j -> j -> Type) k Source Github #

Instance details

Defined in Proarrow.Limit

Methods

limit :: forall (d :: j +-> k). Representable d => (Limit (Id :: j -> j -> Type) d :.: (Id :: j -> j -> Type)) :~> d Source Github #

limitUniv :: forall (d :: j +-> k) (p :: j +-> k). (Representable d, Profunctor p) => ((p :.: (Id :: j -> j -> Type)) :~> d) -> p :~> Limit (Id :: j -> j -> Type) d Source Github #

Comonad w => RelativeComonad (Id :: i -> i -> Type) (w :: i +-> i) Source Github #

Instance details

Defined in Proarrow.Promonad

Methods

relExtract :: forall (a :: i). Ob a => Id (w %% a) a Source Github #

relExtend :: forall (a :: i) (b :: i). Ob a => Id (w %% a) b -> (w %% a) ~> (w %% b) Source Github #

Monad m => RelativeMonad (Id :: i -> i -> Type) (m :: i +-> i) Source Github #

Instance details

Defined in Proarrow.Promonad

Methods

relReturn :: forall (a :: i). Ob a => Id a (m % a) Source Github #

relBind :: forall (b :: i) (a :: i). Ob b => Id a (m % b) -> (m % a) ~> (m % b) Source Github #

CategoryOf k => Proadjunction (Id :: k -> k -> Type) (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Adjunction

Methods

unit :: forall (a :: k). Ob a => ((Id :: k -> k -> Type) :.: (Id :: k -> k -> Type)) a a Source Github #

counit :: ((Id :: k -> k -> Type) :.: (Id :: k -> k -> Type)) :~> ((~>) :: CAT k) Source Github #

(SymMonoidal k, Ob s) => MonoidalProfunctor (State s :: k -> k -> Type) Source Github #

Note: This is only premonoidal, not monoidal.

Instance details

Defined in Proarrow.Promonad.State

Methods

one :: State s (Unit :: k) (Unit :: k) Source Github #

(**) :: forall (x1 :: k) (x2 :: k) (y1 :: k) (y2 :: k). State s x1 x2 -> State s y1 y2 -> State s (x1 ** y1) (x2 ** y2) Source Github #

CategoryOf k => Involution (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Adjunction

Methods

involuted :: forall (a :: k) (a' :: k). (Ob a, Ob a') => Iso a a' ((Id :: k -> k -> Type) % ((Id :: k -> k -> Type) % a)) ((Id :: k -> k -> Type) % ((Id :: k -> k -> Type) % a')) Source Github #

Dagger k => DaggerProfunctor (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Profunctor.Instance.Identity

Methods

dagger :: forall (a :: k) (b :: k). Id a b -> Id b a Source Github #

SymMonoidal k => IsReader (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Category.Equipment.Stateful

Associated Types

type WithWriter (Id :: k -> k -> Type)
Instance details Defined in Proarrow.Category.Equipment.Stateful type WithWriter (Id :: k -> k -> Type) = Id :: k -> k -> Type

SymMonoidal k => IsWriter (Id :: k -> k -> Type) Source Github #

Instance details

Defined in Proarrow.Category.Equipment.Stateful

Associated Types

type WithReader (Id :: k -> k -> Type)
Instance details Defined in Proarrow.Category.Equipment.Stateful type WithReader (Id :: k -> k -> Type) = Id :: k -> k -> Type