Safe Haskell | Safe-Inferred |
---|
Language.PureScript.Names
Description
Data types for names
- data Ident
- runIdent :: Ident -> String
- newtype ProperName = ProperName {}
- data ModuleName = ModuleName [ProperName]
- runModuleName :: ModuleName -> String
- moduleNameFromString :: String -> ModuleName
- 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.
Constructors
ProperName | |
Fields |
Instances
A qualified name, i.e. a name with an optional module name
Constructors
Qualified (Maybe ModuleName) a |
qualify :: ModuleName -> Qualified a -> (ModuleName, a)Source
Provide a default module name, if a name is unqualified