Refined

data Refined p x

refine

refineTH

unrefine

Predicate Interface

class Predicate p x

Standard Predicates

Logical

data Not r

data And l r

data Or l r

Numeric

data LessThan n

data GreaterThan n

data EqualTo n

type Positive

type Negative

type ZeroToOne