Curry.Syntax.Type
data Module a
data ModulePragma
data Extension
data KnownExtension
data Tool
data ExportSpec
data Export
data ImportDecl
data ImportSpec
data Import
type Qualified
data Interface
data IImportDecl
type Arity
data IDecl
data KindExpr
data IMethodDecl
type IMethodImpl
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 Context
data Constraint
type InstanceType
data Goal a