Safe Haskell	None
Language	Haskell2010

Front.Identifiers

Description

Identifiers, associated metadata, and reserved identifiers.

Synopsis

Documentation

Where an identifier comes from.

Constructors

User	User- and library-defined identifiers, e.g., `foo`.
Builtin	Builtin identifiers, e.g., `new` and `deref`.
Reserved	Unused, but user should not be able to define.

Instances details

Eq IdKind Source #
Instance details Defined in Front.Identifiers Methods (==) :: IdKind -> IdKind -> Bool # (/=) :: IdKind -> IdKind -> Bool #
Show IdKind Source #
Instance details Defined in Front.Identifiers Methods showsPrec :: Int -> IdKind -> ShowS # show :: IdKind -> String # showList :: [IdKind] -> ShowS #

Metadata associated with a data identifier.

Constructors

DataInfo
Fields dataKind :: IdKind

Instances details

Default DataInfo Source #
Instance details Defined in Front.Identifiers Methods def :: DataInfo Source #

Metadata associated with a type identifier.

Constructors

TypInfo
Fields typKind :: IdKind

Instances details

Default TypInfo Source #
Instance details Defined in Front.Identifiers Methods def :: TypInfo Source #

Map of builtin types.

Map of builtin data.