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

Copyright(c) 2002 - 2004 Wolfgang Lux
Martin Engelke
2015 Jan Tikovsky
2016 Finn Teegen
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 along with some helper functions.

Synopsis

Representation of types

Representation of predicate, predicate sets and predicated types

data Pred Source #

Constructors

Pred QualIdent Type 

Instances

Representation of data constructors

Representation of class methods

Representation of quantification

Predefined types