| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Agda.Utils.Suffix
Synopsis
- isSubscriptDigit :: Char -> Bool
- toSubscriptDigit :: Char -> Char
- fromSubscriptDigit :: Char -> Char
- data Suffix
- nextSuffix :: Suffix -> Suffix
- suffixView :: String -> (String, Maybe Suffix)
- renderSuffix :: Suffix -> String
- addSuffix :: String -> Suffix -> String
Documentation
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.
renderSuffix :: Suffix -> String Source #
Print suffix.