ModuleAgda-2.7.0.1Haskell2010

Agda.Utils.Suffix

valueisSubscriptDigit :: Char -> Bool

Is the character one of the subscripts '₀'-'₉'?

valuetoSubscriptDigit :: Char -> Char

Converts '0'-'9' to '₀'-'₉'

Precondition: The digit needs to be in range.

valuefromSubscriptDigit :: Char -> Char

Converts '₀'-'₉' to '0'-'9'.

Precondition: The digit needs to be in range.

datadata Suffix

Classification of identifier variants.

valuenextSuffix :: Suffix -> Suffix

Increase the suffix by one.

valuesuffixView :: String -> (String, Maybe Suffix)

Parse suffix.

valuerenderSuffix :: Suffix -> String

Print suffix.

valueaddSuffix :: String -> Suffix -> String