Refined

data Refined p x

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 From n

data To n

data FromTo mn mx

data EqualTo n

type NonPositive

type NonNegative