Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Category.Bicategory.Bidiscrete
Documentation
data DiscreteK j k where Source Comments #
Instances
data Bidiscrete (a :: DiscreteK j k) (b :: DiscreteK j k) where Source Comments #
Constructors
Bidiscrete :: forall {j}. Bidiscrete ('DK :: DiscreteK j j) ('DK :: DiscreteK j j) |
Instances
Promonad (Bidiscrete :: DiscreteK j k -> DiscreteK j k -> Type) Source Comments # | |
Defined in Proarrow.Category.Bicategory.Bidiscrete Methods id :: forall (a :: DiscreteK j k). Ob a => Bidiscrete a a Source Comments # (.) :: forall (b :: DiscreteK j k) (c :: DiscreteK j k) (a :: DiscreteK j k). Bidiscrete b c -> Bidiscrete a b -> Bidiscrete a c Source Comments # | |
Profunctor (Bidiscrete :: DiscreteK j k -> DiscreteK j k -> Type) Source Comments # | |
Defined in Proarrow.Category.Bicategory.Bidiscrete Methods dimap :: forall (c :: DiscreteK j k) (a :: DiscreteK j k) (b :: DiscreteK j k) (d :: DiscreteK j k). (c ~> a) -> (b ~> d) -> Bidiscrete a b -> Bidiscrete c d Source Comments # (\\) :: forall (a :: DiscreteK j k) (b :: DiscreteK j k) r. ((Ob a, Ob b) => r) -> Bidiscrete a b -> r Source Comments # |