| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell98 |
Agda.Utils.Suffix
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.
nextSuffix :: Suffix -> Suffix Source
suffixView :: String -> (String, Suffix) Source