curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2001 - 2004 Wolfgang Lux
2011 Björn Peemöller
2015 Jan Tikovsky
2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Env.Value

Description

In order to test the type correctness of a module, the compiler needs to determine the type of every data constructor, function and variable in the module. For the purpose of type checking there is no need for distinguishing between variables and functions. For all objects their original names and their types are saved. In addition, the compiler also saves the (optional) list of field labels for data and newtype constructors. Data constructors and functions also contain arity information. On import two values are considered equal if their original names match.

Documentation

data ValueInfo Source #

Constructors

DataConstructor QualIdent Int [Ident] TypeScheme

Data constructor with original name, arity, list of record labels and type

NewtypeConstructor QualIdent Ident TypeScheme

Newtype constructor with original name, record label and type (arity is always 1)

Value QualIdent Bool Int TypeScheme

Value with original name, class method flag, arity and type

Label QualIdent [QualIdent] TypeScheme

Record label with original name, list of constructors for which label is valid field and type (arity is always 1)

Instances
Show ValueInfo Source # 
Instance details

Defined in Env.Value

Pretty ValueInfo Source # 
Instance details

Defined in Env.Value

Entity ValueInfo Source # 
Instance details

Defined in Env.Value

SubstType ValueInfo Source # 
Instance details

Defined in Base.TypeSubst

class ValueType t where Source #

Instances
ValueType PredType Source # 
Instance details

Defined in Env.Value

ValueType Type Source # 
Instance details

Defined in Env.Value