Safe Haskell	None
Language	GHC2024

Proarrow.Profunctor.Initial

Documentation

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

Instances

Instances details

(Thin j, Thin k) => ThinProfunctor (InitialProfunctor :: k -> j -> Type) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial Methods arr :: forall (a :: k) (b :: j). (Ob a, Ob b, HasArrow (InitialProfunctor :: k -> j -> Type) a b) => InitialProfunctor a b Source Comments # withArr :: forall (a :: k) (b :: j) r. InitialProfunctor a b -> (HasArrow (InitialProfunctor :: k -> j -> Type) a b => r) -> r Source Comments #
(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 #
Dagger 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 #
Show (InitialProfunctor a b) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial Methods showsPrec :: Int -> InitialProfunctor a b -> ShowS Comments # show :: InitialProfunctor a b -> String Comments # showList :: [InitialProfunctor a b] -> ShowS Comments #
Eq (InitialProfunctor a b) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial Methods (==) :: InitialProfunctor a b -> InitialProfunctor a b -> Bool Comments # (/=) :: InitialProfunctor a b -> InitialProfunctor a b -> Bool Comments #
type HasArrow (InitialProfunctor :: k -> j -> Type) (a :: k) (b :: j) Source Comments #
Instance details Defined in Proarrow.Profunctor.Initial type HasArrow (InitialProfunctor :: k -> j -> Type) (a :: k) (b :: j) = Bottom