Safe Haskell	None
Language	Haskell98

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
GenIdent (Maybe String) Integer	A generated name for an identifier

Instances

Eq Ident Source
Ord Ident Source
Read Ident Source
Show Ident Source
ToJSON Ident Source
FromJSON Ident Source

runIdent :: Ident -> String Source

showIdent :: Ident -> String Source

freshIdent :: MonadSupply m => String -> m Ident Source

freshIdent' :: MonadSupply m => m Ident Source

newtype ProperName a Source

Proper names, i.e. capitalized names for e.g. module names, type//data constructors.

Constructors

ProperName
Fields runProperName :: String

Instances

Eq (ProperName a) Source
Ord (ProperName a) Source
Read (ProperName a) Source
Show (ProperName a) Source
ToJSON (ProperName a) Source
FromJSON (ProperName a) Source

data ProperNameType Source

The closed set of proper name types.

Constructors

TypeName
ConstructorName
ClassName
Namespace

coerceProperName :: ProperName a -> ProperName b Source

Coerces a ProperName from one ProperNameType to another. This should be used with care, and is primarily used to convert ClassNames into TypeNames after classes have been desugared.

newtype ModuleName Source

Module names

Constructors

ModuleName [ProperName Namespace]

Instances

Eq ModuleName Source
Ord ModuleName Source
Read ModuleName Source
Show ModuleName Source
ToJSON ModuleName Source
FromJSON ModuleName Source

runModuleName :: ModuleName -> String Source

moduleNameFromString :: String -> ModuleName Source

data Qualified a Source

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

Constructors

Qualified (Maybe ModuleName) a

Instances

Functor Qualified Source
Eq a => Eq (Qualified a) Source
Ord a => Ord (Qualified a) Source
Read a => Read (Qualified a) Source
Show a => Show (Qualified a) Source
ToJSON a0 => ToJSON (Qualified a) Source
FromJSON a0 => FromJSON (Qualified a) Source

showQualified :: (a -> String) -> Qualified a -> String Source

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

Provide a default module name, if a name is unqualified

mkQualified :: a -> ModuleName -> Qualified a Source

Makes a qualified value from a name and module name.

disqualify :: Qualified a -> a Source

Remove the module name from a qualified name

isQualified :: Qualified a -> Bool Source

Checks whether a qualified value is actually qualified with a module reference

isUnqualified :: Qualified a -> Bool Source

Checks whether a qualified value is not actually qualified with a module reference

isQualifiedWith :: ModuleName -> Qualified a -> Bool Source

Checks whether a qualified value is qualified with a particular module