Text.Regex.Parser

Definitions

data BadRegex : Type

Totality: total
Visibility: public export
Constructor: 

RegexIsBad : Nat -> String -> BadRegex

matchesBracket : Char -> BracketChars -> Bool

Totality: total
Visibility: public export

bracketMatcher : Regex rx => Foldable f => Bool -> f BracketChars -> rx Char

Totality: total
Visibility: public export

baseNumDescr : Nat -> String

Totality: total
Visibility: public export

parseNat : (base : Nat) -> {auto 0 _ : So ((2 <= base) && Delay (base <= 36))} -> {default 0 _ : Nat} -> Lazy Nat -> List Char -> Either BadRegex Nat

Totality: total
Visibility: public export

parseCharsSet : Lazy Nat -> Lazy Nat -> Bool -> SnocList BracketChars -> List Char -> Either BadRegex (List Char, List BracketChars)

Totality: total
Visibility: public export