Safe Haskell | None |
---|

Functions from a finite type can be shown, checked for equality, and generated. We provide variants both for total and for partial values.

# Documentation

showPartialFun :: (Bounded a, Enum a, Show (Partial b), Show (Partial a)) => (a -> b) -> StringSource

arbitraryPartialFun :: forall e a. (Enum e, Bounded e, SemanticOrd a) => Gen a -> Gen (e -> a)Source

lMeet :: SemanticOrd a => [a] -> aSource

semanticLE :: t -> a -> a1 -> BoolSource

lessEqPartial :: Bool -> a -> a1 -> BoolSource

meetPartial :: a2 -> a -> a1 -> a2Source