Index
| !! | Predicate |
| !!! | Predicate |
| $ | Predicate |
| % | Predicate |
| %% | UtilP, Predicate |
| %& | 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 |
| >> | Predicate |
| >? | Predicate |
| >| | Predicate |
| A | Predicate |
| Abs | Predicate |
| Add | Predicate |
| All | Predicate |
| AllNegative | Predicate |
| AllNegative' | Predicate |
| AllPositive | Predicate |
| AllPositive' | Predicate |
| Anchored | UtilP, Predicate |
| And | Predicate |
| Ands | Predicate |
| Ands' | Predicate |
| AndT | UtilP, Predicate |
| Any | Predicate |
| Appendfile | Predicate |
| ApplyConstT | Predicate |
| arbRefined | Refined |
| arbRefined3 | Refined3 |
| arbRefined3With | Refined3 |
| ArrT | UtilP, Predicate |
| Asc | Predicate |
| Asc' | Predicate |
| AssocL | Predicate |
| AssocR | Predicate |
| Auto_callout | UtilP, Predicate |
| BAdd | Predicate |
| base16 | Refined3Helper |
| BaseIJ | Refined3Helper |
| BaseIJ' | Refined3Helper |
| BaseN | Refined3Helper |
| Between | Predicate |
| Between' | Predicate |
| BetweenR | Refined3Helper |
| BetweenT | UtilP, Predicate |
| Bin | Predicate |
| BinOp | Predicate |
| BMult | Predicate |
| BoolP | UtilP, Predicate |
| BoolT | UtilP, Predicate |
| boolT2P | UtilP, Predicate |
| Break | Predicate |
| BSub | Predicate |
| Case | Predicate |
| Case' | Predicate |
| Case'' | Predicate |
| CaseImpl | Predicate |
| Caseless | UtilP, Predicate |
| Catch | Predicate |
| Catch' | Predicate |
| catchit | UtilP, Predicate |
| catchitNF | UtilP, Predicate |
| CatMaybes | Predicate |
| CC11 | Refined3Helper |
| cc11 | Refined3Helper |
| Ccfmt | Refined3Helper |
| Ccip | Refined3Helper |
| Ccn | Refined3Helper |
| ccn | Refined3Helper |
| CControl | Predicate |
| Ccop | Refined3Helper |
| Ceiling | Predicate |
| Ceiling' | Predicate |
| Ceq | UtilP, Predicate |
| Cge | UtilP, Predicate |
| Cgt | UtilP, Predicate |
| Char1 | Predicate |
| CharSet | Predicate |
| CheckT | Predicate |
| CHexDigit | Predicate |
| CLatin1 | Predicate |
| Cle | UtilP, Predicate |
| CLower | Predicate |
| Clt | UtilP, Predicate |
| Cmp | Predicate |
| CmpI | Predicate |
| Cne | UtilP, Predicate |
| CNumber | Predicate |
| COctDigit | Predicate |
| Coerce | Predicate |
| Coerce2 | Predicate |
| color0 | UtilP, Predicate |
| color1 | UtilP, Predicate |
| color2 | UtilP, Predicate |
| color3 | UtilP, Predicate |
| color4 | UtilP, Predicate |
| colorMe | UtilP, Predicate |
| compileRegex | UtilP, Predicate |
| Concat | Predicate |
| ConcatMap | Predicate |
| ConsT | UtilP, Predicate |
| 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, Predicate |
| defOpts | UtilP, Predicate |
| defu | UtilP, Predicate |
| Desc | Predicate |
| Desc' | Predicate |
| DirExists | Predicate |
| Disp | UtilP, Predicate |
| displayMessages | UtilP, Predicate |
| Div | Predicate |
| Div' | Predicate |
| DivF | Predicate |
| DivMod | Predicate |
| Do | Predicate |
| DoExpandT | Predicate |
| Dollar_endonly | UtilP, Predicate |
| DoN | Predicate |
| Dotall | UtilP, Predicate |
| Drop | Predicate |
| Dtfmt1 | Refined3Helper |
| Dtip1 | Refined3Helper |
| Dtop1 | Refined3Helper |
| Dup | Predicate |
| Duplicate | Predicate |
| Dupnames | UtilP, Predicate |
| EitherB | Predicate |
| EitherIn | Predicate |
| EitherX | Predicate |
| EitherXT | Predicate |
| Elem | Predicate |
| EmptyList | Predicate |
| EmptyList' | Predicate |
| EmptyT | Predicate |
| EnumFromTo | Predicate |
| eval | PredicateCore, Predicate |
| eval3 | Refined3 |
| eval3M | Refined3 |
| eval3P | Refined3 |
| eval3PX | Refined3 |
| eval3X | Refined3 |
| evalBinStrict | UtilP, Predicate |
| evalBool | PredicateCore, Predicate |
| evalQuick | Predicate |
| Even | Predicate |
| ExitWhen | Predicate |
| ExitWhen' | Predicate |
| Extended | UtilP, Predicate |
| Extra | UtilP, Predicate |
| Extract | Predicate |
| ExtractAFromTA | Predicate |
| ExtractL1C | Predicate |
| extractL1C | Predicate |
| ExtractL1T | Predicate |
| ExtractL2C | Predicate |
| extractL2C | Predicate |
| ExtractL2T | Predicate |
| ExtractL3C | Predicate |
| extractL3C | Predicate |
| ExtractL3T | Predicate |
| ExtractL4C | Predicate |
| extractL4C | Predicate |
| ExtractL4T | Predicate |
| ExtractL5C | Predicate |
| extractL5C | Predicate |
| ExtractL5T | Predicate |
| ExtractL6C | Predicate |
| extractL6C | Predicate |
| ExtractL6T | Predicate |
| Fail | Predicate |
| FailCase | Predicate |
| FailCatch | Predicate |
| FailIfT | UtilP, Predicate |
| FailP | UtilP, Predicate |
| Failp | Predicate |
| FailPrt | Predicate |
| FailPrt2 | Predicate |
| FailS | Predicate |
| FailT | UtilP, Predicate |
| Failt | Predicate |
| FalseP | UtilP, Predicate |
| FalseT | UtilP, Predicate |
| FHandle | Predicate |
| FileExists | Predicate |
| FilterBy | Predicate |
| First | Predicate |
| Firstline | UtilP, Predicate |
| fixBoolT | UtilP, Predicate |
| fixit | UtilP, Predicate |
| fixLite | UtilP, Predicate |
| fixPresentP | UtilP, Predicate |
| FlipT | UtilP, Predicate |
| Floor | Predicate |
| Floor' | Predicate |
| Fmap_1 | Predicate |
| Fmap_2 | Predicate |
| FnT | Predicate |
| Foldl | Predicate |
| FoldMap | Predicate |
| FoldN | Predicate |
| formatList | UtilP, Predicate |
| FormatTimeP | Predicate |
| FOther | Predicate |
| FromEnum | Predicate |
| FromInteger | Predicate |
| FromInteger' | Predicate |
| FromIntegerP | Predicate |
| FromIntegral | Predicate |
| FromIntegral' | Predicate |
| FromList | Predicate |
| FromListF | Predicate |
| FromN | UtilP, Predicate |
| FromRational | Predicate |
| FromRational' | Predicate |
| FromStringP | Predicate |
| FromStringP' | Predicate |
| fromTT | UtilP, Predicate |
| fromTTH | UtilP, Predicate |
| Fst | Predicate |
| FStderr | Predicate |
| FStdout | Predicate |
| GDef | Predicate |
| GDef' | Predicate |
| GDef'' | Predicate |
| GDef_PA | Predicate |
| GDef_X | Predicate |
| Ge | Predicate |
| GetBinOp | Predicate |
| getBinOp | Predicate |
| GetBool | UtilP, Predicate |
| getBool | UtilP, Predicate |
| GetCharSet | Predicate |
| getCharSet | Predicate |
| GetFHandle | Predicate |
| getFHandle | Predicate |
| GetLen | UtilP, Predicate |
| getLen | UtilP, Predicate |
| getLenP | UtilP, Predicate |
| GetMode | Predicate |
| getMode | Predicate |
| getN | UtilP, Predicate |
| GetNatN | UtilP, Predicate |
| getNatN | UtilP, Predicate |
| GetNats | UtilP, Predicate |
| getNats | UtilP, Predicate |
| GetOrd | UtilP, Predicate |
| getOrd | UtilP, Predicate |
| GetOrdering | UtilP, Predicate |
| getOrdering | UtilP, Predicate |
| GetROpt | UtilP, Predicate |
| getROpt | UtilP, Predicate |
| GetROpts | UtilP, Predicate |
| getROpts | UtilP, Predicate |
| getStringPrefix | Predicate |
| GetSymbs | UtilP, Predicate |
| getSymbs | UtilP, Predicate |
| GetThese | UtilP, Predicate |
| getThese | UtilP, Predicate |
| getTTLR | UtilP, Predicate |
| getValidBase | Predicate |
| getValLR | UtilP, Predicate |
| getValLRFromTT | UtilP, Predicate |
| getValueLR | UtilP, Predicate |
| getValueLRHide | UtilP, Predicate |
| getValueLRImpl | UtilP, Predicate |
| GFail | Predicate |
| GProxy | Predicate |
| groupErrors | UtilP, Predicate |
| Gt | Predicate |
| Guard | Predicate |
| Guard' | Predicate |
| Guards | Predicate |
| Guards' | Predicate |
| GuardsImpl | Predicate |
| GuardSimple | Predicate |
| GuardsImplW | Predicate |
| GuardsLax | Predicate |
| GuardsN | Predicate |
| GuardsNImpl | Predicate |
| GuardsNLax | Predicate |
| GuardsQuick | Predicate |
| GuardsT | Predicate |
| GuardsViaPara | Predicate |
| GuardsViaParaT | Predicate |
| H | Predicate |
| Head | Predicate |
| Head' | Predicate |
| HeadDef | Predicate |
| HeadFail | Predicate |
| HeadP | Predicate |
| hh | UtilP, Predicate |
| 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, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| Hole | Predicate |
| horizontal | UtilP, Predicate |
| I | PredicateCore, Predicate |
| Id | PredicateCore, Predicate |
| IdT | PredicateCore, Predicate |
| If | Predicate |
| IfT | UtilP, Predicate |
| Imply | Predicate |
| imply | UtilP, Predicate |
| Init | Predicate |
| Init' | Predicate |
| InitDef | Predicate |
| InitFail | Predicate |
| InitP | Predicate |
| Inits | Predicate |
| Intercalate | Predicate |
| IntersperseT | UtilP, Predicate |
| Ip | Refined3Helper |
| ip | Refined3Helper |
| Ip4StrictRE | Refined3Helper |
| Ipfmt | Refined3Helper |
| Ipip | 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, Predicate |
| IsPunctuation | Predicate |
| IsRight | Predicate |
| IsSeparator | Predicate |
| IsSpace | Predicate |
| IsSuffix | Predicate |
| IsSuffixI | Predicate |
| IsTh | Predicate |
| IsThat | Predicate |
| IsThese | Predicate |
| IsThis | Predicate |
| isTrue | UtilP, Predicate |
| 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 |
| L1 | Predicate |
| L2 | Predicate |
| L3 | Predicate |
| L4 | Predicate |
| L5 | Predicate |
| L6 | 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, Predicate |
| liftEval | UtilP, Predicate |
| lite | UtilP, Predicate |
| 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, 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 |
| MkDay' | Predicate |
| MkJust | Predicate |
| MkLeft | Predicate |
| MkLeft' | Predicate |
| mkNode | UtilP, Predicate |
| mkNodeB | UtilP, 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, Predicate |
| Msg | PredicateCore, Predicate |
| Msg' | Predicate |
| Msg3 | |
| 1 (Type/Class) | Refined3 |
| 2 (Data Constructor) | Refined3 |
| Mult | Predicate |
| Multiline | UtilP, Predicate |
| N | UtilP, Predicate |
| nat | UtilP, Predicate |
| Ne | Predicate |
| Negate | Predicate |
| Negative | Predicate |
| NEmptyT | UtilP, Predicate |
| Newline_cr | UtilP, Predicate |
| Newline_crlf | UtilP, Predicate |
| Newline_lf | UtilP, Predicate |
| newRefined | Refined |
| newRefined3T | Refined3 |
| newRefined3TP | Refined3 |
| newRefined3TPIO | Refined3 |
| newRefinedT | Refined |
| newRefinedTIO | Refined |
| NormalDisp | UtilP, Predicate |
| Not | Predicate |
| Nothing' | Predicate |
| NotT | UtilP, Predicate |
| NotZeroT | UtilP, Predicate |
| No_auto_capture | UtilP, Predicate |
| No_utf8_check | UtilP, Predicate |
| Null | Predicate |
| nullSpace | UtilP, Predicate |
| NullT | UtilP, Predicate |
| o0 | UtilP, Predicate |
| o02 | UtilP, Predicate |
| o03 | UtilP, Predicate |
| o1 | UtilP, Predicate |
| o2 | UtilP, Predicate |
| o3 | UtilP, Predicate |
| oColor | UtilP, Predicate |
| OctetRE | Refined3Helper |
| Odd | Predicate |
| oDebug | UtilP, Predicate |
| oDisp | UtilP, Predicate |
| oHide | UtilP, Predicate |
| Ok | Refined3Helper |
| OkNot | Refined3Helper |
| OkNotR | Refined3Helper |
| OkR | Refined3Helper |
| ol | UtilP, Predicate |
| olc | UtilP, Predicate |
| oLite | UtilP, Predicate |
| OneP | Predicate |
| Ones | Predicate |
| OR | Predicate |
| OrdA | Predicate |
| OrdA' | Predicate |
| OrderingP | UtilP, Predicate |
| OrdI | Predicate |
| OrdP | Predicate |
| Ors | Predicate |
| Ors' | Predicate |
| OrT | UtilP, Predicate |
| oShowA | UtilP, Predicate |
| ou | UtilP, Predicate |
| P | PredicateCore, Predicate |
| PA | Predicate |
| Pad | Predicate |
| PadL | Predicate |
| PadR | Predicate |
| Pairs | Predicate |
| Para | Predicate |
| ParaImpl | Predicate |
| ParaImplW | Predicate |
| ParaLax | Predicate |
| ParaN | Predicate |
| ParaNImpl | Predicate |
| ParaNLax | Predicate |
| ParseTimeP | Predicate |
| ParseTimeP' | Predicate |
| ParseTimes | Predicate |
| ParseTimes' | Predicate |
| Partition | Predicate |
| PartitionEithers | Predicate |
| PartitionThese | Predicate |
| partitionTTExtended | UtilP, Predicate |
| partitionTTs | UtilP, Predicate |
| pBool | UtilP, Predicate |
| PColor | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| PE | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| pe | PredicateCore, Predicate |
| pe0 | PredicateCore, Predicate |
| pe1 | PredicateCore, Predicate |
| pe2 | PredicateCore, Predicate |
| pe3 | PredicateCore, Predicate |
| peWith | PredicateCore, Predicate |
| pex | PredicateCore, Predicate |
| pl | PredicateCore, Predicate |
| plc | PredicateCore, Predicate |
| PMEmpty | Predicate |
| POpts | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| Positive | Predicate |
| PP | PredicateCore, Predicate |
| Pred | Predicate |
| PredB | Predicate |
| PredB' | Predicate |
| prefixMsg | UtilP, Predicate |
| PresentP | UtilP, Predicate |
| PresentT | UtilP, Predicate |
| prettyOrd | UtilP, Predicate |
| prettyRational | UtilP, Predicate |
| 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, Predicate |
| prtRefinedIO | Refined |
| prtRefinedT | Refined |
| prtRefinedTIO | Refined |
| prtTree | UtilP, Predicate |
| prtTreePure | UtilP, Predicate |
| prtTT | UtilP, Predicate |
| prtTT' | UtilP, Predicate |
| prtTTIO | UtilP, Predicate |
| pStrings | UtilP, Predicate |
| pu | PredicateCore, Predicate |
| Pure | Predicate |
| Pure2 | Predicate |
| Quot | Predicate |
| QuotRem | Predicate |
| r3In | Refined3 |
| r3Out | Refined3 |
| rapply | Refined |
| rapply0 | Refined |
| rapply1 | Refined |
| rapply3 | Refined3 |
| rapply3P | Refined3 |
| 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, Predicate |
| Repeat | Predicate |
| RepeatT | UtilP, Predicate |
| 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, Predicate |
| reverseTupleC | UtilP, Predicate |
| ReverseTupleN | Predicate |
| ReverseTupleP | UtilP, Predicate |
| RF | Refined3 |
| Right | Predicate |
| Right' | Predicate |
| RightDef | Predicate |
| RightFail | Predicate |
| RightP | Predicate |
| RightToMaybe | Predicate |
| ROpt | UtilP, Predicate |
| RR | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| RR1 | UtilP, Predicate |
| RR2 | UtilP, Predicate |
| RR3 | UtilP, Predicate |
| RResults | Refined3 |
| RTF | Refined3 |
| RTFalse | Refined3 |
| RTTrueF | Refined3 |
| RTTrueT | Refined3 |
| runIO | UtilP, Predicate |
| runPQ | PredicateCore, Predicate |
| S | UtilP, Predicate |
| Same | Predicate |
| Sapa | Predicate |
| Sapa' | Predicate |
| Scanl | Predicate |
| ScanN | Predicate |
| ScanNA | Predicate |
| Second | Predicate |
| Sequence | Predicate |
| seta | UtilP, Predicate |
| setc | UtilP, Predicate |
| setc0 | UtilP, Predicate |
| setc1 | UtilP, Predicate |
| setc2 | UtilP, Predicate |
| setc3 | UtilP, Predicate |
| setc4 | UtilP, Predicate |
| setd | UtilP, Predicate |
| setu | UtilP, Predicate |
| shortTT | UtilP, Predicate |
| show0 | UtilP, Predicate |
| show3 | UtilP, Predicate |
| showA | UtilP, Predicate |
| showA' | UtilP, Predicate |
| ShowBase | Predicate |
| ShowBase' | Predicate |
| showBoolP | UtilP, Predicate |
| showImpl | UtilP, Predicate |
| showLit | UtilP, Predicate |
| showLit' | UtilP, Predicate |
| showLit0 | UtilP, Predicate |
| showLit3 | UtilP, Predicate |
| showNat | UtilP, Predicate |
| ShowP | Predicate |
| showT | UtilP, Predicate |
| showThese | UtilP, Predicate |
| showTProxy | UtilP, Predicate |
| Signum | Predicate |
| simpleAlign | Predicate |
| Singleton | Predicate |
| Skip | Predicate |
| Snd | Predicate |
| SortBy | Predicate |
| SortByHelper | Predicate |
| SortOn | Predicate |
| SortOnDesc | Predicate |
| Span | Predicate |
| splitAndAlign | UtilP, Predicate |
| 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, Predicate |
| Swap | Predicate |
| SwappedC | Predicate |
| swappedC | Predicate |
| symb | UtilP, Predicate |
| T | Predicate |
| Tail | Predicate |
| Tail' | Predicate |
| TailDef | Predicate |
| TailFail | Predicate |
| TailP | Predicate |
| Tails | Predicate |
| Take | Predicate |
| tBool | UtilP, Predicate |
| tForest | UtilP, Predicate |
| That' | Predicate |
| ThatDef | Predicate |
| ThatFail | Predicate |
| ThatP | Predicate |
| Thats | Predicate |
| ThatToMaybe | Predicate |
| Thd | 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 |
| ToList' | Predicate |
| ToListExt | Predicate |
| ToLower | Predicate |
| ToN | UtilP, Predicate |
| toNodeString | UtilP, Predicate |
| ToPara | Predicate |
| ToRational | Predicate |
| ToUpper | Predicate |
| Traverse | Predicate |
| Trim | Predicate |
| Trim' | Predicate |
| TrimEnd | Predicate |
| TrimStart | Predicate |
| TrueP | UtilP, Predicate |
| TrueT | UtilP, Predicate |
| Truncate | Predicate |
| Truncate' | Predicate |
| tStrings | UtilP, Predicate |
| TT | |
| 1 (Type/Class) | UtilP, Predicate |
| 2 (Data Constructor) | UtilP, Predicate |
| TupleI | Predicate |
| TupleLenT | UtilP, Predicate |
| TupleList | Predicate |
| TupleListD | UtilP, Predicate |
| tupleListD | UtilP, Predicate |
| TupleListImpl | Predicate |
| TupleListLax | Predicate |
| TupleListT | UtilP, Predicate |
| Uncons | Predicate |
| Unfoldr | Predicate |
| UnfoldT | Predicate |
| Ungreedy | UtilP, Predicate |
| unHolder | UtilP, Predicate |
| Unicode | UtilP, Predicate |
| unicode | UtilP, Predicate |
| UnMkDay | Predicate |
| unPColor | UtilP, Predicate |
| 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, Predicate |
| valsFromTTs | UtilP, Predicate |
| W | PredicateCore, 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, Predicate |
| Zip | Predicate |
| Ziplc | Predicate |
| Zipn | Predicate |
| Ziprc | Predicate |
| ZipThese | Predicate |
| _boolT | UtilP, Predicate |
| _FailT | UtilP, Predicate |
| _FalseT | UtilP, Predicate |
| _MX | Predicate |
| _pBool | UtilP, Predicate |
| _PresentT | UtilP, Predicate |
| _pStrings | UtilP, Predicate |
| _tBool | UtilP, Predicate |
| _tForest | UtilP, Predicate |
| _TrueT | UtilP, Predicate |
| _tStrings | UtilP, Predicate |
| |> | Predicate |
| || | Predicate |
| ||| | Predicate |
| ~> | Predicate |