Contents
Index
refined-0.1.0.0: Refinement types with static and runtime checking
Index
And
Refined
EqualTo
Refined
GreaterThan
Refined
LessThan
Refined
Negative
Refined
Not
Refined
Or
Refined
Positive
Refined
Predicate
Refined
refine
Refined
Refined
Refined
refineTH
Refined
unrefine
Refined
validate
Refined
ZeroToOne
Refined