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

Agda.Utils.Suffix

Documentation

data Suffix Source

Constructors

NoSuffix
Prime Int
Index Int

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

addSuffix :: String -> Suffix -> String Source