Documentation
data Checked p v #
Wrapper-evidence for property p.
trustMe :: v -> Checked p v #
Use when the property can be deduced without a runtime check.
trustThat :: p -> v -> Checked p v #
Use when the property can be deduced without a runtime check.
trustMap :: (v -> v) -> Checked p v -> Checked p v #
Apply a fuction that preserves the property to the checked value.
class Property p v where #
Minimal complete definition
holds
Methods
holds :: p -> v -> Bool #
Test if the property holds for the given value.
The first argument is supposed to be ignored.