Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Constant

Documentation

data family Constant :: k -> j +-> k Source Comments #

Instances details

(CategoryOf j, CategoryOf k, Ob c) => FunctorForRep (Constant c :: j +-> k) Source Comments #
Instance details Defined in Proarrow.Profunctor.Constant Methods fmap :: forall (a :: j) (b :: j). (a ~> b) -> (Constant c @ a) ~> (Constant c @ b) Source Comments #
type (Constant c :: j +-> k) @ (a :: j) Source Comments #
Instance details Defined in Proarrow.Profunctor.Constant type (Constant c :: j +-> k) @ (a :: j) = c

view :: forall {k} {c :: (k -> k -> Type) -> Constraint} (s :: k) (t :: k) (a :: k) (b :: k). (CategoryOf k, Ob a, Ob b, c (Rep (Constant a))) => Optic c s t a b -> s ~> a Source Comments #

review :: forall {k} {c :: (k -> k -> Type) -> Constraint} (s :: k) (t :: k) (a :: k) (b :: k). (CategoryOf k, Ob a, Ob b, c (Corep (Constant b))) => Optic c s t a b -> b ~> t Source Comments #