Curry.Syntax.Type

Module header

data Module a

Module pragmas

data ModulePragma

data Extension

data KnownExtension

data Tool

Export specification

data ExportSpec

data Export

Import declarations

data ImportDecl

data ImportSpec

data Import

type Qualified

Interface

data Interface

data IImportDecl

type Arity

data IDecl

data KindExpr

data IMethodDecl

type IMethodImpl

Declarations

data Decl a

type Precedence

data Infix

data ConstrDecl

data NewConstrDecl

data FieldDecl

data CallConv

data TypeExpr

data QualTypeExpr

data Equation a

data Lhs a

data Rhs a

data CondExpr a

data Literal

data Pattern a

data Expression a

data InfixOp a

data Statement a

data CaseType

data Alt a

data Field a

data Var a

Type classes

type Context

data Constraint

type InstanceType

Goals

data Goal a