Agda.TypeChecking.SizedTypes.Tests
type Relation a
class AsWeightRelation b
prop_MeetSound
prop_MeetComplete
prop_ComposeSound
prop_ComposeComplete
propCommutative
propAssociative
propIdempotent
propUnit
propZero
propDistL
propDistR
propDistributive
propSemiLattice
propBoundedSemiLattice
propMonoid
propDioid
propDioid_Gen
prop_Dioid_Weight
prop_SemiLattice_Label
prop_Unit_Label
prop_BoundedSemiLattice_Label
prop_Monoid_Label
prop_DistL_Label
prop_DistR_Label
prop_Dist_Label
prop_Zero_Label
prop_Dioid_Label
tests