DDC.Data.Name

Documentation

class StringName n where

Minimal complete definition

stringName

Methods

stringName :: n -> String

Produce a flat string from a name. The resulting string should be re-lexable as a bindable name.

class CompoundName n where

Compound names can be extended to create new names. This is useful when generating fresh names during program transformation.

Minimal complete definition

extendName, newVarName, splitName

Methods

extendName :: n -> String -> n

Build a new name based on the given one.

newVarName :: String -> n

Build a new name from the given string.

splitName :: n -> Maybe (n, String)

Split the extension string from a name.