Agda.Utils.Suffix

Documentation

subscriptAllowed :: UnicodeOrAscii

Are we allowed to use unicode supscript characters?

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

NoSuffix

Prime Int

Identifier ends in Int many primes.

Index Int

Identifier ends in number Int (ordinary digits).

Subscript Int

Identifier ends in number Int (subscript digits).

nextSuffix :: Suffix -> Suffix

Increase the suffix by one. If no suffix yet, put a subscript 1 unless users do not want us to use any unicode.

suffixView :: String -> (String, Suffix)

Parse suffix.

addSuffix :: String -> Suffix -> String

Print suffix.