Language.PureScript.Names

Documentation

data Ident

Constructors

Ident String

Op String

Instances

Eq Ident

Data Ident

Ord Ident

Show Ident

Typeable * Ident

MonadState [Ident] Gen

newtype ProperName

Constructors

ProperName

Fields

runProperName :: String

Instances

Eq ProperName

Data ProperName

Ord ProperName

Show ProperName

Typeable * ProperName

data ModuleName

Constructors

ModuleName ProperName

Instances

Eq ModuleName

Data ModuleName

Ord ModuleName

Show ModuleName

Typeable * ModuleName

data Qualified a

Constructors

Qualified (Maybe ModuleName) a

Instances

Eq a => Eq (Qualified a)

Data a => Data (Qualified a)

Ord a => Ord (Qualified a)

Show a => Show (Qualified a)

Typeable (* -> *) Qualified

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