| 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
- nameVariant :: (String -> Bool) -> String -> String
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 '₀'-'₉' unless the user doesn't want us
to use unicode characters
Precondition: The digit needs to be in range.
fromSubscriptDigit :: Char -> Char #
Converts '₀'-'₉' to '0'-'9'.
Precondition: The digit needs to be in range.
Classification of identifier variants.
nextSuffix :: Suffix -> Suffix #
Increase the suffix by one. If no suffix yet, put a subscript 1.
suffixView :: String -> (String, Suffix) #
Parse suffix.