Expand description
Refining with regular expressions.
Modules§
- matches
- Predicates based on regular expression matches.
- prelude
- The
refining-regexprelude. - types
- Type-level regular expressions.
Macros§
- type_
regex - Lifts strings to type-level regular expressions.