Safe Haskell	None
Language	Haskell2010

Proarrow.Category.Dagger

Documentation

class Profunctor p => DaggerProfunctor (p :: k +-> k) where Source Comments #

Methods

dagger :: forall (a :: k) (b :: k). p a b -> p b a Source Comments #

Instances

Instances details

DaggerProfunctor ZX Source Comments #
Instance details Defined in Proarrow.Category.Instance.ZX Methods dagger :: forall (a :: Nat) (b :: Nat). ZX a b -> ZX b a Source Comments #
DaggerProfunctor Zero Source Comments #
Instance details Defined in Proarrow.Category.Instance.Zero Methods dagger :: forall (a :: VOID) (b :: VOID). Zero a b -> Zero b a Source Comments #
DaggerProfunctor Unit Source Comments #
Instance details Defined in Proarrow.Category.Instance.Unit Methods dagger :: forall (a :: ()) (b :: ()). Unit a b -> Unit b a Source Comments #
Dagger k => DaggerProfunctor (Id :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Identity Methods dagger :: forall (a :: k) (b :: k). Id a b -> Id b a Source Comments #
CategoryOf k => DaggerProfunctor (InitialProfunctor :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial Methods dagger :: forall (a :: k) (b :: k). InitialProfunctor a b -> InitialProfunctor b a Source Comments #
CategoryOf k => DaggerProfunctor (TerminalProfunctor :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Terminal Methods dagger :: forall (a :: k) (b :: k). TerminalProfunctor a b -> TerminalProfunctor b a Source Comments #
DaggerProfunctor p => DaggerProfunctor (Wrapped p :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Wrapped Methods dagger :: forall (a :: k) (b :: k). Wrapped p a b -> Wrapped p b a Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :+: q :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Coproduct Methods dagger :: forall (a :: k) (b :: k). (p :+: q) a b -> (p :+: q) b a Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :*: q :: k -> k -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Product Methods dagger :: forall (a :: k) (b :: k). (p :: q) a b -> (p :: q) b a Source Comments #
RealFloat a => DaggerProfunctor (Mat :: MatK (Complex a) -> MatK (Complex a) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Mat Methods dagger :: forall (a0 :: MatK (Complex a)) (b :: MatK (Complex a)). Mat a0 b -> Mat b a0 Source Comments #
Num a => DaggerProfunctor (Mat :: MatK a -> MatK a -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Mat Methods dagger :: forall (a0 :: MatK a) (b :: MatK a). Mat a0 b -> Mat b a0 Source Comments #
DaggerProfunctor (PoAsCat :: POCATK (DISCRETE k) -> POCATK (DISCRETE k) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.PreorderAsCategory Methods dagger :: forall (a :: POCATK (DISCRETE k)) (b :: POCATK (DISCRETE k)). PoAsCat a b -> PoAsCat b a Source Comments #
DaggerProfunctor p => DaggerProfunctor (List p :: LIST j -> LIST j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.List Methods dagger :: forall (a :: LIST j) (b :: LIST j). List p a b -> List p b a Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :++: q :: COPRODUCT j1 j2 -> COPRODUCT j1 j2 -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Coproduct Methods dagger :: forall (a :: COPRODUCT j1 j2) (b :: COPRODUCT j1 j2). (p :++: q) a b -> (p :++: q) b a Source Comments #
(DaggerProfunctor p, DaggerProfunctor q) => DaggerProfunctor (p :**: q :: (j1, j2) -> (j1, j2) -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Product Methods dagger :: forall (a :: (j1, j2)) (b :: (j1, j2)). (p :: q) a b -> (p :: q) b a Source Comments #

class DaggerProfunctor ((~>) :: CAT k) => Dagger k Source Comments #

Instances

Instances details

DaggerProfunctor ((~>) :: CAT k) => Dagger k Source Comments #
Instance details Defined in Proarrow.Category.Dagger