Safe Haskell	None
Language	Haskell2010

Proarrow.Profunctor.Initial

Documentation

data InitialProfunctor (a :: k) (b :: j) Source Comments #

Instances

Instances details

(CategoryOf j, CategoryOf k) => Profunctor (InitialProfunctor :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial Methods dimap :: forall (c :: k) (a :: k) (b :: j) (d :: j). (c ~> a) -> (b ~> d) -> InitialProfunctor a b -> InitialProfunctor c d Source Comments # (\\) :: forall (a :: k) (b :: j) r. ((Ob a, Ob b) => r) -> InitialProfunctor a b -> r 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 #
HasBinaryProducts k => HasLimits (Unweighted :: () -> COPRODUCT () () -> Type) k Source Comments #
Instance details Defined in Proarrow.Category.Limit Methods limit :: forall (d :: COPRODUCT () () +-> k). Representable d => (Limit (Unweighted :: () -> COPRODUCT () () -> Type) d :.: (Unweighted :: () -> COPRODUCT () () -> Type)) :~> d Source Comments # limitUniv :: forall (d :: COPRODUCT () () +-> k) (p :: () +-> k). (Representable d, Representable p) => ((p :.: (Unweighted :: () -> COPRODUCT () () -> Type)) :~> d) -> p :~> Limit (Unweighted :: () -> COPRODUCT () () -> Type) d Source Comments #
HasBinaryCoproducts k => HasColimits (Unweighted :: COPRODUCT () () -> () -> Type) k Source Comments #
Instance details Defined in Proarrow.Category.Colimit Methods colimit :: forall (d :: COPRODUCT () () +-> k). Representable d => (d :.: (Unweighted :: COPRODUCT () () -> () -> Type)) :~> Colimit (Unweighted :: COPRODUCT () () -> () -> Type) d Source Comments # colimitUniv :: forall (d :: COPRODUCT () () +-> k) (p :: () +-> k). (Representable d, Representable p) => ((d :.: (Unweighted :: COPRODUCT () () -> () -> Type)) :~> p) -> Colimit (Unweighted :: COPRODUCT () () -> () -> Type) d :~> p Source Comments #
(Dagger j, Dagger k) => DaggerProfunctor (((~>) :: CAT j) :++: ((~>) :: CAT k) :: COPRODUCT j k -> COPRODUCT j k -> Type) Source Comments #
Instance details Defined in Proarrow.Category.Instance.Coproduct Methods dagger :: forall (a :: COPRODUCT j k) (b :: COPRODUCT j k). (((~>) :: CAT j) :++: ((~>) :: CAT k)) a b -> (((~>) :: CAT j) :++: ((~>) :: CAT k)) b a Source Comments #
type Colimit (Unweighted :: COPRODUCT () () -> () -> Type) (d :: COPRODUCT () () +-> k) Source Comments #
Instance details Defined in Proarrow.Category.Colimit type Colimit (Unweighted :: COPRODUCT () () -> () -> Type) (d :: COPRODUCT () () +-> k) = CoproductColimit d
type Limit (Unweighted :: () -> COPRODUCT () () -> Type) (d :: COPRODUCT () () +-> k) Source Comments #
Instance details Defined in Proarrow.Category.Limit type Limit (Unweighted :: () -> COPRODUCT () () -> Type) (d :: COPRODUCT () () +-> k) = ProductLimit d