predicate-typed-0.7.4.5: Predicates, Refinement types and Dsl

Index - R

r2InPredicate.Refined2
r2OutPredicate.Refined2
r3InPredicate.Refined3
r3OutPredicate.Refined3
RAppendPredicate.Misc, Predicate
RDotPredicate.Data.Lifted, Predicate
RDotExpandTPredicate.Data.Lifted, Predicate
RePredicate.Data.Regex, Predicate
Re'Predicate.Data.Regex, Predicate
ReadBasePredicate.Data.Numeric, Predicate
ReadBase'Predicate.Data.Numeric, Predicate
ReadDirPredicate.Data.IO, Predicate
ReadEnvPredicate.Data.IO, Predicate
ReadEnvAllPredicate.Data.IO, Predicate
ReadFilePredicate.Data.IO, Predicate
ReadFileBinaryPredicate.Data.IO, Predicate
ReadIOPredicate.Data.IO, Predicate
ReadIO'Predicate.Data.IO, Predicate
ReadMaybePredicate.Data.ReadShow, Predicate
ReadMaybe'Predicate.Data.ReadShow, Predicate
ReadPPredicate.Data.ReadShow, Predicate
ReadP'Predicate.Data.ReadShow, Predicate
ReadShowPredicate.Examples.Refined3
readshowPredicate.Examples.Refined3
ReadShow'Predicate.Examples.Refined3
readshow'Predicate.Examples.Refined3
ReadShowRPredicate.Examples.Refined3
ReadShowR'Predicate.Examples.Refined3
RedPredicate.Util, Predicate
RefinedPredicate.Refined, Predicate
Refined2Predicate.Refined2
Refined2CPredicate.Refined2
Refined2Exception 
1 (Type/Class)Predicate.Refined2
2 (Data Constructor)Predicate.Refined2
refined2THPredicate.Util_TH, Predicate
refined2THIOPredicate.Util_TH, Predicate
Refined3Predicate.Refined3
Refined3CPredicate.Refined3
Refined3Exception 
1 (Type/Class)Predicate.Refined3
2 (Data Constructor)Predicate.Refined3
refined3THPredicate.Util_TH, Predicate
refined3THIOPredicate.Util_TH, Predicate
Refined5Predicate.Refined5
Refined5Exception 
1 (Type/Class)Predicate.Refined5
2 (Data Constructor)Predicate.Refined5
refined5THPredicate.Util_TH, Predicate
refined5THIOPredicate.Util_TH, Predicate
RefinedCPredicate.Refined, Predicate
RefinedException 
1 (Type/Class)Predicate.Refined, Predicate
2 (Data Constructor)Predicate.Refined, Predicate
refinedTHPredicate.Util_TH, Predicate
refinedTHIOPredicate.Util_TH, Predicate
RemPredicate.Data.Numeric, Predicate
RemovePredicate.Data.List, Predicate
removeAnsiPredicate.Misc, Predicate
RepeatPredicate.Data.Iterator, Predicate
RepeatTPredicate.Misc, Predicate
ReplaceAllPredicate.Data.Regex, Predicate
ReplaceAll'Predicate.Data.Regex, Predicate
ReplaceAllStringPredicate.Data.Regex, Predicate
ReplaceAllString'Predicate.Data.Regex, Predicate
ReplaceFnPredicate.Data.Regex, Predicate
ReplaceFn1Predicate.Data.Regex, Predicate
ReplaceFn2Predicate.Data.Regex, Predicate
ReplaceFn3Predicate.Data.Regex, Predicate
ReplaceFnSubPredicate.Misc, Predicate
ReplaceOnePredicate.Data.Regex, Predicate
ReplaceOne'Predicate.Data.Regex, Predicate
ReplaceOneStringPredicate.Data.Regex, Predicate
ReplaceOneString'Predicate.Data.Regex, Predicate
RescanPredicate.Data.Regex, Predicate
Rescan'Predicate.Data.Regex, Predicate
RescanRangesPredicate.Data.Regex, Predicate
RescanRanges'Predicate.Data.Regex, Predicate
ResplitPredicate.Data.Regex, Predicate
Resplit'Predicate.Data.Regex, Predicate
ReversePredicate.Data.List, Predicate
ReverseITuplePredicate.Data.Tuple, Predicate
ReverseITupleCPredicate.Misc, Predicate
reverseITupleCPredicate.Misc, Predicate
ReverseITupleTPredicate.Misc, Predicate, Predicate
ReverseLPredicate.Data.List, Predicate
RF 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
Right'Predicate.Data.Either, Predicate
RightDefPredicate.Data.Either, Predicate
RightDef'Predicate.Data.Either, Predicate
RightFailPredicate.Data.Either, Predicate
RightTPredicate.Misc, Predicate
ROptPredicate.Misc, Predicate
RotatePredicate.Data.List, Predicate
RoundUpPredicate.Data.Numeric, Predicate
ROverWritePredicate.Misc, Predicate
RPrependPredicate.Misc, Predicate
RReplace 
1 (Type/Class)Predicate.Misc, Predicate
2 (Data Constructor)Predicate.Misc, Predicate
RReplace1Predicate.Misc, Predicate
RReplace2Predicate.Misc, Predicate
RReplace3Predicate.Misc, Predicate
RResults2Predicate.Refined2
RResults3Predicate.Refined3
RTF 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
RTFalse 
1 (Data Constructor)Predicate.Refined3
2 (Data Constructor)Predicate.Refined2
RTTruePredicate.Refined2
RTTrueFPredicate.Refined3
RTTrueTPredicate.Refined3
runPredicate.Core, Predicate
runIOPredicate.Util, Predicate
runPPredicate.Core, Predicate
runPQPredicate.Core, Predicate
runPQBoolPredicate.Core, Predicate
runsPredicate.Core, Predicate