| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
DDC.Base.Name
- class StringName n where
- stringName :: n -> String
- class CompoundName n where
- extendName :: n -> String -> n
- splitName :: n -> Maybe (n, String)
Documentation
class StringName n where Source
Methods
stringName :: n -> String Source
Produce a flat string from a name. The resulting string should be re-lexable as a bindable name.
class CompoundName n where Source
Compound names can be extended to create new names. This is useful when generating fresh names during program transformation.