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

Representation of Data Constructors

Representation of Quantification

Predefined types