refined-0.1.1.0: Refinement types with static and runtime checking

Index

AndRefined
EqualToRefined
GreaterThanRefined
LessThanRefined
NegativeRefined
NotRefined
OrRefined
PositiveRefined
PredicateRefined
refineRefined
RefinedRefined
refineTHRefined
unrefineRefined
validateRefined
ZeroToOneRefined