Copyright	(c) 2016 Finn Teegen
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell2010

Env.Type

Description

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 Source #

Constructors

Data QualIdent [Ident]
Alias QualIdent
Class QualIdent [Ident]

Instances

Eq TypeKind Source #
Instance details Defined in Env.Type Methods (==) :: TypeKind -> TypeKind -> Bool # (/=) :: TypeKind -> TypeKind -> Bool #
Show TypeKind Source #
Instance details Defined in Env.Type Methods showsPrec :: Int -> TypeKind -> ShowS # show :: TypeKind -> String # showList :: [TypeKind] -> ShowS #
Entity TypeKind Source #
Instance details Defined in Env.Type Methods origName :: TypeKind -> QualIdent Source # merge :: TypeKind -> TypeKind -> Maybe TypeKind Source #

toTypeKind :: TypeInfo -> TypeKind Source #

type TypeEnv = TopEnv TypeKind Source #

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

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

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