| :=> | Refined.Extras.Polymorphism, Refined.Extras |
| All | Refined.Extras.Predicates.Foldable, Refined.Extras |
| Alpha | Refined.Extras.Predicates.Text, Refined.Extras |
| AlphaNum | Refined.Extras.Predicates.Text, Refined.Extras |
| Any | Refined.Extras.Predicates.Foldable, Refined.Extras |
| Ascii | Refined.Extras.Predicates.Text, Refined.Extras |
| AsciiAlpha | Refined.Extras.Predicates.Text, Refined.Extras |
| AsciiAlphaNum | Refined.Extras.Predicates.Text, Refined.Extras |
| AsciiLower | Refined.Extras.Predicates.Text, Refined.Extras |
| AsciiUpper | Refined.Extras.Predicates.Text, Refined.Extras |
| Calculus | Refined.Extras.Polymorphism.Internal.Terms |
| CAnd | Refined.Extras.Polymorphism.Internal.Terms |
| CAtom | Refined.Extras.Polymorphism.Internal.Terms |
| CNot | Refined.Extras.Polymorphism.Internal.Terms |
| Control | Refined.Extras.Predicates.Text, Refined.Extras |
| COr | Refined.Extras.Polymorphism.Internal.Terms |
| CXor | Refined.Extras.Polymorphism.Internal.Terms |
| Digit | Refined.Extras.Predicates.Text, Refined.Extras |
| ErrIfFalse | Refined.Extras.Polymorphism, Refined.Extras |
| HexDigit | Refined.Extras.Predicates.Text, Refined.Extras |
| Implies | Refined.Extras.Polymorphism, Refined.Extras |
| ImpliesBool | Refined.Extras.Polymorphism, Refined.Extras |
| impliesBool | Refined.Extras.Polymorphism.Internal.Terms |
| ImpliesCNF | Refined.Extras.Polymorphism.Internal |
| ImpliesCNFHelper | Refined.Extras.Polymorphism.Internal |
| IsCNF | Refined.Extras.Polymorphism.Internal |
| isCNF | Refined.Extras.Polymorphism.Internal.Terms |
| Latin1 | Refined.Extras.Predicates.Text, Refined.Extras |
| Letter | Refined.Extras.Predicates.Text, Refined.Extras |
| Lower | Refined.Extras.Predicates.Text, Refined.Extras |
| Mark | Refined.Extras.Predicates.Text, Refined.Extras |
| MkRefined | Refined.Extras.Utils, Refined.Extras |
| None | Refined.Extras.Predicates.Foldable, Refined.Extras |
| Number | Refined.Extras.Predicates.Text, Refined.Extras |
| OctDigit | Refined.Extras.Predicates.Text, Refined.Extras |
| PredNotFound | Refined.Extras.Polymorphism, Refined.Extras |
| PropEquals | Refined.Extras.Polymorphism.Internal |
| Punctuation | Refined.Extras.Predicates.Text, Refined.Extras |
| Reduce | Refined.Extras.Polymorphism.Internal |
| refineExceptionToType | Refined.Extras.Utils, Refined.Extras |
| Separator | Refined.Extras.Predicates.Text, Refined.Extras |
| showRefineException | Refined.Extras.Utils, Refined.Extras |
| showtRefineException | Refined.Extras.Utils, Refined.Extras |
| Space | Refined.Extras.Predicates.Text, Refined.Extras |
| Symbol | Refined.Extras.Predicates.Text, Refined.Extras |
| SymEqualTo | Refined.Extras.Predicates.Text, Refined.Extras |
| ToCNF | Refined.Extras.Polymorphism.Internal |
| toCNF | Refined.Extras.Polymorphism.Internal.Terms |
| ToCNFHelper | Refined.Extras.Polymorphism.Internal |
| unsafeLiftR | Refined.Extras.Unsafe, Refined.Extras |
| unsafeLiftR2 | Refined.Extras.Unsafe, Refined.Extras |
| unsafeLiftR3 | Refined.Extras.Unsafe, Refined.Extras |
| Upper | Refined.Extras.Predicates.Text, Refined.Extras |