Safe Haskell | None |
---|---|

Language | Haskell98 |

- type Relation a = a -> a -> Bool
- class AsWeightRelation b where
- prop_MeetSound :: Label -> Label -> Weight -> Weight -> Property
- prop_MeetComplete :: Label -> Label -> Weight -> Weight -> Property
- prop_ComposeSound :: Label -> Label -> Weight -> Weight -> Weight -> Property
- prop_ComposeComplete :: Label -> Label -> Offset -> Weight -> Property
- propCommutative :: Eq b => (a -> a -> b) -> a -> a -> Bool
- propAssociative :: Eq a => (a -> a -> a) -> a -> a -> a -> Bool
- propIdempotent :: Eq a => (a -> a -> a) -> a -> Bool
- propUnit :: Eq a => (a -> a -> a) -> a -> a -> Bool
- propZero :: Eq a => (a -> a -> a) -> a -> a -> Bool
- propDistL :: Eq b => (a -> b -> b) -> (b -> b -> b) -> a -> b -> b -> Bool
- propDistR :: Eq a => (a -> b -> a) -> (a -> a -> a) -> a -> a -> b -> Bool
- propDistributive :: Eq a => (a -> a -> a) -> (a -> a -> a) -> a -> a -> a -> Bool
- propSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> Bool
- propBoundedSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> Bool
- propMonoid :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> Bool
- propDioid :: Eq a => (a -> a -> a) -> a -> (a -> a -> a) -> a -> a -> a -> a -> Bool
- propDioid_Gen :: Dioid a => a -> a -> a -> Bool
- prop_Dioid_Weight :: Weight -> Weight -> Weight -> Bool
- prop_SemiLattice_Label :: Label -> Label -> Label -> Bool
- prop_Unit_Label :: Label -> Bool
- prop_BoundedSemiLattice_Label :: Label -> Label -> Label -> Bool
- prop_Monoid_Label :: Label -> Label -> Label -> Bool
- prop_DistL_Label :: Label -> Label -> Label -> Bool
- prop_DistR_Label :: Label -> Label -> Label -> Bool
- prop_Dist_Label :: Label -> Label -> Label -> Bool
- prop_Zero_Label :: Label -> Bool
- prop_Dioid_Label :: Label -> Label -> Label -> Bool
- tests :: IO Bool

# Label interpretation

class AsWeightRelation b where Source

# Generic properties

propCommutative :: Eq b => (a -> a -> b) -> a -> a -> Bool Source

propAssociative :: Eq a => (a -> a -> a) -> a -> a -> a -> Bool Source

propIdempotent :: Eq a => (a -> a -> a) -> a -> Bool Source

propDistributive :: Eq a => (a -> a -> a) -> (a -> a -> a) -> a -> a -> a -> Bool Source

propSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> Bool Source

propBoundedSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> Bool Source

propMonoid :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> Bool Source

propDioid_Gen :: Dioid a => a -> a -> a -> Bool Source

Properties of `Dioid`

class.

prop_Unit_Label :: Label -> Bool Source

prop_Zero_Label :: Label -> Bool Source