Language.PureScript.Names

Data types for names

Documentation

data Name

A sum of the possible name types, useful for error and lint messages.

Constructors

IdentName Ident

ValOpName (OpName ValueOpName)

TyName (ProperName TypeName)

TyOpName (OpName TypeOpName)

DctorName (ProperName ConstructorName)

TyClassName (ProperName ClassName)

ModName ModuleName

KiName (ProperName KindName)

Instances

Eq Name

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Ord Name

Methods

compare :: Name -> Name -> Ordering

(<) :: Name -> Name -> Bool

(<=) :: Name -> Name -> Bool

(>) :: Name -> Name -> Bool

(>=) :: Name -> Name -> Bool

max :: Name -> Name -> Name

min :: Name -> Name -> Name

Show Name

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

getIdentName :: Name -> Maybe Ident

getValOpName :: Name -> Maybe (OpName ValueOpName)

getTypeName :: Name -> Maybe (ProperName TypeName)

getTypeOpName :: Name -> Maybe (OpName TypeOpName)

getDctorName :: Name -> Maybe (ProperName ConstructorName)

getClassName :: Name -> Maybe (ProperName ClassName)

getModName :: Name -> Maybe ModuleName

data Ident

Names for value identifiers

Constructors

Ident Text

An alphanumeric identifier

GenIdent (Maybe Text) Integer

A generated name for an identifier

Instances

Eq Ident

Methods

(==) :: Ident -> Ident -> Bool

(/=) :: Ident -> Ident -> Bool

Ord Ident

Methods

compare :: Ident -> Ident -> Ordering

(<) :: Ident -> Ident -> Bool

(<=) :: Ident -> Ident -> Bool

(>) :: Ident -> Ident -> Bool

(>=) :: Ident -> Ident -> Bool

max :: Ident -> Ident -> Ident

min :: Ident -> Ident -> Ident

Show Ident

Methods

showsPrec :: Int -> Ident -> ShowS

show :: Ident -> String

showList :: [Ident] -> ShowS

ToJSON Ident

Methods

toJSON :: Ident -> Value

toEncoding :: Ident -> Encoding

toJSONList :: [Ident] -> Value

toEncodingList :: [Ident] -> Encoding

FromJSON Ident

Methods

parseJSON :: Value -> Parser Ident

parseJSONList :: Value -> Parser [Ident]

runIdent :: Ident -> Text

showIdent :: Ident -> Text

freshIdent :: MonadSupply m => Text -> m Ident

freshIdent' :: MonadSupply m => m Ident

newtype OpName a

Operator alias names.

Constructors

OpName

Fields

• runOpName :: Text

Instances

Eq (OpName a)

Methods

(==) :: OpName a -> OpName a -> Bool

(/=) :: OpName a -> OpName a -> Bool

Ord (OpName a)

Methods

compare :: OpName a -> OpName a -> Ordering

(<) :: OpName a -> OpName a -> Bool

(<=) :: OpName a -> OpName a -> Bool

(>) :: OpName a -> OpName a -> Bool

(>=) :: OpName a -> OpName a -> Bool

max :: OpName a -> OpName a -> OpName a

min :: OpName a -> OpName a -> OpName a

Show (OpName a)

Methods

showsPrec :: Int -> OpName a -> ShowS

show :: OpName a -> String

showList :: [OpName a] -> ShowS

ToJSON (OpName a)

Methods

toJSON :: OpName a -> Value

toEncoding :: OpName a -> Encoding

toJSONList :: [OpName a] -> Value

toEncodingList :: [OpName a] -> Encoding

FromJSON (OpName a)

Methods

parseJSON :: Value -> Parser (OpName a)

parseJSONList :: Value -> Parser [OpName a]

showOp :: OpName a -> Text

data OpNameType

The closed set of operator alias types.

Constructors

ValueOpName

TypeOpName

newtype ProperName a

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

Constructors

ProperName

Fields

• runProperName :: Text

Instances

Eq (ProperName a)

Methods

(==) :: ProperName a -> ProperName a -> Bool

(/=) :: ProperName a -> ProperName a -> Bool

Ord (ProperName a)

Methods

compare :: ProperName a -> ProperName a -> Ordering

(<) :: ProperName a -> ProperName a -> Bool

(<=) :: ProperName a -> ProperName a -> Bool

(>) :: ProperName a -> ProperName a -> Bool

(>=) :: ProperName a -> ProperName a -> Bool

max :: ProperName a -> ProperName a -> ProperName a

min :: ProperName a -> ProperName a -> ProperName a

Show (ProperName a)

Methods

showsPrec :: Int -> ProperName a -> ShowS

show :: ProperName a -> String

showList :: [ProperName a] -> ShowS

ToJSON (ProperName a)

Methods

toJSON :: ProperName a -> Value

toEncoding :: ProperName a -> Encoding

toJSONList :: [ProperName a] -> Value

toEncodingList :: [ProperName a] -> Encoding

FromJSON (ProperName a)

Methods

parseJSON :: Value -> Parser (ProperName a)

parseJSONList :: Value -> Parser [ProperName a]

data ProperNameType

The closed set of proper name types.

Constructors

TypeName

ConstructorName

ClassName

KindName

Namespace

coerceProperName :: ProperName a -> ProperName b

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

Module names

Constructors

ModuleName [ProperName Namespace]

Instances

Eq ModuleName

Methods

(==) :: ModuleName -> ModuleName -> Bool

(/=) :: ModuleName -> ModuleName -> Bool

Ord ModuleName

Methods

compare :: ModuleName -> ModuleName -> Ordering

(<) :: ModuleName -> ModuleName -> Bool

(<=) :: ModuleName -> ModuleName -> Bool

(>) :: ModuleName -> ModuleName -> Bool

(>=) :: ModuleName -> ModuleName -> Bool

max :: ModuleName -> ModuleName -> ModuleName

min :: ModuleName -> ModuleName -> ModuleName

Show ModuleName

Methods

showsPrec :: Int -> ModuleName -> ShowS

show :: ModuleName -> String

showList :: [ModuleName] -> ShowS

ToJSON ModuleName

Methods

toJSON :: ModuleName -> Value

toEncoding :: ModuleName -> Encoding

toJSONList :: [ModuleName] -> Value

toEncodingList :: [ModuleName] -> Encoding

FromJSON ModuleName

Methods

parseJSON :: Value -> Parser ModuleName

parseJSONList :: Value -> Parser [ModuleName]

runModuleName :: ModuleName -> Text

moduleNameFromString :: Text -> ModuleName

data Qualified a

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

Constructors

Qualified (Maybe ModuleName) a

Instances

Functor Qualified

Methods

fmap :: (a -> b) -> Qualified a -> Qualified b

(<$) :: a -> Qualified b -> Qualified a

Eq a => Eq (Qualified a)

Methods

(==) :: Qualified a -> Qualified a -> Bool

(/=) :: Qualified a -> Qualified a -> Bool

Ord a => Ord (Qualified a)

Methods

compare :: Qualified a -> Qualified a -> Ordering

(<) :: Qualified a -> Qualified a -> Bool

(<=) :: Qualified a -> Qualified a -> Bool

(>) :: Qualified a -> Qualified a -> Bool

(>=) :: Qualified a -> Qualified a -> Bool

max :: Qualified a -> Qualified a -> Qualified a

min :: Qualified a -> Qualified a -> Qualified a

Show a => Show (Qualified a)

Methods

showsPrec :: Int -> Qualified a -> ShowS

show :: Qualified a -> String

showList :: [Qualified a] -> ShowS

ToJSON a0 => ToJSON (Qualified a0)

Methods

toJSON :: Qualified a0 -> Value

toEncoding :: Qualified a0 -> Encoding

toJSONList :: [Qualified a0] -> Value

toEncodingList :: [Qualified a0] -> Encoding

FromJSON a0 => FromJSON (Qualified a0)

Methods

parseJSON :: Value -> Parser (Qualified a0)

parseJSONList :: Value -> Parser [Qualified a0]

showQualified :: (a -> Text) -> Qualified a -> Text

getQual :: Qualified a -> Maybe ModuleName

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

Provide a default module name, if a name is unqualified

mkQualified :: a -> ModuleName -> Qualified a

Makes a qualified value from a name and module name.

disqualify :: Qualified a -> a

Remove the module name from a qualified name

disqualifyFor :: Maybe ModuleName -> Qualified a -> Maybe a

Remove the qualification from a value when it is qualified with a particular module name.

isQualified :: Qualified a -> Bool

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

isUnqualified :: Qualified a -> Bool

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

isQualifiedWith :: ModuleName -> Qualified a -> Bool

Checks whether a qualified value is qualified with a particular module