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

Proarrow.Preorder.Constraint

Documentation

class (a => b) => a :=> b where Source Comments #

Methods

entails :: a :- b Source Comments #

Instances

Instances details
(a => b) => a :=> b Source Comments # 
Instance details

Defined in Proarrow.Preorder.Constraint

Methods

entails :: a :- b Source Comments #

Orphan instances

PreorderOf Constraint Source Comments # 
Instance details

Associated Types

type (<=) 
Instance details

Defined in Proarrow.Preorder.Constraint

type (<=) = (:=>)
type COb (a :: Constraint) 
Instance details

Defined in Proarrow.Preorder.Constraint

type COb (a :: Constraint) = ()