Env.TypeConstructor

For all defined types the compiler must maintain kind information. For algebraic data types and renaming types the compiler also records all data constructors belonging to that type, for alias types the type expression to be expanded is saved. Futhermore, recording the arity is necessary for alias types because the right hand side, i.e., the type expression, can have arbitrary kind and therefore the type alias' arity cannot be determined from its own kind. For instance, the type alias type List = [] has the kind * -> *, but its arity is 0. In order to manage the import and export of types, the names of the original definitions are also recorded. On import two types are considered equal if their original names match.

The information for a data constructor comprises the number of existentially quantified type variables, the context and the list of the argument types. Note that renaming type constructors have only one type argument.

For type classes the all their methods are saved. Type classes are recorded in the type constructor environment because type constructors and type classes share a common name space.

For type variables only their kind is recorded in the environment.

Importing and exporting algebraic data types and renaming types is complicated by the fact that the constructors of the type may be (partially) hidden in the interface. This facilitates the definition of abstract data types. An abstract type is always represented as a data type without constructors in the interface regardless of whether it is defined as a data type or as a renaming type. When only some constructors of a data type are hidden, those constructors are replaced by underscores in the interface. Furthermore, if the right-most constructors of a data type are hidden, they are not exported at all in order to make the interface more stable against changes which are private to the module.

Documentation

data TypeInfo

Constructors

DataType QualIdent Kind [DataConstr]

RenamingType QualIdent Kind DataConstr

AliasType QualIdent Kind Int Type

TypeClass QualIdent Kind [ClassMethod]

TypeVar Kind

Instances

Show TypeInfo

Defined in Env.TypeConstructor

Methods

showsPrec :: Int -> TypeInfo -> ShowS

show :: TypeInfo -> String

showList :: [TypeInfo] -> ShowS

Pretty TypeInfo

Defined in Env.TypeConstructor

Methods

pPrint :: TypeInfo -> Doc

pPrintPrec :: Int -> TypeInfo -> Doc

pPrintList :: [TypeInfo] -> Doc

Entity TypeInfo

Defined in Env.TypeConstructor

Methods

origName :: TypeInfo -> QualIdent

merge :: TypeInfo -> TypeInfo -> Maybe TypeInfo

SubstKind TypeInfo

Defined in Base.KindSubst

Methods

subst :: KindSubst -> TypeInfo -> TypeInfo

tcKind :: ModuleIdent -> QualIdent -> TCEnv -> Kind

clsKind :: ModuleIdent -> QualIdent -> TCEnv -> Kind

varKind :: Ident -> TCEnv -> Kind

clsMethods :: ModuleIdent -> QualIdent -> TCEnv -> [Ident]

type TCEnv = TopEnv TypeInfo

initTCEnv :: TCEnv

bindTypeInfo :: ModuleIdent -> Ident -> TypeInfo -> TCEnv -> TCEnv

rebindTypeInfo :: ModuleIdent -> Ident -> TypeInfo -> TCEnv -> TCEnv

lookupTypeInfo :: Ident -> TCEnv -> [TypeInfo]

qualLookupTypeInfo :: QualIdent -> TCEnv -> [TypeInfo]

qualLookupTypeInfoUnique :: ModuleIdent -> QualIdent -> TCEnv -> [TypeInfo]

getOrigName :: ModuleIdent -> QualIdent -> TCEnv -> QualIdent

reverseLookupByOrigName :: QualIdent -> TCEnv -> [QualIdent]