Safe Haskell | None |
---|---|
Language | Haskell2010 |
Proarrow.Profunctor.Constant
Documentation
data Constant (c :: k) (a :: k) (b :: j) where Source Comments #
Constructors
Constant :: forall {j} {k} (b :: j) (a :: k) (c :: k). Ob b => (a ~> c) -> Constant c a b |
Instances
(CategoryOf j, CategoryOf k) => Profunctor (Constant c :: k -> j -> Type) Source Comments # | |
(CategoryOf j, CategoryOf k, Ob c) => Representable (Constant c :: k -> j -> Type) Source Comments # | |
Defined in Proarrow.Profunctor.Constant Methods index :: forall (a :: k) (b :: j). Constant c a b -> a ~> ((Constant c :: k -> j -> Type) % b) Source Comments # tabulate :: forall (b :: j) (a :: k). Ob b => (a ~> ((Constant c :: k -> j -> Type) % b)) -> Constant c a b Source Comments # repMap :: forall (a :: j) (b :: j). (a ~> b) -> ((Constant c :: k -> j -> Type) % a) ~> ((Constant c :: k -> j -> Type) % b) Source Comments # | |
type (Constant c :: k -> j -> Type) % (a :: j) Source Comments # | |
Defined in Proarrow.Profunctor.Constant |