Env.Type

At the type level, we distinguish data and renaming types, synonym types, and type classes. Type variables are not recorded. Type synonyms use a kind of their own so that the compiler can verify that no type synonyms are used in type expressions in interface files.

Documentation

data TypeKind

Constructors

Data QualIdent [Ident]

Alias QualIdent

Class QualIdent [Ident]

Instances

Eq TypeKind

Methods

(==) :: TypeKind -> TypeKind -> Bool

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

Show TypeKind

Methods

showsPrec :: Int -> TypeKind -> ShowS

show :: TypeKind -> String

showList :: [TypeKind] -> ShowS

Entity TypeKind

Methods

origName :: TypeKind -> QualIdent

merge :: TypeKind -> TypeKind -> Maybe TypeKind

toTypeKind :: TypeInfo -> TypeKind

type TypeEnv = TopEnv TypeKind

bindTypeKind :: ModuleIdent -> Ident -> TypeKind -> TypeEnv -> TypeEnv

lookupTypeKind :: Ident -> TypeEnv -> [TypeKind]

qualLookupTypeKind :: QualIdent -> TypeEnv -> [TypeKind]