Module Curry.Types

Summary of exported operations:

Exported datatypes:


Module

Constructors:


ModulePragma

Constructors:


ExportSpec

Constructors:


Export

Constructors:


ImportDecl

Constructors:


Qualified

Type synonym: Qualified = Bool


ImportSpec

Constructors:


Import

Constructors:


Decl

Constructors:


Precedence

Type synonym: Precedence = Int


Infix

Constructors:

  • InfixL :: Infix
  • InfixR :: Infix
  • Infix :: Infix

ConstrDecl

Constructors:


NewConstrDecl

Constructors:


FieldDecl

Constructors:


TypeExpr

Constructors:


QualTypeExpr

Constructors:


Context

Type synonym: Context = [Constraint]


Constraint

Constructors:


InstanceType

Type synonym: InstanceType = TypeExpr


Equation

Constructors:


Lhs

Constructors:


Rhs

Constructors:


CondExpr

Constructors:


Literal

Constructors:

  • Char :: Char -> Literal
  • Int :: Int -> Literal
  • Float :: Float -> Literal
  • String :: String -> Literal

Pattern

Constructors:


Expression

Constructors:


InfixOp

Constructors:


Statement

Constructors:


CaseType

Constructors:

  • Rigid :: CaseType
  • Flex :: CaseType

Alt

Constructors:


Field

Constructors:


Var

Constructors:

  • Var :: a -> Ident -> Var a

Extension

Constructors:


KnownExtension

Constructors:

  • AnonFreeVars :: KnownExtension
  • CPP :: KnownExtension
  • ExistentialQuantification :: KnownExtension
  • FunctionalPatterns :: KnownExtension
  • NegativeLiterals :: KnownExtension
  • NoImplicitPrelude :: KnownExtension

Tool

Constructors:

  • KICS2 :: Tool
  • PAKCS :: Tool
  • CYMAKE :: Tool
  • FRONTEND :: Tool
  • UnknownTool :: String -> Tool

Exported operations: