Language.PureScript.Names

Data types for names

Documentation

data Ident

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 -> String

newtype ProperName

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

Module names

Constructors

ModuleName [ProperName]

Instances

Eq ModuleName

Data ModuleName

Ord ModuleName

Show ModuleName

Typeable ModuleName

runModuleName :: ModuleName -> String

moduleNameFromString :: String -> ModuleName

data Qualified a

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)

Provide a default module name, if a name is unqualified