curry-frontend-0.4.2: Lexer, parser, type checker, etc. for the Curry language

Copyright(c) 2002 - 2004 Wolfgang Lux
Martin Engelke
2015 Jan Tikovsky
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Base.Types

Contents

Description

This module modules provides the definitions for the internal representation of types in the compiler.

Synopsis

Representation of Types

typeConstrs :: Type -> [QualIdent] Source #

qualifyType :: ModuleIdent -> Type -> Type Source #

unqualifyType :: ModuleIdent -> Type -> Type Source #

Representation of Data Constructors

Representation of Quantification

Predefined types