Value members
Checks a predicate on a value
Checks a predicate on a value
- Value Params
- name
name of the condition to check
- p
the predicate
- x
the value to check
- Returns
if the value satisfies the predicate, a Checker with an ok value, otherwise the error that results of applying ferr to the name of the condition