| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Agda.Utils.Suffix
Synopsis
- subscriptAllowed :: UnicodeOrAscii
- isSubscriptDigit :: Char -> Bool
- toSubscriptDigit :: Char -> Char
- fromSubscriptDigit :: Char -> Char
- data Suffix
- nextSuffix :: Suffix -> Suffix
- suffixView :: String -> (String, Suffix)
- addSuffix :: String -> Suffix -> String
Documentation
subscriptAllowed :: UnicodeOrAscii Source #
Are we allowed to use unicode supscript characters?
isSubscriptDigit :: Char -> Bool Source #
Is the character one of the subscripts '₀'-'₉'?
toSubscriptDigit :: Char -> Char Source #
Converts '0'-'9' to '₀'-'₉'
Precondition: The digit needs to be in range.
fromSubscriptDigit :: Char -> Char Source #
Converts '₀'-'₉' to '0'-'9'.
Precondition: The digit needs to be in range.
Classification of identifier variants.
nextSuffix :: Suffix -> Suffix Source #
Increase the suffix by one. If no suffix yet, put a subscript 1
unless users do not want us to use any unicode.