purescript-0.5.7: PureScript Programming Language Compiler

Safe HaskellSafe-Inferred

Language.PureScript.Names

Description

Data types for names

Synopsis

Documentation

data Ident Source

Names for value identifiers

Constructors

Ident String

An alphanumeric identifier

Op String

A symbolic name for an infix operator

Instances

Eq Ident 
Data Ident 
Ord Ident 
Show Ident 
Typeable Ident 

runIdent :: Ident -> StringSource

newtype ProperName Source

Proper names, i.e. capitalized names for e.g. module names, typedata constructors.

Constructors

ProperName 

Fields

runProperName :: String
 

Instances

Eq ProperName 
Data ProperName 
Ord ProperName 
Show ProperName 
Typeable ProperName 

data ModuleName Source

Module names

Constructors

ModuleName [ProperName] 

Instances

Eq ModuleName 
Data ModuleName 
Ord ModuleName 
Show ModuleName 
Typeable ModuleName 

runModuleName :: ModuleName -> StringSource

moduleNameFromString :: String -> ModuleNameSource

data Qualified a Source

A qualified name, i.e. a name with an optional module name

Constructors

Qualified (Maybe ModuleName) a 

Instances

Typeable1 Qualified 
Eq a => Eq (Qualified a) 
Data a => Data (Qualified a) 
Ord a => Ord (Qualified a) 
Show a => Show (Qualified a) 

qualify :: ModuleName -> Qualified a -> (ModuleName, a)Source

Provide a default module name, if a name is unqualified