Index

!!	Predicate
!!!	Predicate
$	Predicate
%	UtilP
%&	UtilP
&	Predicate
&&	Predicate
&&&	Predicate
*	Predicate
***	Predicate
*>	Predicate
+	Predicate
+++	Predicate
+:	Predicate
-	Predicate
/	Predicate
/=	Predicate
/=?	Predicate
:+	Predicate
<	Predicate
<$	Predicate
<*	Predicate
<<	Predicate
<=	Predicate
<=?	Predicate
<>	Predicate
<?	Predicate
<\|>	Predicate
==	Predicate
===	Predicate
===?	Predicate
==?	Predicate
>	Predicate
>=	Predicate
>=?	Predicate
>>	Predicate
>?	Predicate
>\|	Predicate
A	Predicate
Abs	Predicate
Add	Predicate
All	Predicate
AllNegative	Predicate
AllNegative'	Predicate
AllPositive	Predicate
AllPositive'	Predicate
Anchored	UtilP
And	Predicate
Ands	Predicate
Ands'	Predicate
AndT	UtilP
Any	Predicate
Appendfile	Predicate
ApplyConstT	Predicate
arbRefined	Refined
arbRefined3	Refined3
arbRefined3With	Refined3
ArrT	UtilP
Asc	Predicate
Asc'	Predicate
Assocl	Predicate
Assocr	Predicate
Auto_callout	UtilP
BAdd	Predicate
base16	Refined3Helper
BaseIJ	Refined3Helper
BaseIJ'	Refined3Helper
BaseN	Refined3Helper
Between	Predicate
Between'	Predicate
BetweenR	Refined3Helper
BetweenT	UtilP
Bin	Predicate
BinOp	Predicate
BMult	Predicate
BoolP	UtilP
BoolT	UtilP
boolT2P	UtilP
Break	Predicate
BSub	Predicate
Case	Predicate
Case'	Predicate
Case''	Predicate
CaseImpl	Predicate
Caseless	UtilP
Catch	Predicate
Catch'	Predicate
catchit	UtilP
catchitNF	UtilP
CatMaybes	Predicate
CatMaybesa	Predicate
CatMaybesx	Predicate
CatMaybesy	Predicate
CatMaybesz	Predicate
CC11	Refined3Helper
cc11	Refined3Helper
Ccfmt	Refined3Helper
Ccip	Refined3Helper
Ccn	Refined3Helper
ccn	Refined3Helper
CControl	Predicate
Ccop	Refined3Helper
Ceiling	Predicate
Ceiling'	Predicate
Ceq	UtilP
Cge	UtilP
Cgt	UtilP
Char1	Predicate
CharSet	Predicate
CheckT	Predicate
CHexDigit	Predicate
CLatin1	Predicate
Cle	UtilP
CLower	Predicate
Clt	UtilP
Cmp	Predicate
CmpI	Predicate
CmpRat	Predicate
Cne	UtilP
CNumber	Predicate
COctDigit	Predicate
Coerce	Predicate
Coerce2	Predicate
color0	UtilP
color1	UtilP
color2	UtilP
color3	UtilP
color4	UtilP
colorMe	UtilP
compileRegex	UtilP
Concat	Predicate
ConcatMap	Predicate
ConsT	UtilP
convertRefined3T	Refined3
convertRefined3TP	Refined3
convertRefinedT	Refined
CPunctuation	Predicate
CSeparator	Predicate
CSpace	Predicate
CUpper	Predicate
DateFmts	Refined3Helper
DateN	Refined3Helper
daten	Refined3Helper
DateTime1	Refined3Helper
DateTimeFmts	Refined3Helper
DateTimeN	Refined3Helper
datetimen	Refined3Helper
defh	UtilP
defOpts	UtilP
defu	UtilP
defv	UtilP
defv'	UtilP
Desc	Predicate
Desc'	Predicate
DirExists	Predicate
Disp	UtilP
displayMessages	UtilP
Div	Predicate
Div'	Predicate
DivF	Predicate
DivMod	Predicate
Do	Predicate
DoExpandT	Predicate
Dollar_endonly	UtilP
Dotall	UtilP
Drop	Predicate
Dtfmt1	Refined3Helper
Dtip1	Refined3Helper
Dtop1	Refined3Helper
Dup	Predicate
Duplicate	Predicate
Dupnames	UtilP
EitherB	Predicate
EitherIn	Predicate
EitherX	Predicate
EitherXT	Predicate
Elem	Predicate
ElemAll	Predicate
EmptyT	Predicate
EnumFromTo	Predicate
eval	Predicate
eval3	Refined3
eval3M	Refined3
eval3P	Refined3
eval3PX	Refined3
eval3X	Refined3
evalBinStrict	UtilP
evalBool	Predicate
evalQuick	Predicate
Even	Predicate
ExitWhen	Predicate
ExitWhen'	Predicate
Extended	UtilP
Extra	UtilP
Extract	Predicate
ExtractT	Predicate
Fail	Predicate
FailCase	Predicate
FailCatch	Predicate
FailIfT	UtilP
FailP	UtilP
Failp	Predicate
FailPrt	Predicate
FailPrt2	Predicate
FailS	Predicate
FailT	UtilP
Failt	Predicate
FalseP	UtilP
FalseT	UtilP
FHandle	Predicate
FileExists	Predicate
FilterBy	Predicate
First	Predicate
Firstline	UtilP
fixBoolT	UtilP
fixit	UtilP
fixLite	UtilP
fixPresentP	UtilP
FlipT	UtilP
Floor	Predicate
Floor'	Predicate
Fmap_1	Predicate
Fmap_2	Predicate
FnT	Predicate
Foldl	Predicate
FoldMap	Predicate
formatList	UtilP
FormatTimeP	Predicate
FOther	Predicate
FromEnum	Predicate
FromInteger	Predicate
FromInteger'	Predicate
FromIntegerP	Predicate
FromIntegral	Predicate
FromIntegral'	Predicate
FromList	Predicate
FromListF	Predicate
FromN	UtilP
FromRational	Predicate
FromRational'	Predicate
FromStringP	Predicate
FromStringP'	Predicate
fromTT	UtilP
fromTTH	UtilP
Fst	Predicate
Fst3	Predicate
FStderr	Predicate
FStdout	Predicate
FstL	Predicate
FstL'	Predicate
FthL	Predicate
FthL'	Predicate
GDef	Predicate
GDef'	Predicate
GDef''	Predicate
GDef_PA	Predicate
GDef_X	Predicate
Ge	Predicate
GetBinOp	Predicate
getBinOp	Predicate
GetBool	UtilP
getBool	UtilP
GetCharSet	Predicate
getCharSet	Predicate
GetFHandle	Predicate
getFHandle	Predicate
GetLen	UtilP
getLen	UtilP
getLenP	UtilP
GetMode	Predicate
getMode	Predicate
getN	UtilP
GetNatN	UtilP
getNatN	UtilP
GetNats	UtilP
getNats	UtilP
GetOrd	UtilP
getOrd	UtilP
GetOrdering	UtilP
getOrdering	UtilP
GetRat	Predicate
getRat	Predicate
GetRats	Predicate
getRats	Predicate
GetROpt	UtilP
getROpt	UtilP
GetROpts	UtilP
getROpts	UtilP
getStringPrefix	Predicate
GetSymbs	UtilP
getSymbs	UtilP
GetThese	UtilP
getThese	UtilP
getTTLR	UtilP
getValidBase	Predicate
getValLR	UtilP
getValLRFromTT	UtilP
getValueLR	UtilP
getValueLRHide	UtilP
getValueLRImpl	UtilP
GFail	Predicate
GProxy	Predicate
groupErrors	UtilP
Gt	Predicate
Guard	Predicate
Guard'	Predicate
Guards	Predicate
Guards'	Predicate
GuardsImpl	Predicate
GuardsImplW	Predicate
GuardsLax	Predicate
GuardsQuick	Predicate
GuardsT	Predicate
GuardsViaPara	Predicate
GuardsViaParaT	Predicate
H	Predicate
Head	Predicate
Head'	Predicate
HeadDef	Predicate
HeadFail	Predicate
HeadP	Predicate
hh	UtilP
Hide	Predicate
Hms	Refined3Helper
hms	Refined3Helper
Hms4	Refined3Helper
hms4	Refined3Helper
Hmsconv	Refined3Helper
Hmsfmt	Refined3Helper
Hmsip	Refined3Helper
Hmsop	Refined3Helper
HmsRE	Refined3Helper
Hmsval	Refined3Helper
Holder
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
Hole	Predicate
horizontal	UtilP
I	Predicate
Id	Predicate
IdT	Predicate
If	Predicate
IfT	UtilP
Imply	Predicate
imply	UtilP
Init	Predicate
Init'	Predicate
InitDef	Predicate
InitFail	Predicate
InitP	Predicate
Inits	Predicate
Intercalate	Predicate
IntersperseT	UtilP
Ip	Refined3Helper
ip	Refined3Helper
Ip1	Refined3Helper
ip1	Refined3Helper
Ip4strictRE	Refined3Helper
Ipfmt	Refined3Helper
Ipip	Refined3Helper
Ipop	Refined3Helper
Ipop'	Refined3Helper
IsCharSet	Predicate
IsControl	Predicate
IsEmpty	Predicate
IsFixImpl	Predicate
IsHexDigit	Predicate
IsInfix	Predicate
IsInfixI	Predicate
IsJust	Predicate
IsLatin1	Predicate
IsLeft	Predicate
IsLower	Predicate
IsNothing	Predicate
IsNumber	Predicate
IsOctDigit	Predicate
IsPrefix	Predicate
IsPrefixI	Predicate
isPrime	UtilP
IsPunctuation	Predicate
IsRight	Predicate
IsSeparator	Predicate
IsSpace	Predicate
IsSuffix	Predicate
IsSuffixI	Predicate
IsTh	Predicate
IsThat	Predicate
IsThese	Predicate
IsThis	Predicate
isTrue	UtilP
IsUpper	Predicate
IterateN	Predicate
IterateNUntil	Predicate
IterateNWhile	Predicate
IterateUntil	Predicate
IterateWhile	Predicate
IToList	Predicate
IToList'	Predicate
Ix	Predicate
Ix'	Predicate
IxL	Predicate
Join	Predicate
Just'	Predicate
JustDef	Predicate
JustDef'	Predicate
JustDef''	Predicate
JustDef'''	Predicate
JustFail	Predicate
JustP	Predicate
Keep	Predicate
KeepImpl	Predicate
Last	Predicate
Last'	Predicate
LastDef	Predicate
LastFail	Predicate
LastP	Predicate
Le	Predicate
Left	Predicate
Left'	Predicate
LeftDef	Predicate
LeftFail	Predicate
LeftP	Predicate
LeftToMaybe	Predicate
Len	Predicate
Length	Predicate
LenT	UtilP
liftEval	UtilP
lite	UtilP
Lookup	Predicate
Lookup'	Predicate
LookupDef	Predicate
LookupDef'	Predicate
LookupFail	Predicate
LookupFail'	Predicate
LookupP	Predicate
LookupP'	Predicate
Lt	Predicate
Luhn	Predicate
Luhn'	Refined3Helper
Luhn''	Refined3Helper
LuhnR	Refined3Helper
LuhnR'	Refined3Helper
LuhnX	Refined3Helper
LuhnY	Refined3Helper
m3Desc	Refined3
m3Long	Refined3
m3Short	Refined3
MakeR3	Refined3
MakeRR	Predicate
MakeRR1	Predicate
MakeRR2	Predicate
MakeRR3	Predicate
Map	Predicate
MapMaybe	Predicate
MapT	UtilP
MapTX	Predicate
Max	Predicate
Max'	Predicate
MaybeB	Predicate
MaybeIn	Predicate
MaybeX	Predicate
MaybeXP	Predicate
MaybeXPT	Predicate
MConcat	Predicate
MemptyP	Predicate
MemptyProxy	Predicate
MemptyT	Predicate
MemptyT'	Predicate
MemptyT2	Predicate
MemptyT2'	Predicate
Min	Predicate
Min'	Predicate
MkDay	Predicate
MkJust	Predicate
MkLeft	Predicate
MkLeft'	Predicate
mkNode	UtilP
mkNodeB	UtilP
MkNothing	Predicate
MkNothing'	Predicate
MkNothing''	Predicate
MkProxy	Predicate
mkProxy3	Refined3
mkProxy3P	Refined3
MkProxy3T	Refined3
MkRight	Predicate
MkRight'	Predicate
MkThat	Predicate
MkThat'	Predicate
MkThese	Predicate
MkThis	Predicate
MkThis'	Predicate
Mod	Predicate
Mod'	Predicate
MonadEval	UtilP
Msg	Predicate
Msg'	Predicate
Msg3
1 (Type/Class)	Refined3
2 (Data Constructor)	Refined3
Mult	Predicate
Multiline	UtilP
N	UtilP
nat	UtilP
Ne	Predicate
Neg	Predicate
Negate	Predicate
Negative	Predicate
NegR	Predicate
NEmptyT	UtilP
Newline_cr	UtilP
Newline_crlf	UtilP
Newline_lf	UtilP
newRefined	Refined
newRefined3T	Refined3
newRefined3TP	Refined3
newRefined3TPIO	Refined3
newRefinedT	Refined
newRefinedTIO	Refined
NormalDisp	UtilP
Not	Predicate
Nothing'	Predicate
NotT	UtilP
NotZeroT	UtilP
No_auto_capture	UtilP
No_utf8_check	UtilP
Null	Predicate
nullSpace	UtilP
NullT	UtilP
o0	UtilP
o02	UtilP
o03	UtilP
o1	UtilP
o2	UtilP
o3	UtilP
oColor	UtilP
OctetRE	Refined3Helper
Odd	Predicate
oDebug	UtilP
oDisp	UtilP
oHide	UtilP
Ok	Refined3Helper
OkNot	Refined3Helper
OkNotR	Refined3Helper
OkR	Refined3Helper
ol	UtilP
olc	UtilP
oLite	UtilP
OneP	Predicate
Ones	Predicate
OR	Predicate
OrdA	Predicate
OrdA'	Predicate
OrderingP	UtilP
OrdI	Predicate
OrdP	Predicate
Ors	Predicate
Ors'	Predicate
OrT	UtilP
oShowA	UtilP
P	Predicate
PA	Predicate
Pad	Predicate
PadL	Predicate
PadR	Predicate
Pairs	Predicate
Para	Predicate
ParaImpl	Predicate
ParaImplW	Predicate
ParaLax	Predicate
ParseTimeP	Predicate
ParseTimeP'	Predicate
ParseTimes	Predicate
ParseTimes'	Predicate
Partition	Predicate
PartitionEithers	Predicate
PartitionThese	Predicate
partitionTTExtended	UtilP
partitionTTs	UtilP
pBool	UtilP
PColor
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
PE
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
pe	Predicate
pe0	Predicate
pe1	Predicate
pe2	Predicate
pe3	Predicate
peWith	Predicate
pex	Predicate
pl	Predicate
plc	Predicate
PMempty	Predicate
POpts
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
Pos	Predicate
Positive	Predicate
PosR	Predicate
PP	Predicate
PPTree	UtilP
ppTree	UtilP
Pred	Predicate
PredB	Predicate
PredB'	Predicate
prefixMsg	UtilP
PresentP	UtilP
PresentT	UtilP
prettyOrd	UtilP
prettyRational	UtilP
Prime	Predicate
PrintC	Predicate
Printf	Predicate
Printf2	Predicate
Printf3	Predicate
Printf3'	Predicate
Printfn	Predicate
Printfnt	Predicate
PrintfntLax	Predicate
ProxyT	Predicate
ProxyT'	Predicate
prt3	Refined3
prt3Impl	Refined3
prt3IO	Refined3
prtC	Predicate
prtEval3	Refined3
prtEval3P	Refined3
prtEval3PIO	Refined3
prtImpl	UtilP
prtRefinedIO	Refined
prtRefinedT	Refined
prtRefinedTIO	Refined
prtTree	UtilP
prtTreePure	UtilP
prtTT	UtilP
prtTT'	UtilP
prtTTIO	UtilP
pStrings	UtilP
Pure	Predicate
Pure2	Predicate
Quot	Predicate
QuotRem	Predicate
r3In	Refined3
r3Out	Refined3
rapply	Refined
rapply0	Refined
rapply1	Refined
rapply3	Refined3
rapply3P	Refined3
Rat	Predicate
Re	Predicate
Re'	Predicate
ReadBase	Predicate
ReadBase'	Predicate
ReadBaseInt	Predicate
ReadDir	Predicate
ReadEnv	Predicate
ReadEnvAll	Predicate
ReadFile	Predicate
ReadP	Predicate
ReadP'	Predicate
ReadP''	Predicate
ReadShow	Refined3Helper
ReadShow'	Refined3Helper
ReadShowR	Refined3Helper
ReadShowR'	Refined3Helper
Refined	Refined
Refined3	Refined3
Refined3C	Refined3
refined3TH	UtilP_TH
refined3TH'	UtilP_TH
RefinedC	Refined
RefinedT
1 (Type/Class)	Refined
2 (Data Constructor)	Refined
refinedTH	UtilP_TH
refinedTH'	UtilP_TH
Rem	Predicate
Remove	Predicate
removeAnsiForDocTest	UtilP
Repeat	Predicate
RepeatP	Predicate
RepeatT	UtilP
ReplaceAll	Predicate
ReplaceAll'	Predicate
ReplaceAllString	Predicate
ReplaceAllString'	Predicate
ReplaceImpl	Predicate
ReplaceOne	Predicate
ReplaceOne'	Predicate
ReplaceOneString	Predicate
ReplaceOneString'	Predicate
Rescan	Predicate
Rescan'	Predicate
RescanRanges	Predicate
RescanRanges'	Predicate
Resplit	Predicate
Resplit'	Predicate
Results	Refined3
Reverse	Predicate
ReverseL	Predicate
ReverseTupleC	UtilP
reverseTupleC	UtilP
ReverseTupleN	Predicate
ReverseTupleP	UtilP
RF	Refined3
Right	Predicate
Right'	Predicate
RightDef	Predicate
RightFail	Predicate
RightP	Predicate
RightToMaybe	Predicate
ROpt	UtilP
RR
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
RR1	UtilP
RR2	UtilP
RR3	UtilP
RResults	Refined3
RTF	Refined3
RTFalse	Refined3
RTTrueF	Refined3
RTTrueT	Refined3
runIO	UtilP
runPQ	Predicate
S	UtilP
Same	Predicate
Sapa	Predicate
Sapa'	Predicate
Scanl	Predicate
ScanN	Predicate
ScanNA	Predicate
Second	Predicate
Sequence	Predicate
seta	UtilP
setc	UtilP
setc0	UtilP
setc1	UtilP
setc2	UtilP
setc3	UtilP
setc4	UtilP
setd	UtilP
setu	UtilP
setv	UtilP
shortTT	UtilP
show0	UtilP
show3	UtilP
showA	UtilP
showA'	UtilP
ShowBase	Predicate
showBoolP	UtilP
showImpl	UtilP
showLit	UtilP
showLit'	UtilP
showLit0	UtilP
showLit3	UtilP
showNat	UtilP
ShowP	Predicate
showT	UtilP
showThese	UtilP
showTProxy	UtilP
Signum	Predicate
Skip	Predicate
Snd	Predicate
Snd3	Predicate
SndL	Predicate
SndL'	Predicate
SortBy	Predicate
SortByHelper	Predicate
SortOn	Predicate
SortOnDesc	Predicate
Span	Predicate
splitAndAlign	UtilP
SplitAt	Predicate
SplitAts	Predicate
Ssn	Refined3Helper
ssn	Refined3Helper
Ssnfmt	Refined3Helper
Ssnip	Refined3Helper
Ssnop	Refined3Helper
Ssnop'	Refined3Helper
Star	Predicate
Stderr	Predicate
Stdin	Predicate
Stdout	Predicate
STimes	Predicate
strictmsg	Predicate
StripLeft	Predicate
StripLR	Predicate
StripRight	Predicate
Sub	Predicate
Succ	Predicate
SuccB	Predicate
SuccB'	Predicate
Sum	Predicate
SumT	UtilP
Swap	Predicate
symb	UtilP
T	Predicate
Tail	Predicate
Tail'	Predicate
TailDef	Predicate
TailFail	Predicate
TailP	Predicate
Tails	Predicate
Take	Predicate
tBool	UtilP
tForest	UtilP
That'	Predicate
ThatDef	Predicate
ThatFail	Predicate
ThatP	Predicate
Thats	Predicate
ThatToMaybe	Predicate
Thd3	Predicate
ThdL	Predicate
ThdL'	Predicate
TheseDef	Predicate
TheseFail	Predicate
Theseid	Predicate
TheseIn	Predicate
TheseIn'	Predicate
TheseP	Predicate
Theses	Predicate
TheseToMaybe	Predicate
TheseX	Predicate
TheseXT	Predicate
This'	Predicate
ThisDef	Predicate
ThisFail	Predicate
ThisP	Predicate
Thiss	Predicate
ThisToMaybe	Predicate
TimeU	Predicate
TimeZ	Predicate
ToEnum	Predicate
ToEnum'	Predicate
ToEnumB	Predicate
ToEnumB'	Predicate
ToEnumBF	Predicate
ToGuards	Predicate
ToGuardsT	Predicate
ToList	Predicate
ToListExt	Predicate
ToLower	Predicate
ToN	UtilP
toNodeString	UtilP
ToPara	Predicate
ToRational	Predicate
ToUpper	Predicate
Traverse	Predicate
Trim	Predicate
Trim'	Predicate
TrimEnd	Predicate
TrimStart	Predicate
TrueP	UtilP
TrueT	UtilP
Truncate	Predicate
Truncate'	Predicate
tStrings	UtilP
TT
1 (Type/Class)	UtilP
2 (Data Constructor)	UtilP
TupleI	Predicate
TupleLenT	UtilP
TupleList	Predicate
TupleListD	UtilP
tupleListD	UtilP
TupleListImpl	Predicate
TupleListLax	Predicate
TupleListT	UtilP
Uncons	Predicate
Unfoldr	Predicate
UnfoldT	Predicate
Ungreedy	UtilP
unHolder	UtilP
Unicode	UtilP
unicode	UtilP
UnIToListT	Predicate
UnMkDay	Predicate
unPColor	UtilP
Unproxy	Predicate
unRavelT	Refined
unRavelTI	Refined
unRavelTIO	Refined
unRefined	Refined
unRefinedT	Refined
unsafeRefined	Refined
unsafeRefined'	Refined
unsafeRefined3	Refined3
unsafeRefined3'	Refined3
Unsnoc	Predicate
Unwrap	Predicate
Unzip	Predicate
Utf8	UtilP
valsFromTTs	UtilP
Vertical	UtilP
vertical	UtilP
vertical'	UtilP
W	Predicate
WFAppend	Predicate
WFMode	Predicate
WFWrite	Predicate
WFWriteForce	Predicate
withRefined3T	Refined3
withRefined3TIO	Refined3
withRefined3TP	Refined3
withRefinedT	Refined
withRefinedTIO	Refined
Wrap	Predicate
Wrap'	Predicate
Writefile	Predicate
Writefile'	Predicate
WritefileImpl	Predicate
X	Predicate
XA	Predicate
XF	Refined3
XPA	Predicate
XTF	Refined3
XTFalse	Refined3
XTTrueF	Refined3
XTTrueT	Refined3
Z	UtilP
Zip	Predicate
Ziplc	Predicate
Zipn	Predicate
Ziprc	Predicate
ZipThese	Predicate
ZipTheseF	Predicate
_boolT	UtilP
_FailT	UtilP
_FalseT	UtilP
_MX	Predicate
_pBool	UtilP
_PresentT	UtilP
_pStrings	UtilP
_tBool	UtilP
_tForest	UtilP
_TrueT	UtilP
_tStrings	UtilP
\|>	Predicate
\|\|	Predicate
\|\|\|	Predicate
~>	Predicate