Module

Data.Lattice.Verify

Package
purescript-colehaus-lattice
Repository
colehaus/purescript-lattice

#verifySemilattice Source

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

#verifyJoinSemilattice Source

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

#verifyMeetSemilattice Source

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

#verifyBoundedJoinSemilattice Source

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

#verifyBoundedMeetSemilattice Source

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

#verifyBoundedLattice Source

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

#verifyLattice Source

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

#verify Source

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