Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Utils.Suffix
Documentation
data Suffix Source
Constructors
NoSuffix
Prime Int
Index Int
suffixView :: String -> (String, Suffix)Source
addSuffix :: String -> Suffix -> StringSource
Produced by Haddock version 2.6.1