Curry.Syntax.Type

This module provides the necessary data structures to maintain the parsed representation of a Curry program.

Module header

data Module a

Curry module

Constructors

Module [ModulePragma] ModuleIdent (Maybe ExportSpec) [ImportDecl] [Decl a]

Instances

Functor Module

Methods

fmap :: (a -> b) -> Module a -> Module b

(<$) :: a -> Module b -> Module a

Eq a => Eq (Module a)

Methods

(==) :: Module a -> Module a -> Bool

(/=) :: Module a -> Module a -> Bool

Read a => Read (Module a)

Methods

readsPrec :: Int -> ReadS (Module a)

readList :: ReadS [Module a]

readPrec :: ReadPrec (Module a)

readListPrec :: ReadPrec [Module a]

Show a => Show (Module a)

Methods

showsPrec :: Int -> Module a -> ShowS

show :: Module a -> String

showList :: [Module a] -> ShowS

Module pragmas

data ModulePragma

Module pragma

Constructors

LanguagePragma Position [Extension]

language pragma

OptionsPragma Position (Maybe Tool) String

options pragma

Instances

Eq ModulePragma

Methods

(==) :: ModulePragma -> ModulePragma -> Bool

(/=) :: ModulePragma -> ModulePragma -> Bool

Read ModulePragma

Methods

readsPrec :: Int -> ReadS ModulePragma

readList :: ReadS [ModulePragma]

readPrec :: ReadPrec ModulePragma

readListPrec :: ReadPrec [ModulePragma]

Show ModulePragma

Methods

showsPrec :: Int -> ModulePragma -> ShowS

show :: ModulePragma -> String

showList :: [ModulePragma] -> ShowS

data Extension

Specified language extensions, either known or unknown.

Constructors

KnownExtension Position KnownExtension

a known extension

UnknownExtension Position String

an unknown extension

Instances

Eq Extension

Methods

(==) :: Extension -> Extension -> Bool

(/=) :: Extension -> Extension -> Bool

Read Extension

Methods

readsPrec :: Int -> ReadS Extension

readList :: ReadS [Extension]

readPrec :: ReadPrec Extension

readListPrec :: ReadPrec [Extension]

Show Extension

Methods

showsPrec :: Int -> Extension -> ShowS

show :: Extension -> String

showList :: [Extension] -> ShowS

HasPosition Extension

Methods

getPosition :: Extension -> Position

setPosition :: Position -> Extension -> Extension

data KnownExtension

Known language extensions of Curry.

Constructors

AnonFreeVars

anonymous free variables

CPP

C preprocessor

ExistentialQuantification

existential quantification

FunctionalPatterns

functional patterns

NegativeLiterals

negative literals

NoImplicitPrelude

no implicit import of the prelude

Instances

Bounded KnownExtension

Methods

minBound :: KnownExtension

maxBound :: KnownExtension

Enum KnownExtension

Methods

succ :: KnownExtension -> KnownExtension

pred :: KnownExtension -> KnownExtension

toEnum :: Int -> KnownExtension

fromEnum :: KnownExtension -> Int

enumFrom :: KnownExtension -> [KnownExtension]

enumFromThen :: KnownExtension -> KnownExtension -> [KnownExtension]

enumFromTo :: KnownExtension -> KnownExtension -> [KnownExtension]

enumFromThenTo :: KnownExtension -> KnownExtension -> KnownExtension -> [KnownExtension]

Eq KnownExtension

Methods

(==) :: KnownExtension -> KnownExtension -> Bool

(/=) :: KnownExtension -> KnownExtension -> Bool

Read KnownExtension

Methods

readsPrec :: Int -> ReadS KnownExtension

readList :: ReadS [KnownExtension]

readPrec :: ReadPrec KnownExtension

readListPrec :: ReadPrec [KnownExtension]

Show KnownExtension

Methods

showsPrec :: Int -> KnownExtension -> ShowS

show :: KnownExtension -> String

showList :: [KnownExtension] -> ShowS

data Tool

Different Curry tools which may accept compiler options.

Constructors

KICS2

PAKCS

CYMAKE

FRONTEND

UnknownTool String

Instances

Eq Tool

Methods

(==) :: Tool -> Tool -> Bool

(/=) :: Tool -> Tool -> Bool

Read Tool

Methods

readsPrec :: Int -> ReadS Tool

readList :: ReadS [Tool]

readPrec :: ReadPrec Tool

readListPrec :: ReadPrec [Tool]

Show Tool

Methods

showsPrec :: Int -> Tool -> ShowS

show :: Tool -> String

showList :: [Tool] -> ShowS

Export specification

data ExportSpec

Export specification

Constructors

Exporting Position [Export]

Instances

Eq ExportSpec

Methods

(==) :: ExportSpec -> ExportSpec -> Bool

(/=) :: ExportSpec -> ExportSpec -> Bool

Read ExportSpec

Methods

readsPrec :: Int -> ReadS ExportSpec

readList :: ReadS [ExportSpec]

readPrec :: ReadPrec ExportSpec

readListPrec :: ReadPrec [ExportSpec]

Show ExportSpec

Methods

showsPrec :: Int -> ExportSpec -> ShowS

show :: ExportSpec -> String

showList :: [ExportSpec] -> ShowS

data Export

Single exported entity

Constructors

Export QualIdent

ExportTypeWith QualIdent [Ident]

ExportTypeAll QualIdent

ExportModule ModuleIdent

Instances

Eq Export

Methods

(==) :: Export -> Export -> Bool

(/=) :: Export -> Export -> Bool

Read Export

Methods

readsPrec :: Int -> ReadS Export

readList :: ReadS [Export]

readPrec :: ReadPrec Export

readListPrec :: ReadPrec [Export]

Show Export

Methods

showsPrec :: Int -> Export -> ShowS

show :: Export -> String

showList :: [Export] -> ShowS

Import declarations

data ImportDecl

Import declaration

Constructors

ImportDecl Position ModuleIdent Qualified (Maybe ModuleIdent) (Maybe ImportSpec)

Instances

Eq ImportDecl

Methods

(==) :: ImportDecl -> ImportDecl -> Bool

(/=) :: ImportDecl -> ImportDecl -> Bool

Read ImportDecl

Methods

readsPrec :: Int -> ReadS ImportDecl

readList :: ReadS [ImportDecl]

readPrec :: ReadPrec ImportDecl

readListPrec :: ReadPrec [ImportDecl]

Show ImportDecl

Methods

showsPrec :: Int -> ImportDecl -> ShowS

show :: ImportDecl -> String

showList :: [ImportDecl] -> ShowS

data ImportSpec

Import specification

Constructors

Importing Position [Import]

Hiding Position [Import]

Instances

Eq ImportSpec

Methods

(==) :: ImportSpec -> ImportSpec -> Bool

(/=) :: ImportSpec -> ImportSpec -> Bool

Read ImportSpec

Methods

readsPrec :: Int -> ReadS ImportSpec

readList :: ReadS [ImportSpec]

readPrec :: ReadPrec ImportSpec

readListPrec :: ReadPrec [ImportSpec]

Show ImportSpec

Methods

showsPrec :: Int -> ImportSpec -> ShowS

show :: ImportSpec -> String

showList :: [ImportSpec] -> ShowS

data Import

Single imported entity

Constructors

Import Ident

ImportTypeWith Ident [Ident]

ImportTypeAll Ident

Instances

Eq Import

Methods

(==) :: Import -> Import -> Bool

(/=) :: Import -> Import -> Bool

Read Import

Methods

readsPrec :: Int -> ReadS Import

readList :: ReadS [Import]

readPrec :: ReadPrec Import

readListPrec :: ReadPrec [Import]

Show Import

Methods

showsPrec :: Int -> Import -> ShowS

show :: Import -> String

showList :: [Import] -> ShowS

type Qualified = Bool

Flag to signal qualified import

Interface

data Interface

Module interface

Interface declarations are restricted to type declarations and signatures. Note that an interface function declaration additionaly contains the function arity (= number of parameters) in order to generate correct FlatCurry function applications.

Constructors

Interface ModuleIdent [IImportDecl] [IDecl]

Instances

Eq Interface

Methods

(==) :: Interface -> Interface -> Bool

(/=) :: Interface -> Interface -> Bool

Read Interface

Methods

readsPrec :: Int -> ReadS Interface

readList :: ReadS [Interface]

readPrec :: ReadPrec Interface

readListPrec :: ReadPrec [Interface]

Show Interface

Methods

showsPrec :: Int -> Interface -> ShowS

show :: Interface -> String

showList :: [Interface] -> ShowS

data IImportDecl

Interface import declaration

Constructors

IImportDecl Position ModuleIdent

Instances

Eq IImportDecl

Methods

(==) :: IImportDecl -> IImportDecl -> Bool

(/=) :: IImportDecl -> IImportDecl -> Bool

Read IImportDecl

Methods

readsPrec :: Int -> ReadS IImportDecl

readList :: ReadS [IImportDecl]

readPrec :: ReadPrec IImportDecl

readListPrec :: ReadPrec [IImportDecl]

Show IImportDecl

Methods

showsPrec :: Int -> IImportDecl -> ShowS

show :: IImportDecl -> String

showList :: [IImportDecl] -> ShowS

type Arity = Int

Arity of a function

data IDecl

Interface declaration

Constructors

IInfixDecl Position Infix Precedence QualIdent

HidingDataDecl Position QualIdent (Maybe KindExpr) [Ident]

IDataDecl Position QualIdent (Maybe KindExpr) [Ident] [ConstrDecl] [Ident]

INewtypeDecl Position QualIdent (Maybe KindExpr) [Ident] NewConstrDecl [Ident]

ITypeDecl Position QualIdent (Maybe KindExpr) [Ident] TypeExpr

IFunctionDecl Position QualIdent (Maybe Ident) Arity QualTypeExpr

HidingClassDecl Position Context QualIdent (Maybe KindExpr) Ident

IClassDecl Position Context QualIdent (Maybe KindExpr) Ident [IMethodDecl] [Ident]

IInstanceDecl Position Context QualIdent InstanceType [IMethodImpl] (Maybe ModuleIdent)

Instances

Eq IDecl

Methods

(==) :: IDecl -> IDecl -> Bool

(/=) :: IDecl -> IDecl -> Bool

Read IDecl

Methods

readsPrec :: Int -> ReadS IDecl

readList :: ReadS [IDecl]

readPrec :: ReadPrec IDecl

readListPrec :: ReadPrec [IDecl]

Show IDecl

Methods

showsPrec :: Int -> IDecl -> ShowS

show :: IDecl -> String

showList :: [IDecl] -> ShowS

data KindExpr

Kind expressions

Constructors

Star

ArrowKind KindExpr KindExpr

Instances

Eq KindExpr

Methods

(==) :: KindExpr -> KindExpr -> Bool

(/=) :: KindExpr -> KindExpr -> Bool

Read KindExpr

Methods

readsPrec :: Int -> ReadS KindExpr

readList :: ReadS [KindExpr]

readPrec :: ReadPrec KindExpr

readListPrec :: ReadPrec [KindExpr]

Show KindExpr

Methods

showsPrec :: Int -> KindExpr -> ShowS

show :: KindExpr -> String

showList :: [KindExpr] -> ShowS

data IMethodDecl

Class methods

Constructors

IMethodDecl Position Ident (Maybe Arity) QualTypeExpr

Instances

Eq IMethodDecl

Methods

(==) :: IMethodDecl -> IMethodDecl -> Bool

(/=) :: IMethodDecl -> IMethodDecl -> Bool

Read IMethodDecl

Methods

readsPrec :: Int -> ReadS IMethodDecl

readList :: ReadS [IMethodDecl]

readPrec :: ReadPrec IMethodDecl

readListPrec :: ReadPrec [IMethodDecl]

Show IMethodDecl

Methods

showsPrec :: Int -> IMethodDecl -> ShowS

show :: IMethodDecl -> String

showList :: [IMethodDecl] -> ShowS

type IMethodImpl = (Ident, Arity)

Class method implementations

Declarations

data Decl a

Declaration in a module

Constructors

InfixDecl Position Infix (Maybe Precedence) [Ident]

DataDecl Position Ident [Ident] [ConstrDecl] [QualIdent]

ExternalDataDecl Position Ident [Ident]

NewtypeDecl Position Ident [Ident] NewConstrDecl [QualIdent]

TypeDecl Position Ident [Ident] TypeExpr

TypeSig Position [Ident] QualTypeExpr

FunctionDecl Position a Ident [Equation a]

ExternalDecl Position [Var a]

PatternDecl Position (Pattern a) (Rhs a)

FreeDecl Position [Var a]

DefaultDecl Position [TypeExpr]

ClassDecl Position Context Ident Ident [Decl a]

InstanceDecl Position Context QualIdent InstanceType [Decl a]

Instances

Functor Decl

Methods

fmap :: (a -> b) -> Decl a -> Decl b

(<$) :: a -> Decl b -> Decl a

Eq a => Eq (Decl a)

Methods

(==) :: Decl a -> Decl a -> Bool

(/=) :: Decl a -> Decl a -> Bool

Read a => Read (Decl a)

Methods

readsPrec :: Int -> ReadS (Decl a)

readList :: ReadS [Decl a]

readPrec :: ReadPrec (Decl a)

readListPrec :: ReadPrec [Decl a]

Show a => Show (Decl a)

Methods

showsPrec :: Int -> Decl a -> ShowS

show :: Decl a -> String

showList :: [Decl a] -> ShowS

type Precedence = Integer

Operator precedence

data Infix

Fixity of operators

Constructors

InfixL

left-associative

InfixR

right-associative

Infix

no associativity

Instances

Eq Infix

Methods

(==) :: Infix -> Infix -> Bool

(/=) :: Infix -> Infix -> Bool

Read Infix

Methods

readsPrec :: Int -> ReadS Infix

readList :: ReadS [Infix]

readPrec :: ReadPrec Infix

readListPrec :: ReadPrec [Infix]

Show Infix

Methods

showsPrec :: Int -> Infix -> ShowS

show :: Infix -> String

showList :: [Infix] -> ShowS

Pretty Infix

Methods

pPrint :: Infix -> Doc

pPrintPrec :: Int -> Infix -> Doc

pPrintList :: [Infix] -> Doc

data ConstrDecl

Constructor declaration for algebraic data types

Constructors

ConstrDecl Position [Ident] Context Ident [TypeExpr]

ConOpDecl Position [Ident] Context TypeExpr Ident TypeExpr

RecordDecl Position [Ident] Context Ident [FieldDecl]

Instances

Eq ConstrDecl

Methods

(==) :: ConstrDecl -> ConstrDecl -> Bool

(/=) :: ConstrDecl -> ConstrDecl -> Bool

Read ConstrDecl

Methods

readsPrec :: Int -> ReadS ConstrDecl

readList :: ReadS [ConstrDecl]

readPrec :: ReadPrec ConstrDecl

readListPrec :: ReadPrec [ConstrDecl]

Show ConstrDecl

Methods

showsPrec :: Int -> ConstrDecl -> ShowS

show :: ConstrDecl -> String

showList :: [ConstrDecl] -> ShowS

data NewConstrDecl

Constructor declaration for renaming types (newtypes)

Constructors

NewConstrDecl Position Ident TypeExpr

NewRecordDecl Position Ident (Ident, TypeExpr)

Instances

Eq NewConstrDecl

Methods

(==) :: NewConstrDecl -> NewConstrDecl -> Bool

(/=) :: NewConstrDecl -> NewConstrDecl -> Bool

Read NewConstrDecl

Methods

readsPrec :: Int -> ReadS NewConstrDecl

readList :: ReadS [NewConstrDecl]

readPrec :: ReadPrec NewConstrDecl

readListPrec :: ReadPrec [NewConstrDecl]

Show NewConstrDecl

Methods

showsPrec :: Int -> NewConstrDecl -> ShowS

show :: NewConstrDecl -> String

showList :: [NewConstrDecl] -> ShowS

data FieldDecl

Declaration for labelled fields

Constructors

FieldDecl Position [Ident] TypeExpr

Instances

Eq FieldDecl

Methods

(==) :: FieldDecl -> FieldDecl -> Bool

(/=) :: FieldDecl -> FieldDecl -> Bool

Read FieldDecl

Methods

readsPrec :: Int -> ReadS FieldDecl

readList :: ReadS [FieldDecl]

readPrec :: ReadPrec FieldDecl

readListPrec :: ReadPrec [FieldDecl]

Show FieldDecl

Methods

showsPrec :: Int -> FieldDecl -> ShowS

show :: FieldDecl -> String

showList :: [FieldDecl] -> ShowS

data CallConv

Calling convention for C code

Constructors

CallConvPrimitive

CallConvCCall

Instances

Eq CallConv

Methods

(==) :: CallConv -> CallConv -> Bool

(/=) :: CallConv -> CallConv -> Bool

Read CallConv

Methods

readsPrec :: Int -> ReadS CallConv

readList :: ReadS [CallConv]

readPrec :: ReadPrec CallConv

readListPrec :: ReadPrec [CallConv]

Show CallConv

Methods

showsPrec :: Int -> CallConv -> ShowS

show :: CallConv -> String

showList :: [CallConv] -> ShowS

data TypeExpr

Type expressions

Constructors

ConstructorType QualIdent

ApplyType TypeExpr TypeExpr

VariableType Ident

TupleType [TypeExpr]

ListType TypeExpr

ArrowType TypeExpr TypeExpr

ParenType TypeExpr

ForallType [Ident] TypeExpr

Instances

Eq TypeExpr

Methods

(==) :: TypeExpr -> TypeExpr -> Bool

(/=) :: TypeExpr -> TypeExpr -> Bool

Read TypeExpr

Methods

readsPrec :: Int -> ReadS TypeExpr

readList :: ReadS [TypeExpr]

readPrec :: ReadPrec TypeExpr

readListPrec :: ReadPrec [TypeExpr]

Show TypeExpr

Methods

showsPrec :: Int -> TypeExpr -> ShowS

show :: TypeExpr -> String

showList :: [TypeExpr] -> ShowS

data QualTypeExpr

Qualified type expressions

Constructors

QualTypeExpr Context TypeExpr

Instances

Eq QualTypeExpr

Methods

(==) :: QualTypeExpr -> QualTypeExpr -> Bool

(/=) :: QualTypeExpr -> QualTypeExpr -> Bool

Read QualTypeExpr

Methods

readsPrec :: Int -> ReadS QualTypeExpr

readList :: ReadS [QualTypeExpr]

readPrec :: ReadPrec QualTypeExpr

readListPrec :: ReadPrec [QualTypeExpr]

Show QualTypeExpr

Methods

showsPrec :: Int -> QualTypeExpr -> ShowS

show :: QualTypeExpr -> String

showList :: [QualTypeExpr] -> ShowS

data Equation a

Function defining equation

Constructors

Equation Position (Lhs a) (Rhs a)

Instances

Functor Equation

Methods

fmap :: (a -> b) -> Equation a -> Equation b

(<$) :: a -> Equation b -> Equation a

Eq a => Eq (Equation a)

Methods

(==) :: Equation a -> Equation a -> Bool

(/=) :: Equation a -> Equation a -> Bool

Read a => Read (Equation a)

Methods

readsPrec :: Int -> ReadS (Equation a)

readList :: ReadS [Equation a]

readPrec :: ReadPrec (Equation a)

readListPrec :: ReadPrec [Equation a]

Show a => Show (Equation a)

Methods

showsPrec :: Int -> Equation a -> ShowS

show :: Equation a -> String

showList :: [Equation a] -> ShowS

data Lhs a

Left-hand-side of an Equation (function identifier and patterns)

Constructors

FunLhs Ident [Pattern a]

OpLhs (Pattern a) Ident (Pattern a)

ApLhs (Lhs a) [Pattern a]

Instances

Functor Lhs

Methods

fmap :: (a -> b) -> Lhs a -> Lhs b

(<$) :: a -> Lhs b -> Lhs a

Eq a => Eq (Lhs a)

Methods

(==) :: Lhs a -> Lhs a -> Bool

(/=) :: Lhs a -> Lhs a -> Bool

Read a => Read (Lhs a)

Methods

readsPrec :: Int -> ReadS (Lhs a)

readList :: ReadS [Lhs a]

readPrec :: ReadPrec (Lhs a)

readListPrec :: ReadPrec [Lhs a]

Show a => Show (Lhs a)

Methods

showsPrec :: Int -> Lhs a -> ShowS

show :: Lhs a -> String

showList :: [Lhs a] -> ShowS

data Rhs a

Right-hand-side of an Equation

Constructors

SimpleRhs Position (Expression a) [Decl a]

GuardedRhs [CondExpr a] [Decl a]

Instances

Functor Rhs

Methods

fmap :: (a -> b) -> Rhs a -> Rhs b

(<$) :: a -> Rhs b -> Rhs a

Eq a => Eq (Rhs a)

Methods

(==) :: Rhs a -> Rhs a -> Bool

(/=) :: Rhs a -> Rhs a -> Bool

Read a => Read (Rhs a)

Methods

readsPrec :: Int -> ReadS (Rhs a)

readList :: ReadS [Rhs a]

readPrec :: ReadPrec (Rhs a)

readListPrec :: ReadPrec [Rhs a]

Show a => Show (Rhs a)

Methods

showsPrec :: Int -> Rhs a -> ShowS

show :: Rhs a -> String

showList :: [Rhs a] -> ShowS

data CondExpr a

Conditional expression (expression conditioned by a guard)

Constructors

CondExpr Position (Expression a) (Expression a)

Instances

Functor CondExpr

Methods

fmap :: (a -> b) -> CondExpr a -> CondExpr b

(<$) :: a -> CondExpr b -> CondExpr a

Eq a => Eq (CondExpr a)

Methods

(==) :: CondExpr a -> CondExpr a -> Bool

(/=) :: CondExpr a -> CondExpr a -> Bool

Read a => Read (CondExpr a)

Methods

readsPrec :: Int -> ReadS (CondExpr a)

readList :: ReadS [CondExpr a]

readPrec :: ReadPrec (CondExpr a)

readListPrec :: ReadPrec [CondExpr a]

Show a => Show (CondExpr a)

Methods

showsPrec :: Int -> CondExpr a -> ShowS

show :: CondExpr a -> String

showList :: [CondExpr a] -> ShowS

data Literal

Literal

Constructors

Char Char

Int Integer

Float Double

String String

Instances

Eq Literal

Methods

(==) :: Literal -> Literal -> Bool

(/=) :: Literal -> Literal -> Bool

Read Literal

Methods

readsPrec :: Int -> ReadS Literal

readList :: ReadS [Literal]

readPrec :: ReadPrec Literal

readListPrec :: ReadPrec [Literal]

Show Literal

Methods

showsPrec :: Int -> Literal -> ShowS

show :: Literal -> String

showList :: [Literal] -> ShowS

data Pattern a

Constructor term (used for patterns)

Constructors

LiteralPattern a Literal

NegativePattern a Literal

VariablePattern a Ident

ConstructorPattern a QualIdent [Pattern a]

InfixPattern a (Pattern a) QualIdent (Pattern a)

ParenPattern (Pattern a)

RecordPattern a QualIdent [Field (Pattern a)]

TuplePattern [Pattern a]

ListPattern a [Pattern a]

AsPattern Ident (Pattern a)

LazyPattern (Pattern a)

FunctionPattern a QualIdent [Pattern a]

InfixFuncPattern a (Pattern a) QualIdent (Pattern a)

Instances

Functor Pattern

Methods

fmap :: (a -> b) -> Pattern a -> Pattern b

(<$) :: a -> Pattern b -> Pattern a

Eq a => Eq (Pattern a)

Methods

(==) :: Pattern a -> Pattern a -> Bool

(/=) :: Pattern a -> Pattern a -> Bool

Read a => Read (Pattern a)

Methods

readsPrec :: Int -> ReadS (Pattern a)

readList :: ReadS [Pattern a]

readPrec :: ReadPrec (Pattern a)

readListPrec :: ReadPrec [Pattern a]

Show a => Show (Pattern a)

Methods

showsPrec :: Int -> Pattern a -> ShowS

show :: Pattern a -> String

showList :: [Pattern a] -> ShowS

data Expression a

Expression

Constructors

Literal a Literal

Variable a QualIdent

Constructor a QualIdent

Paren (Expression a)

Typed (Expression a) QualTypeExpr

Record a QualIdent [Field (Expression a)]

RecordUpdate (Expression a) [Field (Expression a)]

Tuple [Expression a]

List a [Expression a]

ListCompr (Expression a) [Statement a]

EnumFrom (Expression a)

EnumFromThen (Expression a) (Expression a)

EnumFromTo (Expression a) (Expression a)

EnumFromThenTo (Expression a) (Expression a) (Expression a)

UnaryMinus (Expression a)

Apply (Expression a) (Expression a)

InfixApply (Expression a) (InfixOp a) (Expression a)

LeftSection (Expression a) (InfixOp a)

RightSection (InfixOp a) (Expression a)

Lambda [Pattern a] (Expression a)

Let [Decl a] (Expression a)

Do [Statement a] (Expression a)

IfThenElse (Expression a) (Expression a) (Expression a)

Case CaseType (Expression a) [Alt a]

Instances

Functor Expression

Methods

fmap :: (a -> b) -> Expression a -> Expression b

(<$) :: a -> Expression b -> Expression a

Eq a => Eq (Expression a)

Methods

(==) :: Expression a -> Expression a -> Bool

(/=) :: Expression a -> Expression a -> Bool

Read a => Read (Expression a)

Methods

readsPrec :: Int -> ReadS (Expression a)

readList :: ReadS [Expression a]

readPrec :: ReadPrec (Expression a)

readListPrec :: ReadPrec [Expression a]

Show a => Show (Expression a)

Methods

showsPrec :: Int -> Expression a -> ShowS

show :: Expression a -> String

showList :: [Expression a] -> ShowS

data InfixOp a

Infix operation

Constructors

InfixOp a QualIdent

InfixConstr a QualIdent

Instances

Functor InfixOp

Methods

fmap :: (a -> b) -> InfixOp a -> InfixOp b

(<$) :: a -> InfixOp b -> InfixOp a

Eq a => Eq (InfixOp a)

Methods

(==) :: InfixOp a -> InfixOp a -> Bool

(/=) :: InfixOp a -> InfixOp a -> Bool

Read a => Read (InfixOp a)

Methods

readsPrec :: Int -> ReadS (InfixOp a)

readList :: ReadS [InfixOp a]

readPrec :: ReadPrec (InfixOp a)

readListPrec :: ReadPrec [InfixOp a]

Show a => Show (InfixOp a)

Methods

showsPrec :: Int -> InfixOp a -> ShowS

show :: InfixOp a -> String

showList :: [InfixOp a] -> ShowS

data Statement a

Statement (used for do-sequence and list comprehensions)

Constructors

StmtExpr (Expression a)

StmtDecl [Decl a]

StmtBind (Pattern a) (Expression a)

Instances

Functor Statement

Methods

fmap :: (a -> b) -> Statement a -> Statement b

(<$) :: a -> Statement b -> Statement a

Eq a => Eq (Statement a)

Methods

(==) :: Statement a -> Statement a -> Bool

(/=) :: Statement a -> Statement a -> Bool

Read a => Read (Statement a)

Methods

readsPrec :: Int -> ReadS (Statement a)

readList :: ReadS [Statement a]

readPrec :: ReadPrec (Statement a)

readListPrec :: ReadPrec [Statement a]

Show a => Show (Statement a)

Methods

showsPrec :: Int -> Statement a -> ShowS

show :: Statement a -> String

showList :: [Statement a] -> ShowS

data CaseType

Type of case expressions

Constructors

Rigid

Flex

Instances

Eq CaseType

Methods

(==) :: CaseType -> CaseType -> Bool

(/=) :: CaseType -> CaseType -> Bool

Read CaseType

Methods

readsPrec :: Int -> ReadS CaseType

readList :: ReadS [CaseType]

readPrec :: ReadPrec CaseType

readListPrec :: ReadPrec [CaseType]

Show CaseType

Methods

showsPrec :: Int -> CaseType -> ShowS

show :: CaseType -> String

showList :: [CaseType] -> ShowS

data Alt a

Single case alternative

Constructors

Alt Position (Pattern a) (Rhs a)

Instances

Functor Alt

Methods

fmap :: (a -> b) -> Alt a -> Alt b

(<$) :: a -> Alt b -> Alt a

Eq a => Eq (Alt a)

Methods

(==) :: Alt a -> Alt a -> Bool

(/=) :: Alt a -> Alt a -> Bool

Read a => Read (Alt a)

Methods

readsPrec :: Int -> ReadS (Alt a)

readList :: ReadS [Alt a]

readPrec :: ReadPrec (Alt a)

readListPrec :: ReadPrec [Alt a]

Show a => Show (Alt a)

Methods

showsPrec :: Int -> Alt a -> ShowS

show :: Alt a -> String

showList :: [Alt a] -> ShowS

data Field a

Record field

Constructors

Field Position QualIdent a

Instances

Functor Field

Methods

fmap :: (a -> b) -> Field a -> Field b

(<$) :: a -> Field b -> Field a

Eq a => Eq (Field a)

Methods

(==) :: Field a -> Field a -> Bool

(/=) :: Field a -> Field a -> Bool

Read a => Read (Field a)

Methods

readsPrec :: Int -> ReadS (Field a)

readList :: ReadS [Field a]

readPrec :: ReadPrec (Field a)

readListPrec :: ReadPrec [Field a]

Show a => Show (Field a)

Methods

showsPrec :: Int -> Field a -> ShowS

show :: Field a -> String

showList :: [Field a] -> ShowS

data Var a

Annotated identifier

Constructors

Var a Ident

Instances

Functor Var

Methods

fmap :: (a -> b) -> Var a -> Var b

(<$) :: a -> Var b -> Var a

Eq a => Eq (Var a)

Methods

(==) :: Var a -> Var a -> Bool

(/=) :: Var a -> Var a -> Bool

Read a => Read (Var a)

Methods

readsPrec :: Int -> ReadS (Var a)

readList :: ReadS [Var a]

readPrec :: ReadPrec (Var a)

readListPrec :: ReadPrec [Var a]

Show a => Show (Var a)

Methods

showsPrec :: Int -> Var a -> ShowS

show :: Var a -> String

showList :: [Var a] -> ShowS

Type classes

type Context = [Constraint]

data Constraint

Constructors

Constraint QualIdent TypeExpr

Instances

Eq Constraint

Methods

(==) :: Constraint -> Constraint -> Bool

(/=) :: Constraint -> Constraint -> Bool

Read Constraint

Methods

readsPrec :: Int -> ReadS Constraint

readList :: ReadS [Constraint]

readPrec :: ReadPrec Constraint

readListPrec :: ReadPrec [Constraint]

Show Constraint

Methods

showsPrec :: Int -> Constraint -> ShowS

show :: Constraint -> String

showList :: [Constraint] -> ShowS

type InstanceType = TypeExpr

Goals

data Goal a

Goal in REPL (expression to evaluate)

Constructors

Goal Position (Expression a) [Decl a]

Instances

Functor Goal

Methods

fmap :: (a -> b) -> Goal a -> Goal b

(<$) :: a -> Goal b -> Goal a

Eq a => Eq (Goal a)

Methods

(==) :: Goal a -> Goal a -> Bool

(/=) :: Goal a -> Goal a -> Bool

Read a => Read (Goal a)

Methods

readsPrec :: Int -> ReadS (Goal a)

readList :: ReadS [Goal a]

readPrec :: ReadPrec (Goal a)

readListPrec :: ReadPrec [Goal a]

Show a => Show (Goal a)

Methods

showsPrec :: Int -> Goal a -> ShowS

show :: Goal a -> String

showList :: [Goal a] -> ShowS