Module

Data.Lattice.Verify

#verifySemilattice 

verifySemilattice :: forall a. Eq a => (a -> a -> a) -> a -> a -> a -> Boolean

#verifyJoinSemilattice 

verifyJoinSemilattice :: forall a. JoinSemilattice a => Eq a => a -> a -> a -> Boolean

#verifyMeetSemilattice 

verifyMeetSemilattice :: forall a. MeetSemilattice a => Eq a => a -> a -> a -> Boolean

#verifyBoundedJoinSemilattice 

verifyBoundedJoinSemilattice :: forall a. BoundedJoinSemilattice a => Eq a => a -> a -> a -> Boolean

#verifyBoundedMeetSemilattice 

verifyBoundedMeetSemilattice :: forall a. BoundedMeetSemilattice a => Eq a => a -> a -> a -> Boolean

#verifyBoundedLattice 

verifyBoundedLattice :: forall a. BoundedLattice a => Eq a => a -> a -> a -> Boolean

#verifyLattice 

verifyLattice :: forall a. Lattice a => Eq a => a -> a -> a -> Boolean

#verify 

verify :: forall a. Eq a => Proxy a -> (a -> a -> a -> Boolean) -> a -> a -> a -> Boolean

Modules