refined-0.7: Refinement types with static and runtime checking

Index

&&Refined
And 
1 (Type/Class)Refined
2 (Data Constructor)Refined
andLeftRefined
andRightRefined
Ascending 
1 (Type/Class)Refined
2 (Data Constructor)Refined
Descending 
1 (Type/Class)Refined
2 (Data Constructor)Refined
displayRefineExceptionRefined
DivisibleBy 
1 (Type/Class)Refined
2 (Data Constructor)Refined
EmptyRefined
EqualTo 
1 (Type/Class)Refined
2 (Data Constructor)Refined
Even 
1 (Type/Class)Refined
2 (Data Constructor)Refined
From 
1 (Type/Class)Refined
2 (Data Constructor)Refined
FromTo 
1 (Type/Class)Refined
2 (Data Constructor)Refined
GreaterThan 
1 (Type/Class)Refined
2 (Data Constructor)Refined
IdPred 
1 (Type/Class)Refined
2 (Data Constructor)Refined
Infinite 
1 (Type/Class)Refined
2 (Data Constructor)Refined
leftOrRefined
LessThan 
1 (Type/Class)Refined
2 (Data Constructor)Refined
NaN 
1 (Type/Class)Refined
2 (Data Constructor)Refined
NegativeRefined
NegativeFromTo 
1 (Type/Class)Refined
2 (Data Constructor)Refined
NonEmptyRefined
NonNegativeRefined
NonPositiveRefined
NonZeroRefined
Not 
1 (Type/Class)Refined
2 (Data Constructor)Refined
NotEqualTo 
1 (Type/Class)Refined
2 (Data Constructor)Refined
Odd 
1 (Type/Class)Refined
2 (Data Constructor)Refined
Or 
1 (Type/Class)Refined
2 (Data Constructor)Refined
PositiveRefined
PredicateRefined
reallyUnsafeAllUnderlyingRefinedRefined.Unsafe
reallyUnsafePredEquivRefined.Unsafe
reallyUnsafeRefineRefined.Unsafe
reallyUnsafeUnderlyingRefinedRefined.Unsafe
refineRefined
RefineAndExceptionRefined
Refined 
1 (Type/Class)Refined.Unsafe.Type, Refined, Refined.Unsafe
2 (Data Constructor)Refined.Unsafe.Type
refineEitherRefined
refineErrorRefined
RefineExceptionRefined
refineFailRefined
RefineNotExceptionRefined
RefineOrExceptionRefined
RefineOtherExceptionRefined
RefineSomeExceptionRefined
refineTHRefined
refineThrowRefined
refineTH_Refined
RefineXorExceptionRefined
refine_Refined
reifyPredicateRefined
rightOrRefined
SizeEqualTo 
1 (Type/Class)Refined
2 (Data Constructor)Refined
SizeGreaterThan 
1 (Type/Class)Refined
2 (Data Constructor)Refined
SizeLessThan 
1 (Type/Class)Refined
2 (Data Constructor)Refined
strengthenRefined
successRefined
throwRefineOtherExceptionRefined
throwRefineSomeExceptionRefined
To 
1 (Type/Class)Refined
2 (Data Constructor)Refined
unrefineRefined
unsafeRefineRefined.Unsafe
validateRefined
WeakenRefined
weakenRefined
Xor 
1 (Type/Class)Refined
2 (Data Constructor)Refined
ZeroToOneRefined
||Refined