Safe Haskell | Safe-Inferred |
---|
Data types for names
- data Ident
- newtype ProperName = ProperName {}
- data ModuleName = ModuleName ProperName
- data Qualified a = Qualified (Maybe ModuleName) a
- qualify :: ModuleName -> Qualified a -> (ModuleName, a)
Documentation
Names for value identifiers
newtype ProperName Source
Proper names, i.e. capitalized names for e.g. module names, typedata constructors.
data ModuleName Source
Module names
A qualified name, i.e. a name with an optional module name
Qualified (Maybe ModuleName) a |
qualify :: ModuleName -> Qualified a -> (ModuleName, a)Source
Provide a default module name, if a name is unqualified