refined-0.2.3.0: Refinement types with static and runtime checking

Index

&&Refined
AndRefined
andLeftRefined
andRightRefined
AscendingRefined
catchRefineRefined
DescendingRefined
displayRefineExceptionRefined
EqualToRefined
FromRefined
FromToRefined
GreaterThanRefined
leftOrRefined
LessThanRefined
mapRefineTRefined
NegativeRefined
NonEmptyRefined
NonNegativeRefined
NonPositiveRefined
NonZeroRefined
NotRefined
NotEqualToRefined
OrRefined
PositiveRefined
PredicateRefined
refineRefined
RefineAndExceptionRefined
RefinedRefined
refineErrorRefined
RefineExceptionRefined
refineFailRefined
RefineMRefined
refineMRefined
RefineNotExceptionRefined
RefineOrExceptionRefined
RefineOtherExceptionRefined
RefineTRefined
refineTHRefined
refineThrowRefined
rightOrRefined
runRefineMRefined
runRefineTRefined
SizeEqualToRefined
SizeGreaterThanRefined
SizeLessThanRefined
throwRefineRefined
throwRefineOtherExceptionRefined
ToRefined
unrefineRefined
unsafeRefineRefined
validateRefined
WeakenRefined
weakenRefined
ZeroToOneRefined
||Refined