Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Profunctor.Initial
Documentation
data InitialProfunctor (a :: j) (b :: k) Source Comments #
Instances
(CategoryOf j, CategoryOf k) => Profunctor (InitialProfunctor :: j -> k -> Type) Source Comments # | |
Defined in Proarrow.Profunctor.Initial Methods dimap :: forall (c :: j) (a :: j) (b :: k) (d :: k). (c ~> a) -> (b ~> d) -> InitialProfunctor a b -> InitialProfunctor c d Source Comments # (\\) :: forall (a :: j) (b :: k) r. ((Ob a, Ob b) => r) -> InitialProfunctor a b -> r Source Comments # |