| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.TypeChecking.SizedTypes.Tests
- 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
Instances
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