Safe Haskell	None
Language	Haskell2010

Mikan.Utils.Suffix

Synopsis

data Suffix
- = Prime Int
- | Index Integer
- | Subscript Integer
nextSuffix :: Suffix -> Suffix
suffixView :: ShortText -> (ShortText, Maybe Suffix)
addSuffix :: ShortText -> Suffix -> ShortText

Documentation

data Suffix Source #

Classification of identifier variants.

Constructors

Prime Int	Identifier ends in `Int` many primes.
Index Integer	Identifier ends in `Natural` (ordinary digits).
Subscript Integer	Identifier ends in number `Natural` (subscript digits).

Instances

Instances details

Show Suffix Source #
Instance details Defined in Mikan.Utils.Suffix Methods showsPrec :: Int -> Suffix -> ShowS # show :: Suffix -> String # showList :: [Suffix] -> ShowS #

nextSuffix :: Suffix -> Suffix Source #

Increase the suffix by one.

suffixView :: ShortText -> (ShortText, Maybe Suffix) Source #

Parse a suffix.

addSuffix :: ShortText -> Suffix -> ShortText Source #

Add a suffix onto the end of some ShortText.

Performance

Expand

This function is actually quite hot, as it gets invoked on every name during during goal display. As such, it has been optimized to avoid intermediate allocations as much as possible.