curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats
Copyright(c) 2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

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 #

Instances

Instances details
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