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