Agda.Utils.Suffix

Documentation

isSubscriptDigit :: Char -> Bool

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

toSubscriptDigit :: Char -> Char

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

Precondition: The digit needs to be in range.

fromSubscriptDigit :: Char -> Char

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

Precondition: The digit needs to be in range.

data Suffix

Classification of identifier variants.

Constructors

Prime Integer

Identifier ends in Integer many primes.

Index Integer

Identifier ends in number Integer (ordinary digits).

Subscript Integer

Identifier ends in number Integer (subscript digits).

nextSuffix :: Suffix -> Suffix

Increase the suffix by one.

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

Parse suffix.

renderSuffix :: Suffix -> String

Print suffix.

addSuffix :: String -> Suffix -> String