Agda-2.4.2: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Inferred

Agda.Utils.Suffix

Documentation

isSubscriptDigit :: Char -> BoolSource

toSubscriptDigit :: Char -> CharSource

fromSubscriptDigit :: Char -> CharSource

data Suffix Source

Constructors

NoSuffix 
Prime Int 
Index Int 
Subscript Int 

nextSuffix :: Suffix -> SuffixSource

suffixView :: String -> (String, Suffix)Source

addSuffix :: String -> Suffix -> StringSource