Safe Haskell | Safe-Inferred |
---|
A version of Checked
that requires client code to provide
a non-bottom value of the property index type to use trust*
functions.
Documentation
Wrapper-evidence for property p.
trustThat :: p -> v -> Checked p vSource
Use when the property can be deduced without a runtime check.
Note that p is evaluated to WHNF, so you can't use undefined
.
trustMap :: p -> (v -> v) -> Checked p v -> Checked p vSource
Apply a fuction that preserves the property to the checked value.
Note that p is evaluated to WHNF, so you can't use undefined
.