| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Proarrow.Profunctor.Cofree
Documentation
class (CategoryOf k, Representable (Cofree ob), forall (b :: k). Ob b => ob (Cofree ob % b)) => HasCofree (ob :: k -> Constraint) where Source Comments #
Methods
lower' :: forall (a :: k) (b :: k). Cofree ob a b -> a ~> b Source Comments #
section' :: forall (a :: k) (b :: k). ob a => (a ~> b) -> Cofree ob a b Source Comments #
Instances
| HasCofree Test Source Comments # | |||||
| HasCofree (Profunctor :: (j +-> k) -> Constraint) Source Comments # | |||||
Defined in Proarrow.Profunctor.Yoneda Associated Types
Methods lower' :: forall (a :: j +-> k) (b :: j +-> k). Cofree (Profunctor :: (j +-> k) -> Constraint) a b -> a ~> b Source Comments # section' :: forall (a :: j +-> k) (b :: j +-> k). Profunctor a => (a ~> b) -> Cofree (Profunctor :: (j +-> k) -> Constraint) a b Source Comments # | |||||
lower :: forall {k} (ob :: k -> Constraint) (a :: k). (HasCofree ob, Ob a) => (Cofree ob % a) ~> a Source Comments #
section :: forall {j} (ob :: j -> Constraint) (a :: j). (HasCofree ob, ob a, Ob a) => a ~> (Cofree ob % a) Source Comments #
data family CofreeSub :: forall (ob :: OB k) -> k +-> SUBCAT ob Source Comments #
Instances
| HasCofree ob => FunctorForRep (CofreeSub ob :: j +-> SUBCAT ob) Source Comments # | |
| HasCofree ob => Corepresentable (Rep (CofreeSub ob) :: SUBCAT ob -> k -> Type) Source Comments # | |
Defined in Proarrow.Profunctor.Cofree Methods coindex :: forall (a :: SUBCAT ob) (b :: k). Rep (CofreeSub ob) a b -> (Rep (CofreeSub ob) %% a) ~> b Source Comments # cotabulate :: forall (a :: SUBCAT ob) (b :: k). Ob a => ((Rep (CofreeSub ob) %% a) ~> b) -> Rep (CofreeSub ob) a b Source Comments # corepMap :: forall (a :: SUBCAT ob) (b :: SUBCAT ob). (a ~> b) -> (Rep (CofreeSub ob) %% a) ~> (Rep (CofreeSub ob) %% b) Source Comments # | |
| type (CofreeSub ob :: j +-> SUBCAT ob) @ (a :: j) Source Comments # | |
| type (Rep (CofreeSub ob) :: SUBCAT ob -> k -> Type) %% (a :: SUBCAT ob) Source Comments # | |