proarrow-0: Category theory with a central role for profunctors
Safe HaskellNone
LanguageHaskell2010

Proarrow.Preorder.Discrete

Documentation

newtype DISCRETE k Source Comments #

Constructors

D k 

Instances

Instances details
PreorderOf (DISCRETE k) Source Comments # 
Instance details

Defined in Proarrow.Preorder.Discrete

Associated Types

type (<=) 
Instance details

Defined in Proarrow.Preorder.Discrete

type (<=) = (~) :: DISCRETE k -> DISCRETE k -> Constraint
DaggerProfunctor (PoAsCat :: POCATK (DISCRETE k) -> POCATK (DISCRETE k) -> Type) Source Comments # 
Instance details

Defined in Proarrow.Category.Instance.PreorderAsCategory

Methods

dagger :: forall (a :: POCATK (DISCRETE k)) (b :: POCATK (DISCRETE k)). PoAsCat a b -> PoAsCat b a Source Comments #

CProfunctor ((~) :: DISCRETE k -> DISCRETE k -> Constraint) Source Comments # 
Instance details

Defined in Proarrow.Preorder.Discrete

Methods

cdimap :: forall (c :: DISCRETE k) (a :: DISCRETE k) (b :: DISCRETE k) (d :: DISCRETE k). (c <= a, b <= d, a ~ b) :- (c ~ d) Source Comments #

obs :: forall (a :: DISCRETE k) (b :: DISCRETE k). (a ~ b) :- (COb a, COb b) Source Comments #

CPromonad ((~) :: DISCRETE k -> DISCRETE k -> Constraint) Source Comments # 
Instance details

Defined in Proarrow.Preorder.Discrete

Methods

cid :: forall (a :: DISCRETE k). COb a => () :- (a ~ a) Source Comments #

ccomp :: forall (a :: DISCRETE k) (b :: DISCRETE k) (c :: DISCRETE k). (b ~ c, a ~ b) :- (a ~ c) Source Comments #

type (<=) Source Comments # 
Instance details

Defined in Proarrow.Preorder.Discrete

type (<=) = (~) :: DISCRETE k -> DISCRETE k -> Constraint
type COb (a :: DISCRETE k) Source Comments # 
Instance details

Defined in Proarrow.Preorder.Discrete

type COb (a :: DISCRETE k) = ()