refined-0.4.2.1: Refinement types with static and runtime checking

Index

&&Refined.Internal, Refined
.>Refined.Internal
And 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
andLeftRefined.Internal, Refined
andRightRefined.Internal, Refined
Ascending 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
catchRefineRefined.Internal, Refined
catThatRefined.These
catTheseRefined.These
catThisRefined.These
Descending 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
displayRefineExceptionRefined.Internal, Refined
DivisibleBy 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
EqualTo 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
Even 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
From 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
fromTheseRefined.These
FromTo 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
GreaterThan 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
hereRefined.These
IdPred 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
isThatRefined.These
isTheseRefined.These
isThisRefined.These
justThatRefined.These
justTheseRefined.These
justThisRefined.These
leftOrRefined.Internal, Refined
LessThan 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
mapRefineTRefined.Internal, Refined
mapThatRefined.These
mapTheseRefined.These
mapThisRefined.These
mergeTheseRefined.These
mergeTheseWithRefined.These
NegativeRefined.Internal, Refined
NegativeFromTo 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
NonEmptyRefined.Internal, Refined
NonNegativeRefined.Internal, Refined
NonPositiveRefined.Internal, Refined
NonZeroRefined.Internal, Refined
Not 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
NotEqualTo 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
Odd 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
Or 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
partitionTheseRefined.These
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
SizeEqualTo 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
SizeGreaterThan 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
SizeLessThan 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
ThatRefined.These
thereRefined.These
These 
1 (Type/Class)Refined.These
2 (Data Constructor)Refined.These
theseRefined.These
ThisRefined.These
throwRefineRefined.Internal, Refined
throwRefineOtherExceptionRefined.Internal, Refined
To 
1 (Type/Class)Refined.Internal, Refined
2 (Data Constructor)Refined.Internal, Refined
unrefineRefined.Internal, Refined
unsafeRefineRefined.Unsafe
validateRefined.Internal, Refined
WeakenRefined.Internal, Refined
weakenRefined.Internal, Refined
ZeroToOneRefined.Internal, Refined
|>Refined.Internal
||Refined.Internal, Refined