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