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

Safe HaskellSafe-Infered

Agda.Utils.Suffix

Documentation

data Suffix Source

Constructors

NoSuffix 
Prime Int 
Index Int 

nextSuffix :: Suffix -> SuffixSource

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

addSuffix :: String -> Suffix -> StringSource