| Safe Haskell | None |
|---|
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 -> Int -> Weight -> Property
- propCommutative :: Eq a => (t -> t -> a) -> t -> t -> 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 a => (t -> a -> a) -> (a -> a -> a) -> t -> a -> a -> Bool
- propDistR :: Eq a => (a -> t -> a) -> (a -> a -> a) -> a -> a -> t -> 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 whereSource
Instances
Generic properties
propCommutative :: Eq a => (t -> t -> a) -> t -> t -> BoolSource
propAssociative :: Eq a => (a -> a -> a) -> a -> a -> a -> BoolSource
propIdempotent :: Eq a => (a -> a -> a) -> a -> BoolSource
propDistributive :: Eq a => (a -> a -> a) -> (a -> a -> a) -> a -> a -> a -> BoolSource
propSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> BoolSource
propBoundedSemiLattice :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> BoolSource
propMonoid :: Eq a => (a -> a -> a) -> a -> a -> a -> a -> BoolSource
propDioid_Gen :: Dioid a => a -> a -> a -> BoolSource
Properties of Dioid class.
prop_Unit_Label :: Label -> BoolSource
prop_Zero_Label :: Label -> BoolSource