refined-0.3.0.0: 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
catThatRefined.These
catTheseRefined.These
catThisRefined.These
DescendingRefined.Internal, Refined
displayRefineExceptionRefined.Internal, Refined
EqualToRefined.Internal, Refined
FromRefined.Internal, Refined
fromTheseRefined.These
FromToRefined.Internal, Refined
GreaterThanRefined.Internal, Refined
hereRefined.These
IdPredRefined.Internal, Refined
isThatRefined.These
isTheseRefined.These
isThisRefined.These
justThatRefined.These
justTheseRefined.These
justThisRefined.These
leftOrRefined.Internal, Refined
LessThanRefined.Internal, Refined
mapRefineTRefined.Internal, Refined
mapThatRefined.These
mapTheseRefined.These
mapThisRefined.These
mergeTheseRefined.These
mergeTheseWithRefined.These
NegativeRefined.Internal, Refined
NonEmptyRefined.Internal, Refined
NonNegativeRefined.Internal, Refined
NonPositiveRefined.Internal, Refined
NonZeroRefined.Internal, Refined
NotRefined.Internal, Refined
NotEqualToRefined.Internal, Refined
OrRefined.Internal, Refined
partitionTheseRefined.These
PositiveRefined.Internal, Refined
PredicateRefined.Internal, Refined
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
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
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