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

Constructors

NoSuffix

Prime Int

Index Int

Subscript Int

nextSuffix :: Suffix -> Suffix

suffixView :: String -> (String, Suffix)

addSuffix :: String -> Suffix -> String