| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Proarrow.Preorder
Documentation
type POS k = k -> k -> Constraint Source Comments #
class CPromonad ((<=) :: POS k) => PreorderOf k Source Comments #
Associated Types
type (<=) :: POS k Source Comments #
type COb (a :: k) Source Comments #
type COb (a :: k) = ()
Instances
| PreorderOf Constraint Source Comments # | |||||||||
Defined in Proarrow.Preorder.Constraint Associated Types
| |||||||||
| PreorderOf (DISCRETE k) Source Comments # | |||||||||
Defined in Proarrow.Preorder.Discrete Associated Types
| |||||||||
| Thin k => PreorderOf (THIN k) Source Comments # | |||||||||
Defined in Proarrow.Preorder.ThinCategory Associated Types
| |||||||||
type IsPosetOf k (pos :: POS k) = (PreorderOf k, pos ~ ((<=) :: POS k), CPromonad pos) Source Comments #
class CProfunctor (p :: k -> k -> Constraint) where Source Comments #
Methods
cdimap :: forall (c :: k) (a :: k) (b :: k) (d :: k). (c <= a, b <= d, p a b) :- p c d Source Comments #
obs :: forall (a :: k) (b :: k). p a b :- (COb a, COb b) Source Comments #
Instances
| CProfunctor (:=>) Source Comments # | |
| CProfunctor ((~) :: DISCRETE k -> DISCRETE k -> Constraint) Source Comments # | |
| Thin k => CProfunctor (ThinCategory :: THIN k -> THIN k -> Constraint) Source Comments # | |
class CProfunctor p => CPromonad (p :: k -> k -> Constraint) where Source Comments #
Methods
cid :: forall (a :: k). COb a => () :- p a a Source Comments #
ccomp :: forall (a :: k) (b :: k) (c :: k). (p b c, p a b) :- p a c Source Comments #
Instances
| CPromonad (:=>) Source Comments # | |
| CPromonad ((~) :: DISCRETE k -> DISCRETE k -> Constraint) Source Comments # | |
| Thin k => CPromonad (ThinCategory :: THIN k -> THIN k -> Constraint) Source Comments # | |
Defined in Proarrow.Preorder.ThinCategory Methods cid :: forall (a :: THIN k). COb a => () :- ThinCategory a a Source Comments # ccomp :: forall (a :: THIN k) (b :: THIN k) (c :: THIN k). (ThinCategory b c, ThinCategory a b) :- ThinCategory a c Source Comments # | |