refined-0.4: Refinement types with static and runtime checking

Index

&&Refined.Internal, Refined
.>Refined.Internal
AndRefined.Internal, Refined
andLeftRefined.Internal, Refined
andRightRefined.Internal, Refined
AscendingRefined.Internal, Refined
catchRefineRefined.Internal, Refined
DescendingRefined.Internal, Refined
displayRefineExceptionRefined.Internal, Refined
EqualToRefined.Internal, Refined
FromRefined.Internal, Refined
FromToRefined.Internal, Refined
GreaterThanRefined.Internal, Refined
IdPredRefined.Internal, Refined
leftOrRefined.Internal, Refined
LessThanRefined.Internal, Refined
mapRefineTRefined.Internal, Refined
NegativeRefined.Internal, Refined
NegativeFromToRefined.Internal
NonEmptyRefined.Internal, Refined
NonNegativeRefined.Internal, Refined
NonPositiveRefined.Internal, Refined
NonZeroRefined.Internal, Refined
NotRefined.Internal, Refined
NotEqualToRefined.Internal, Refined
OrRefined.Internal, Refined
PositiveRefined.Internal, Refined
PredicateRefined.Internal, Refined
prettyRefined.Internal, Refined
reallyUnsafeAllUnderlyingRefinedRefined.Unsafe
reallyUnsafePredEquivRefined.Unsafe
reallyUnsafeRefineRefined.Unsafe
reallyUnsafeUnderlyingRefinedRefined.Unsafe
refineRefined.Internal, Refined
RefineAndExceptionRefined.Internal, Refined
Refined 
1 (Type/Class)Refined.Internal, Refined, Refined.Unsafe, Refined.Unsafe.Type
2 (Data Constructor)Refined.Internal, Refined.Unsafe.Type
refineErrorRefined.Internal, Refined
RefineExceptionRefined.Internal, Refined
refineFailRefined.Internal, Refined
RefineMRefined.Internal, Refined
refineMRefined.Internal, Refined
RefineNotExceptionRefined.Internal, Refined
RefineOrExceptionRefined.Internal, Refined
RefineOtherExceptionRefined.Internal, Refined
RefineTRefined.Internal, Refined
refineTHRefined.Internal, Refined
refineThrowRefined.Internal, Refined
rightOrRefined.Internal, Refined
runRefineMRefined.Internal, Refined
runRefineTRefined.Internal, Refined
SizeEqualToRefined.Internal, Refined
SizeGreaterThanRefined.Internal, Refined
SizeLessThanRefined.Internal, Refined
throwRefineRefined.Internal, Refined
throwRefineOtherExceptionRefined.Internal, Refined
ToRefined.Internal, Refined
unrefineRefined.Internal, Refined
unsafeRefineRefined.Unsafe
validateRefined.Internal, Refined
WeakenRefined.Internal, Refined
weakenRefined.Internal, Refined
ZeroToOneRefined.Internal, Refined
|>Refined.Internal
||Refined.Internal, Refined