curry-frontend-2.0.0: Compile the functional logic language Curry to several intermediate formats
Copyright(c) 1999 - 2004 Wolfgang Lux
2005 Martin Engelke
2011 - 2015 Björn Peemöller
2014 Jan Rasmus Tikovsky
2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Curry.Syntax.Type

Description

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

Synopsis

Module header

data Module a Source #

Curry module

Constructors

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

Instances

Instances details
Functor Module Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Eq a => Eq (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Module a) Source #

readList :: ReadS [Module a] Source #

readPrec :: ReadPrec (Module a) Source #

readListPrec :: ReadPrec [Module a] Source #

Show a => Show (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Module a -> ShowS Source #

show :: Module a -> String Source #

showList :: [Module a] -> ShowS Source #

Binary a => Binary (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Module a -> Put Source #

get :: Get (Module a) Source #

putList :: [Module a] -> Put Source #

Pretty (Module a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Module a -> Doc Source #

pPrintPrec :: Int -> Module a -> Doc Source #

pPrintList :: [Module a] -> Doc Source #

HasPosition (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Module a -> Position Source #

setPosition :: Position -> Module a -> Module a Source #

HasSpanInfo (Module a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Module a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Module a -> Module a Source #

updateEndPos :: Module a -> Module a Source #

getLayoutInfo :: Module a -> LayoutInfo Source #

Module pragmas

data ModulePragma Source #

Module pragma

Constructors

LanguagePragma SpanInfo [Extension]

language pragma

OptionsPragma SpanInfo (Maybe Tool) String

options pragma

Instances

Instances details
Eq ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS ModulePragma Source #

readList :: ReadS [ModulePragma] Source #

readPrec :: ReadPrec ModulePragma Source #

readListPrec :: ReadPrec [ModulePragma] Source #

Show ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> ModulePragma -> ShowS Source #

show :: ModulePragma -> String Source #

showList :: [ModulePragma] -> ShowS Source #

Binary ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: ModulePragma -> Put Source #

get :: Get ModulePragma Source #

putList :: [ModulePragma] -> Put Source #

Pretty ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ModulePragma -> Doc Source #

pPrintPrec :: Int -> ModulePragma -> Doc Source #

pPrintList :: [ModulePragma] -> Doc Source #

HasPosition ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: ModulePragma -> Position Source #

setPosition :: Position -> ModulePragma -> ModulePragma Source #

HasSpanInfo ModulePragma Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: ModulePragma -> SpanInfo Source #

setSpanInfo :: SpanInfo -> ModulePragma -> ModulePragma Source #

updateEndPos :: ModulePragma -> ModulePragma Source #

getLayoutInfo :: ModulePragma -> LayoutInfo Source #

data Extension Source #

Specified language extensions, either known or unknown.

Constructors

KnownExtension SpanInfo KnownExtension

a known extension

UnknownExtension SpanInfo String

an unknown extension

Instances

Instances details
Eq Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

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

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

Read Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

readsPrec :: Int -> ReadS Extension Source #

readList :: ReadS [Extension] Source #

readPrec :: ReadPrec Extension Source #

readListPrec :: ReadPrec [Extension] Source #

Show Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

showsPrec :: Int -> Extension -> ShowS Source #

show :: Extension -> String Source #

showList :: [Extension] -> ShowS Source #

Binary Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

put :: Extension -> Put Source #

get :: Get Extension Source #

putList :: [Extension] -> Put Source #

Pretty Extension Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Extension -> Doc Source #

pPrintPrec :: Int -> Extension -> Doc Source #

pPrintList :: [Extension] -> Doc Source #

HasPosition Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

getPosition :: Extension -> Position Source #

setPosition :: Position -> Extension -> Extension Source #

HasSpanInfo Extension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

getSpanInfo :: Extension -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Extension -> Extension Source #

updateEndPos :: Extension -> Extension Source #

getLayoutInfo :: Extension -> LayoutInfo Source #

data KnownExtension Source #

Known language extensions of Curry.

Constructors

AnonFreeVars

anonymous free variables

CPP

C preprocessor

FunctionalPatterns

functional patterns

NegativeLiterals

negative literals

NoImplicitPrelude

no implicit import of the prelude

Instances

Instances details
Bounded KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

minBound :: KnownExtension Source #

maxBound :: KnownExtension Source #

Enum KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

succ :: KnownExtension -> KnownExtension Source #

pred :: KnownExtension -> KnownExtension Source #

toEnum :: Int -> KnownExtension Source #

fromEnum :: KnownExtension -> Int Source #

enumFrom :: KnownExtension -> [KnownExtension] Source #

enumFromThen :: KnownExtension -> KnownExtension -> [KnownExtension] Source #

enumFromTo :: KnownExtension -> KnownExtension -> [KnownExtension] Source #

enumFromThenTo :: KnownExtension -> KnownExtension -> KnownExtension -> [KnownExtension] Source #

Eq KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

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

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

Read KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

readsPrec :: Int -> ReadS KnownExtension Source #

readList :: ReadS [KnownExtension] Source #

readPrec :: ReadPrec KnownExtension Source #

readListPrec :: ReadPrec [KnownExtension] Source #

Show KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

showsPrec :: Int -> KnownExtension -> ShowS Source #

show :: KnownExtension -> String Source #

showList :: [KnownExtension] -> ShowS Source #

Binary KnownExtension Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

put :: KnownExtension -> Put Source #

get :: Get KnownExtension Source #

putList :: [KnownExtension] -> Put Source #

data Tool Source #

Different Curry tools which may accept compiler options.

Constructors

KICS2 
PAKCS 
CYMAKE 
FRONTEND 
UnknownTool String 

Instances

Instances details
Eq Tool Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

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

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

Read Tool Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

readsPrec :: Int -> ReadS Tool Source #

readList :: ReadS [Tool] Source #

readPrec :: ReadPrec Tool Source #

readListPrec :: ReadPrec [Tool] Source #

Show Tool Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

showsPrec :: Int -> Tool -> ShowS Source #

show :: Tool -> String Source #

showList :: [Tool] -> ShowS Source #

Binary Tool Source # 
Instance details

Defined in Curry.Syntax.Extension

Methods

put :: Tool -> Put Source #

get :: Get Tool Source #

putList :: [Tool] -> Put Source #

Pretty Tool Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Tool -> Doc Source #

pPrintPrec :: Int -> Tool -> Doc Source #

pPrintList :: [Tool] -> Doc Source #

Export specification

data ExportSpec Source #

Export specification

Constructors

Exporting SpanInfo [Export] 

Instances

Instances details
Eq ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS ExportSpec Source #

readList :: ReadS [ExportSpec] Source #

readPrec :: ReadPrec ExportSpec Source #

readListPrec :: ReadPrec [ExportSpec] Source #

Show ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> ExportSpec -> ShowS Source #

show :: ExportSpec -> String Source #

showList :: [ExportSpec] -> ShowS Source #

Binary ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: ExportSpec -> Put Source #

get :: Get ExportSpec Source #

putList :: [ExportSpec] -> Put Source #

Pretty ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ExportSpec -> Doc Source #

pPrintPrec :: Int -> ExportSpec -> Doc Source #

pPrintList :: [ExportSpec] -> Doc Source #

HasPosition ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: ExportSpec -> Position Source #

setPosition :: Position -> ExportSpec -> ExportSpec Source #

HasSpanInfo ExportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: ExportSpec -> SpanInfo Source #

setSpanInfo :: SpanInfo -> ExportSpec -> ExportSpec Source #

updateEndPos :: ExportSpec -> ExportSpec Source #

getLayoutInfo :: ExportSpec -> LayoutInfo Source #

data Export Source #

Single exported entity

Constructors

Export SpanInfo QualIdent 
ExportTypeWith SpanInfo QualIdent [Ident] 
ExportTypeAll SpanInfo QualIdent 
ExportModule SpanInfo ModuleIdent 

Instances

Instances details
Eq Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Export Source #

readList :: ReadS [Export] Source #

readPrec :: ReadPrec Export Source #

readListPrec :: ReadPrec [Export] Source #

Show Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Export -> ShowS Source #

show :: Export -> String Source #

showList :: [Export] -> ShowS Source #

Binary Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Export -> Put Source #

get :: Get Export Source #

putList :: [Export] -> Put Source #

Pretty Export Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Export -> Doc Source #

pPrintPrec :: Int -> Export -> Doc Source #

pPrintList :: [Export] -> Doc Source #

HasPosition Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Export -> Position Source #

setPosition :: Position -> Export -> Export Source #

HasSpanInfo Export Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Export -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Export -> Export Source #

updateEndPos :: Export -> Export Source #

getLayoutInfo :: Export -> LayoutInfo Source #

Import declarations

data ImportDecl Source #

Import declaration

Constructors

ImportDecl SpanInfo ModuleIdent Qualified (Maybe ModuleIdent) (Maybe ImportSpec) 

Instances

Instances details
Eq ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS ImportDecl Source #

readList :: ReadS [ImportDecl] Source #

readPrec :: ReadPrec ImportDecl Source #

readListPrec :: ReadPrec [ImportDecl] Source #

Show ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> ImportDecl -> ShowS Source #

show :: ImportDecl -> String Source #

showList :: [ImportDecl] -> ShowS Source #

Binary ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: ImportDecl -> Put Source #

get :: Get ImportDecl Source #

putList :: [ImportDecl] -> Put Source #

Pretty ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ImportDecl -> Doc Source #

pPrintPrec :: Int -> ImportDecl -> Doc Source #

pPrintList :: [ImportDecl] -> Doc Source #

HasPosition ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: ImportDecl -> Position Source #

setPosition :: Position -> ImportDecl -> ImportDecl Source #

HasSpanInfo ImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: ImportDecl -> SpanInfo Source #

setSpanInfo :: SpanInfo -> ImportDecl -> ImportDecl Source #

updateEndPos :: ImportDecl -> ImportDecl Source #

getLayoutInfo :: ImportDecl -> LayoutInfo Source #

data ImportSpec Source #

Import specification

Constructors

Importing SpanInfo [Import] 
Hiding SpanInfo [Import] 

Instances

Instances details
Eq ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS ImportSpec Source #

readList :: ReadS [ImportSpec] Source #

readPrec :: ReadPrec ImportSpec Source #

readListPrec :: ReadPrec [ImportSpec] Source #

Show ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> ImportSpec -> ShowS Source #

show :: ImportSpec -> String Source #

showList :: [ImportSpec] -> ShowS Source #

Binary ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: ImportSpec -> Put Source #

get :: Get ImportSpec Source #

putList :: [ImportSpec] -> Put Source #

Pretty ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ImportSpec -> Doc Source #

pPrintPrec :: Int -> ImportSpec -> Doc Source #

pPrintList :: [ImportSpec] -> Doc Source #

HasPosition ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: ImportSpec -> Position Source #

setPosition :: Position -> ImportSpec -> ImportSpec Source #

HasSpanInfo ImportSpec Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: ImportSpec -> SpanInfo Source #

setSpanInfo :: SpanInfo -> ImportSpec -> ImportSpec Source #

updateEndPos :: ImportSpec -> ImportSpec Source #

getLayoutInfo :: ImportSpec -> LayoutInfo Source #

data Import Source #

Single imported entity

Constructors

Import SpanInfo Ident 
ImportTypeWith SpanInfo Ident [Ident] 
ImportTypeAll SpanInfo Ident 

Instances

Instances details
Eq Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Import Source #

readList :: ReadS [Import] Source #

readPrec :: ReadPrec Import Source #

readListPrec :: ReadPrec [Import] Source #

Show Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Import -> ShowS Source #

show :: Import -> String Source #

showList :: [Import] -> ShowS Source #

Binary Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Import -> Put Source #

get :: Get Import Source #

putList :: [Import] -> Put Source #

Pretty Import Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Import -> Doc Source #

pPrintPrec :: Int -> Import -> Doc Source #

pPrintList :: [Import] -> Doc Source #

HasPosition Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Import -> Position Source #

setPosition :: Position -> Import -> Import Source #

HasSpanInfo Import Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Import -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Import -> Import Source #

updateEndPos :: Import -> Import Source #

getLayoutInfo :: Import -> LayoutInfo Source #

type Qualified = Bool Source #

Flag to signal qualified import

Interface

data Interface Source #

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

Instances details
Eq Interface Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Interface Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Interface Source #

readList :: ReadS [Interface] Source #

readPrec :: ReadPrec Interface Source #

readListPrec :: ReadPrec [Interface] Source #

Show Interface Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Interface -> ShowS Source #

show :: Interface -> String Source #

showList :: [Interface] -> ShowS Source #

Pretty Interface Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Interface -> Doc Source #

pPrintPrec :: Int -> Interface -> Doc Source #

pPrintList :: [Interface] -> Doc Source #

data IImportDecl Source #

Interface import declaration

Constructors

IImportDecl Position ModuleIdent 

Instances

Instances details
Eq IImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read IImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS IImportDecl Source #

readList :: ReadS [IImportDecl] Source #

readPrec :: ReadPrec IImportDecl Source #

readListPrec :: ReadPrec [IImportDecl] Source #

Show IImportDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> IImportDecl -> ShowS Source #

show :: IImportDecl -> String Source #

showList :: [IImportDecl] -> ShowS Source #

Pretty IImportDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IImportDecl -> Doc Source #

pPrintPrec :: Int -> IImportDecl -> Doc Source #

pPrintList :: [IImportDecl] -> Doc Source #

type Arity = Int Source #

Arity of a function

data IDecl Source #

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

Instances details
Eq IDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read IDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS IDecl Source #

readList :: ReadS [IDecl] Source #

readPrec :: ReadPrec IDecl Source #

readListPrec :: ReadPrec [IDecl] Source #

Show IDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> IDecl -> ShowS Source #

show :: IDecl -> String Source #

showList :: [IDecl] -> ShowS Source #

Pretty IDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IDecl -> Doc Source #

pPrintPrec :: Int -> IDecl -> Doc Source #

pPrintList :: [IDecl] -> Doc Source #

data KindExpr Source #

Kind expressions

Constructors

Star 
ArrowKind KindExpr KindExpr 

Instances

Instances details
Eq KindExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read KindExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS KindExpr Source #

readList :: ReadS [KindExpr] Source #

readPrec :: ReadPrec KindExpr Source #

readListPrec :: ReadPrec [KindExpr] Source #

Show KindExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> KindExpr -> ShowS Source #

show :: KindExpr -> String Source #

showList :: [KindExpr] -> ShowS Source #

Pretty KindExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: KindExpr -> Doc Source #

pPrintPrec :: Int -> KindExpr -> Doc Source #

pPrintList :: [KindExpr] -> Doc Source #

data IMethodDecl Source #

Class methods

Constructors

IMethodDecl Position Ident (Maybe Arity) QualTypeExpr 

Instances

Instances details
Eq IMethodDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read IMethodDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS IMethodDecl Source #

readList :: ReadS [IMethodDecl] Source #

readPrec :: ReadPrec IMethodDecl Source #

readListPrec :: ReadPrec [IMethodDecl] Source #

Show IMethodDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> IMethodDecl -> ShowS Source #

show :: IMethodDecl -> String Source #

showList :: [IMethodDecl] -> ShowS Source #

Pretty IMethodDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: IMethodDecl -> Doc Source #

pPrintPrec :: Int -> IMethodDecl -> Doc Source #

pPrintList :: [IMethodDecl] -> Doc Source #

type IMethodImpl = (Ident, Arity) Source #

Class method implementations

Declarations

data Decl a Source #

Declaration in a module

Constructors

InfixDecl SpanInfo Infix (Maybe Precedence) [Ident] 
DataDecl SpanInfo Ident [Ident] [ConstrDecl] [QualIdent] 
ExternalDataDecl SpanInfo Ident [Ident] 
NewtypeDecl SpanInfo Ident [Ident] NewConstrDecl [QualIdent] 
TypeDecl SpanInfo Ident [Ident] TypeExpr 
TypeSig SpanInfo [Ident] QualTypeExpr 
FunctionDecl SpanInfo a Ident [Equation a] 
ExternalDecl SpanInfo [Var a] 
PatternDecl SpanInfo (Pattern a) (Rhs a) 
FreeDecl SpanInfo [Var a] 
DefaultDecl SpanInfo [TypeExpr] 
ClassDecl SpanInfo LayoutInfo Context Ident Ident [Decl a] 
InstanceDecl SpanInfo LayoutInfo Context QualIdent InstanceType [Decl a] 

Instances

Instances details
Functor Decl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Decl Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Decl Type -> [(Type, Ident)] Source #

Eq a => Eq (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Decl a) Source #

readList :: ReadS [Decl a] Source #

readPrec :: ReadPrec (Decl a) Source #

readListPrec :: ReadPrec [Decl a] Source #

Show a => Show (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Decl a -> ShowS Source #

show :: Decl a -> String Source #

showList :: [Decl a] -> ShowS Source #

Binary a => Binary (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Decl a -> Put Source #

get :: Get (Decl a) Source #

putList :: [Decl a] -> Put Source #

Pretty (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Decl a -> Doc Source #

pPrintPrec :: Int -> Decl a -> Doc Source #

pPrintList :: [Decl a] -> Doc Source #

HasPosition (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Decl a -> Position Source #

setPosition :: Position -> Decl a -> Decl a Source #

HasSpanInfo (Decl a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Decl a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Decl a -> Decl a Source #

updateEndPos :: Decl a -> Decl a Source #

getLayoutInfo :: Decl a -> LayoutInfo Source #

QuantExpr (Decl a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Decl a -> [Ident] Source #

QualExpr (Decl a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Decl a -> [Ident] Source #

type Precedence = Integer Source #

Operator precedence

data Infix Source #

Fixity of operators

Constructors

InfixL

left-associative

InfixR

right-associative

Infix

no associativity

Instances

Instances details
Eq Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Infix Source #

readList :: ReadS [Infix] Source #

readPrec :: ReadPrec Infix Source #

readListPrec :: ReadPrec [Infix] Source #

Show Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Infix -> ShowS Source #

show :: Infix -> String Source #

showList :: [Infix] -> ShowS Source #

Binary Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Infix -> Put Source #

get :: Get Infix Source #

putList :: [Infix] -> Put Source #

Pretty Infix Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

pPrint :: Infix -> Doc Source #

pPrintPrec :: Int -> Infix -> Doc Source #

pPrintList :: [Infix] -> Doc Source #

data ConstrDecl Source #

Constructor declaration for algebraic data types

Constructors

ConstrDecl SpanInfo Ident [TypeExpr] 
ConOpDecl SpanInfo TypeExpr Ident TypeExpr 
RecordDecl SpanInfo Ident [FieldDecl] 

Instances

Instances details
Eq ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS ConstrDecl Source #

readList :: ReadS [ConstrDecl] Source #

readPrec :: ReadPrec ConstrDecl Source #

readListPrec :: ReadPrec [ConstrDecl] Source #

Show ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> ConstrDecl -> ShowS Source #

show :: ConstrDecl -> String Source #

showList :: [ConstrDecl] -> ShowS Source #

Binary ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: ConstrDecl -> Put Source #

get :: Get ConstrDecl Source #

putList :: [ConstrDecl] -> Put Source #

Pretty ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: ConstrDecl -> Doc Source #

pPrintPrec :: Int -> ConstrDecl -> Doc Source #

pPrintList :: [ConstrDecl] -> Doc Source #

HasPosition ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: ConstrDecl -> Position Source #

setPosition :: Position -> ConstrDecl -> ConstrDecl Source #

HasSpanInfo ConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: ConstrDecl -> SpanInfo Source #

setSpanInfo :: SpanInfo -> ConstrDecl -> ConstrDecl Source #

updateEndPos :: ConstrDecl -> ConstrDecl Source #

getLayoutInfo :: ConstrDecl -> LayoutInfo Source #

data NewConstrDecl Source #

Constructor declaration for renaming types (newtypes)

Constructors

NewConstrDecl SpanInfo Ident TypeExpr 
NewRecordDecl SpanInfo Ident (Ident, TypeExpr) 

Instances

Instances details
Eq NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS NewConstrDecl Source #

readList :: ReadS [NewConstrDecl] Source #

readPrec :: ReadPrec NewConstrDecl Source #

readListPrec :: ReadPrec [NewConstrDecl] Source #

Show NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> NewConstrDecl -> ShowS Source #

show :: NewConstrDecl -> String Source #

showList :: [NewConstrDecl] -> ShowS Source #

Binary NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: NewConstrDecl -> Put Source #

get :: Get NewConstrDecl Source #

putList :: [NewConstrDecl] -> Put Source #

Pretty NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: NewConstrDecl -> Doc Source #

pPrintPrec :: Int -> NewConstrDecl -> Doc Source #

pPrintList :: [NewConstrDecl] -> Doc Source #

HasPosition NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: NewConstrDecl -> Position Source #

setPosition :: Position -> NewConstrDecl -> NewConstrDecl Source #

HasSpanInfo NewConstrDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: NewConstrDecl -> SpanInfo Source #

setSpanInfo :: SpanInfo -> NewConstrDecl -> NewConstrDecl Source #

updateEndPos :: NewConstrDecl -> NewConstrDecl Source #

getLayoutInfo :: NewConstrDecl -> LayoutInfo Source #

data FieldDecl Source #

Declaration for labelled fields

Constructors

FieldDecl SpanInfo [Ident] TypeExpr 

Instances

Instances details
Eq FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS FieldDecl Source #

readList :: ReadS [FieldDecl] Source #

readPrec :: ReadPrec FieldDecl Source #

readListPrec :: ReadPrec [FieldDecl] Source #

Show FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> FieldDecl -> ShowS Source #

show :: FieldDecl -> String Source #

showList :: [FieldDecl] -> ShowS Source #

Binary FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: FieldDecl -> Put Source #

get :: Get FieldDecl Source #

putList :: [FieldDecl] -> Put Source #

Pretty FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: FieldDecl -> Doc Source #

pPrintPrec :: Int -> FieldDecl -> Doc Source #

pPrintList :: [FieldDecl] -> Doc Source #

HasPosition FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: FieldDecl -> Position Source #

setPosition :: Position -> FieldDecl -> FieldDecl Source #

HasSpanInfo FieldDecl Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: FieldDecl -> SpanInfo Source #

setSpanInfo :: SpanInfo -> FieldDecl -> FieldDecl Source #

updateEndPos :: FieldDecl -> FieldDecl Source #

getLayoutInfo :: FieldDecl -> LayoutInfo Source #

data TypeExpr Source #

Type expressions

Constructors

ConstructorType SpanInfo QualIdent 
ApplyType SpanInfo TypeExpr TypeExpr 
VariableType SpanInfo Ident 
TupleType SpanInfo [TypeExpr] 
ListType SpanInfo TypeExpr 
ArrowType SpanInfo TypeExpr TypeExpr 
ParenType SpanInfo TypeExpr 
ForallType SpanInfo [Ident] TypeExpr 

Instances

Instances details
Eq TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS TypeExpr Source #

readList :: ReadS [TypeExpr] Source #

readPrec :: ReadPrec TypeExpr Source #

readListPrec :: ReadPrec [TypeExpr] Source #

Show TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> TypeExpr -> ShowS Source #

show :: TypeExpr -> String Source #

showList :: [TypeExpr] -> ShowS Source #

Binary TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: TypeExpr -> Put Source #

get :: Get TypeExpr Source #

putList :: [TypeExpr] -> Put Source #

Pretty TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: TypeExpr -> Doc Source #

pPrintPrec :: Int -> TypeExpr -> Doc Source #

pPrintList :: [TypeExpr] -> Doc Source #

HasPosition TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: TypeExpr -> Position Source #

setPosition :: Position -> TypeExpr -> TypeExpr Source #

HasSpanInfo TypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: TypeExpr -> SpanInfo Source #

setSpanInfo :: SpanInfo -> TypeExpr -> TypeExpr Source #

updateEndPos :: TypeExpr -> TypeExpr Source #

getLayoutInfo :: TypeExpr -> LayoutInfo Source #

QuantExpr TypeExpr Source # 
Instance details

Defined in Base.Expr

Methods

bv :: TypeExpr -> [Ident] Source #

Expr TypeExpr Source # 
Instance details

Defined in Base.Expr

Methods

fv :: TypeExpr -> [Ident] Source #

data QualTypeExpr Source #

Qualified type expressions

Constructors

QualTypeExpr SpanInfo Context TypeExpr 

Instances

Instances details
Eq QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS QualTypeExpr Source #

readList :: ReadS [QualTypeExpr] Source #

readPrec :: ReadPrec QualTypeExpr Source #

readListPrec :: ReadPrec [QualTypeExpr] Source #

Show QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> QualTypeExpr -> ShowS Source #

show :: QualTypeExpr -> String Source #

showList :: [QualTypeExpr] -> ShowS Source #

Binary QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: QualTypeExpr -> Put Source #

get :: Get QualTypeExpr Source #

putList :: [QualTypeExpr] -> Put Source #

Pretty QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: QualTypeExpr -> Doc Source #

pPrintPrec :: Int -> QualTypeExpr -> Doc Source #

pPrintList :: [QualTypeExpr] -> Doc Source #

HasPosition QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: QualTypeExpr -> Position Source #

setPosition :: Position -> QualTypeExpr -> QualTypeExpr Source #

HasSpanInfo QualTypeExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: QualTypeExpr -> SpanInfo Source #

setSpanInfo :: SpanInfo -> QualTypeExpr -> QualTypeExpr Source #

updateEndPos :: QualTypeExpr -> QualTypeExpr Source #

getLayoutInfo :: QualTypeExpr -> LayoutInfo Source #

QuantExpr QualTypeExpr Source # 
Instance details

Defined in Base.Expr

Methods

bv :: QualTypeExpr -> [Ident] Source #

Expr QualTypeExpr Source # 
Instance details

Defined in Base.Expr

Methods

fv :: QualTypeExpr -> [Ident] Source #

data Equation a Source #

Function defining equation

Constructors

Equation SpanInfo (Lhs a) (Rhs a) 

Instances

Instances details
Functor Equation Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Equation Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Equation Type -> [(Type, Ident)] Source #

Eq a => Eq (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Equation a) Source #

readList :: ReadS [Equation a] Source #

readPrec :: ReadPrec (Equation a) Source #

readListPrec :: ReadPrec [Equation a] Source #

Show a => Show (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Equation a -> ShowS Source #

show :: Equation a -> String Source #

showList :: [Equation a] -> ShowS Source #

Binary a => Binary (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Equation a -> Put Source #

get :: Get (Equation a) Source #

putList :: [Equation a] -> Put Source #

Pretty (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Equation a -> Doc Source #

pPrintPrec :: Int -> Equation a -> Doc Source #

pPrintList :: [Equation a] -> Doc Source #

HasPosition (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Equation a -> Position Source #

setPosition :: Position -> Equation a -> Equation a Source #

HasSpanInfo (Equation a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Equation a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Equation a -> Equation a Source #

updateEndPos :: Equation a -> Equation a Source #

getLayoutInfo :: Equation a -> LayoutInfo Source #

QualExpr (Equation a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Equation a -> [Ident] Source #

data Lhs a Source #

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

Constructors

FunLhs SpanInfo Ident [Pattern a] 
OpLhs SpanInfo (Pattern a) Ident (Pattern a) 
ApLhs SpanInfo (Lhs a) [Pattern a] 

Instances

Instances details
Functor Lhs Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Lhs Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Lhs Type -> [(Type, Ident)] Source #

Eq a => Eq (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Lhs a) Source #

readList :: ReadS [Lhs a] Source #

readPrec :: ReadPrec (Lhs a) Source #

readListPrec :: ReadPrec [Lhs a] Source #

Show a => Show (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Lhs a -> ShowS Source #

show :: Lhs a -> String Source #

showList :: [Lhs a] -> ShowS Source #

Binary a => Binary (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Lhs a -> Put Source #

get :: Get (Lhs a) Source #

putList :: [Lhs a] -> Put Source #

Pretty (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Lhs a -> Doc Source #

pPrintPrec :: Int -> Lhs a -> Doc Source #

pPrintList :: [Lhs a] -> Doc Source #

HasPosition (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Lhs a -> Position Source #

setPosition :: Position -> Lhs a -> Lhs a Source #

HasSpanInfo (Lhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Lhs a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Lhs a -> Lhs a Source #

updateEndPos :: Lhs a -> Lhs a Source #

getLayoutInfo :: Lhs a -> LayoutInfo Source #

QuantExpr (Lhs a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Lhs a -> [Ident] Source #

QualExpr (Lhs a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Lhs a -> [Ident] Source #

data Rhs a Source #

Right-hand-side of an Equation

Constructors

SimpleRhs SpanInfo LayoutInfo (Expression a) [Decl a] 
GuardedRhs SpanInfo LayoutInfo [CondExpr a] [Decl a] 

Instances

Instances details
Functor Rhs Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Rhs Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Rhs Type -> [(Type, Ident)] Source #

Eq a => Eq (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Rhs a) Source #

readList :: ReadS [Rhs a] Source #

readPrec :: ReadPrec (Rhs a) Source #

readListPrec :: ReadPrec [Rhs a] Source #

Show a => Show (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Rhs a -> ShowS Source #

show :: Rhs a -> String Source #

showList :: [Rhs a] -> ShowS Source #

Binary a => Binary (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Rhs a -> Put Source #

get :: Get (Rhs a) Source #

putList :: [Rhs a] -> Put Source #

HasPosition (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Rhs a -> Position Source #

setPosition :: Position -> Rhs a -> Rhs a Source #

HasSpanInfo (Rhs a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Rhs a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Rhs a -> Rhs a Source #

updateEndPos :: Rhs a -> Rhs a Source #

getLayoutInfo :: Rhs a -> LayoutInfo Source #

QualExpr (Rhs a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Rhs a -> [Ident] Source #

Typeable a => Typeable (Rhs a) Source # 
Instance details

Defined in Base.Typing

Methods

typeOf :: Rhs a -> Type Source #

data CondExpr a Source #

Conditional expression (expression conditioned by a guard)

Constructors

CondExpr SpanInfo (Expression a) (Expression a) 

Instances

Instances details
Functor CondExpr Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr CondExpr Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> CondExpr Type -> [(Type, Ident)] Source #

Eq a => Eq (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (CondExpr a) Source #

readList :: ReadS [CondExpr a] Source #

readPrec :: ReadPrec (CondExpr a) Source #

readListPrec :: ReadPrec [CondExpr a] Source #

Show a => Show (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> CondExpr a -> ShowS Source #

show :: CondExpr a -> String Source #

showList :: [CondExpr a] -> ShowS Source #

Binary a => Binary (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: CondExpr a -> Put Source #

get :: Get (CondExpr a) Source #

putList :: [CondExpr a] -> Put Source #

HasPosition (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: CondExpr a -> Position Source #

setPosition :: Position -> CondExpr a -> CondExpr a Source #

HasSpanInfo (CondExpr a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: CondExpr a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> CondExpr a -> CondExpr a Source #

updateEndPos :: CondExpr a -> CondExpr a Source #

getLayoutInfo :: CondExpr a -> LayoutInfo Source #

QualExpr (CondExpr a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> CondExpr a -> [Ident] Source #

data Literal Source #

Literal

Constructors

Char Char 
Int Integer 
Float Double 
String String 

Instances

Instances details
Eq Literal Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Literal Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Literal Source #

readList :: ReadS [Literal] Source #

readPrec :: ReadPrec Literal Source #

readListPrec :: ReadPrec [Literal] Source #

Show Literal Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Literal -> ShowS Source #

show :: Literal -> String Source #

showList :: [Literal] -> ShowS Source #

Binary Literal Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Literal -> Put Source #

get :: Get Literal Source #

putList :: [Literal] -> Put Source #

Pretty Literal Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Literal -> Doc Source #

pPrintPrec :: Int -> Literal -> Doc Source #

pPrintList :: [Literal] -> Doc Source #

data Pattern a Source #

Constructor term (used for patterns)

Constructors

LiteralPattern SpanInfo a Literal 
NegativePattern SpanInfo a Literal 
VariablePattern SpanInfo a Ident 
ConstructorPattern SpanInfo a QualIdent [Pattern a] 
InfixPattern SpanInfo a (Pattern a) QualIdent (Pattern a) 
ParenPattern SpanInfo (Pattern a) 
RecordPattern SpanInfo a QualIdent [Field (Pattern a)] 
TuplePattern SpanInfo [Pattern a] 
ListPattern SpanInfo a [Pattern a] 
AsPattern SpanInfo Ident (Pattern a) 
LazyPattern SpanInfo (Pattern a) 
FunctionPattern SpanInfo a QualIdent [Pattern a] 
InfixFuncPattern SpanInfo a (Pattern a) QualIdent (Pattern a) 

Instances

Instances details
Functor Pattern Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Pattern Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Pattern Type -> [(Type, Ident)] Source #

Eq a => Eq (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Pattern a) Source #

readList :: ReadS [Pattern a] Source #

readPrec :: ReadPrec (Pattern a) Source #

readListPrec :: ReadPrec [Pattern a] Source #

Show a => Show (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Pattern a -> ShowS Source #

show :: Pattern a -> String Source #

showList :: [Pattern a] -> ShowS Source #

Binary a => Binary (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Pattern a -> Put Source #

get :: Get (Pattern a) Source #

putList :: [Pattern a] -> Put Source #

Pretty (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Pattern a -> Doc Source #

pPrintPrec :: Int -> Pattern a -> Doc Source #

pPrintList :: [Pattern a] -> Doc Source #

HasPosition (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Pattern a -> Position Source #

setPosition :: Position -> Pattern a -> Pattern a Source #

HasSpanInfo (Pattern a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Pattern a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Pattern a -> Pattern a Source #

updateEndPos :: Pattern a -> Pattern a Source #

getLayoutInfo :: Pattern a -> LayoutInfo Source #

QuantExpr (Pattern a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Pattern a -> [Ident] Source #

QualExpr (Pattern a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Pattern a -> [Ident] Source #

Typeable a => Typeable (Pattern a) Source # 
Instance details

Defined in Base.Typing

Methods

typeOf :: Pattern a -> Type Source #

data Expression a Source #

Expression

Constructors

Literal SpanInfo a Literal 
Variable SpanInfo a QualIdent 
Constructor SpanInfo a QualIdent 
Paren SpanInfo (Expression a) 
Typed SpanInfo (Expression a) QualTypeExpr 
Record SpanInfo a QualIdent [Field (Expression a)] 
RecordUpdate SpanInfo (Expression a) [Field (Expression a)] 
Tuple SpanInfo [Expression a] 
List SpanInfo a [Expression a] 
ListCompr SpanInfo (Expression a) [Statement a] 
EnumFrom SpanInfo (Expression a) 
EnumFromThen SpanInfo (Expression a) (Expression a) 
EnumFromTo SpanInfo (Expression a) (Expression a) 
EnumFromThenTo SpanInfo (Expression a) (Expression a) (Expression a) 
UnaryMinus SpanInfo (Expression a) 
Apply SpanInfo (Expression a) (Expression a) 
InfixApply SpanInfo (Expression a) (InfixOp a) (Expression a) 
LeftSection SpanInfo (Expression a) (InfixOp a) 
RightSection SpanInfo (InfixOp a) (Expression a) 
Lambda SpanInfo [Pattern a] (Expression a) 
Let SpanInfo LayoutInfo [Decl a] (Expression a) 
Do SpanInfo LayoutInfo [Statement a] (Expression a) 
IfThenElse SpanInfo (Expression a) (Expression a) (Expression a) 
Case SpanInfo LayoutInfo CaseType (Expression a) [Alt a] 

Instances

Instances details
Functor Expression Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Expression Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Expression Type -> [(Type, Ident)] Source #

Eq a => Eq (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Expression a) Source #

readList :: ReadS [Expression a] Source #

readPrec :: ReadPrec (Expression a) Source #

readListPrec :: ReadPrec [Expression a] Source #

Show a => Show (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Expression a -> ShowS Source #

show :: Expression a -> String Source #

showList :: [Expression a] -> ShowS Source #

Binary a => Binary (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Expression a -> Put Source #

get :: Get (Expression a) Source #

putList :: [Expression a] -> Put Source #

Pretty (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Expression a -> Doc Source #

pPrintPrec :: Int -> Expression a -> Doc Source #

pPrintList :: [Expression a] -> Doc Source #

HasPosition (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Expression a -> Position Source #

setPosition :: Position -> Expression a -> Expression a Source #

HasSpanInfo (Expression a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Expression a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Expression a -> Expression a Source #

updateEndPos :: Expression a -> Expression a Source #

getLayoutInfo :: Expression a -> LayoutInfo Source #

QualExpr (Expression a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Expression a -> [Ident] Source #

Typeable a => Typeable (Expression a) Source # 
Instance details

Defined in Base.Typing

Methods

typeOf :: Expression a -> Type Source #

data InfixOp a Source #

Infix operation

Constructors

InfixOp a QualIdent 
InfixConstr a QualIdent 

Instances

Instances details
Functor InfixOp Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr InfixOp Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> InfixOp Type -> [(Type, Ident)] Source #

Eq a => Eq (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (InfixOp a) Source #

readList :: ReadS [InfixOp a] Source #

readPrec :: ReadPrec (InfixOp a) Source #

readListPrec :: ReadPrec [InfixOp a] Source #

Show a => Show (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> InfixOp a -> ShowS Source #

show :: InfixOp a -> String Source #

showList :: [InfixOp a] -> ShowS Source #

Binary a => Binary (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: InfixOp a -> Put Source #

get :: Get (InfixOp a) Source #

putList :: [InfixOp a] -> Put Source #

Pretty (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: InfixOp a -> Doc Source #

pPrintPrec :: Int -> InfixOp a -> Doc Source #

pPrintList :: [InfixOp a] -> Doc Source #

HasPosition (InfixOp a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: InfixOp a -> Position Source #

setPosition :: Position -> InfixOp a -> InfixOp a Source #

QualExpr (InfixOp a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> InfixOp a -> [Ident] Source #

data Statement a Source #

Statement (used for do-sequence and list comprehensions)

Constructors

StmtExpr SpanInfo (Expression a) 
StmtDecl SpanInfo LayoutInfo [Decl a] 
StmtBind SpanInfo (Pattern a) (Expression a) 

Instances

Instances details
Functor Statement Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Statement Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Statement Type -> [(Type, Ident)] Source #

Eq a => Eq (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Statement a) Source #

readList :: ReadS [Statement a] Source #

readPrec :: ReadPrec (Statement a) Source #

readListPrec :: ReadPrec [Statement a] Source #

Show a => Show (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Statement a -> ShowS Source #

show :: Statement a -> String Source #

showList :: [Statement a] -> ShowS Source #

Binary a => Binary (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Statement a -> Put Source #

get :: Get (Statement a) Source #

putList :: [Statement a] -> Put Source #

Pretty (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Statement a -> Doc Source #

pPrintPrec :: Int -> Statement a -> Doc Source #

pPrintList :: [Statement a] -> Doc Source #

HasPosition (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Statement a -> Position Source #

setPosition :: Position -> Statement a -> Statement a Source #

HasSpanInfo (Statement a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Statement a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Statement a -> Statement a Source #

updateEndPos :: Statement a -> Statement a Source #

getLayoutInfo :: Statement a -> LayoutInfo Source #

QuantExpr (Statement a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Statement a -> [Ident] Source #

QualExpr (Statement a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Statement a -> [Ident] Source #

data CaseType Source #

Type of case expressions

Constructors

Rigid 
Flex 

Instances

Instances details
Eq CaseType Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read CaseType Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS CaseType Source #

readList :: ReadS [CaseType] Source #

readPrec :: ReadPrec CaseType Source #

readListPrec :: ReadPrec [CaseType] Source #

Show CaseType Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> CaseType -> ShowS Source #

show :: CaseType -> String Source #

showList :: [CaseType] -> ShowS Source #

Binary CaseType Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: CaseType -> Put Source #

get :: Get CaseType Source #

putList :: [CaseType] -> Put Source #

Pretty CaseType Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: CaseType -> Doc Source #

pPrintPrec :: Int -> CaseType -> Doc Source #

pPrintList :: [CaseType] -> Doc Source #

data Alt a Source #

Single case alternative

Constructors

Alt SpanInfo (Pattern a) (Rhs a) 

Instances

Instances details
Functor Alt Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

QualAnnotExpr Alt Source # 
Instance details

Defined in Base.AnnotExpr

Methods

qafv :: ModuleIdent -> Alt Type -> [(Type, Ident)] Source #

Eq a => Eq (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Alt a) Source #

readList :: ReadS [Alt a] Source #

readPrec :: ReadPrec (Alt a) Source #

readListPrec :: ReadPrec [Alt a] Source #

Show a => Show (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Alt a -> ShowS Source #

show :: Alt a -> String Source #

showList :: [Alt a] -> ShowS Source #

Binary a => Binary (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Alt a -> Put Source #

get :: Get (Alt a) Source #

putList :: [Alt a] -> Put Source #

Pretty (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Alt a -> Doc Source #

pPrintPrec :: Int -> Alt a -> Doc Source #

pPrintList :: [Alt a] -> Doc Source #

HasPosition (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Alt a -> Position Source #

setPosition :: Position -> Alt a -> Alt a Source #

HasSpanInfo (Alt a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Alt a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Alt a -> Alt a Source #

updateEndPos :: Alt a -> Alt a Source #

getLayoutInfo :: Alt a -> LayoutInfo Source #

QualExpr (Alt a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Alt a -> [Ident] Source #

Typeable a => Typeable (Alt a) Source # 
Instance details

Defined in Base.Typing

Methods

typeOf :: Alt a -> Type Source #

data Field a Source #

Record field

Constructors

Field SpanInfo QualIdent a 

Instances

Instances details
Functor Field Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Eq a => Eq (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Field a) Source #

readList :: ReadS [Field a] Source #

readPrec :: ReadPrec (Field a) Source #

readListPrec :: ReadPrec [Field a] Source #

Show a => Show (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Field a -> ShowS Source #

show :: Field a -> String Source #

showList :: [Field a] -> ShowS Source #

Binary a => Binary (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Field a -> Put Source #

get :: Get (Field a) Source #

putList :: [Field a] -> Put Source #

Pretty a => Pretty (Field a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Field a -> Doc Source #

pPrintPrec :: Int -> Field a -> Doc Source #

pPrintList :: [Field a] -> Doc Source #

HasPosition (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Field a -> Position Source #

setPosition :: Position -> Field a -> Field a Source #

HasSpanInfo (Field a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Field a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Field a -> Field a Source #

updateEndPos :: Field a -> Field a Source #

getLayoutInfo :: Field a -> LayoutInfo Source #

QuantExpr a => QuantExpr (Field a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Field a -> [Ident] Source #

QualExpr a => QualExpr (Field a) Source # 
Instance details

Defined in Base.Expr

Methods

qfv :: ModuleIdent -> Field a -> [Ident] Source #

data Var a Source #

Annotated identifier

Constructors

Var a Ident 

Instances

Instances details
Functor Var Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Eq a => Eq (Var a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Var a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Var a) Source #

readList :: ReadS [Var a] Source #

readPrec :: ReadPrec (Var a) Source #

readListPrec :: ReadPrec [Var a] Source #

Show a => Show (Var a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Var a -> ShowS Source #

show :: Var a -> String Source #

showList :: [Var a] -> ShowS Source #

Binary a => Binary (Var a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Var a -> Put Source #

get :: Get (Var a) Source #

putList :: [Var a] -> Put Source #

Pretty (Var a) Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Var a -> Doc Source #

pPrintPrec :: Int -> Var a -> Doc Source #

pPrintList :: [Var a] -> Doc Source #

QuantExpr (Var a) Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Var a -> [Ident] Source #

Type classes

type Context = [Constraint] Source #

data Constraint Source #

Constructors

Constraint SpanInfo QualIdent TypeExpr 

Instances

Instances details
Eq Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS Constraint Source #

readList :: ReadS [Constraint] Source #

readPrec :: ReadPrec Constraint Source #

readListPrec :: ReadPrec [Constraint] Source #

Show Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Constraint -> ShowS Source #

show :: Constraint -> String Source #

showList :: [Constraint] -> ShowS Source #

Binary Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

put :: Constraint -> Put Source #

get :: Get Constraint Source #

putList :: [Constraint] -> Put Source #

Pretty Constraint Source # 
Instance details

Defined in Curry.Syntax.Pretty

Methods

pPrint :: Constraint -> Doc Source #

pPrintPrec :: Int -> Constraint -> Doc Source #

pPrintList :: [Constraint] -> Doc Source #

HasPosition Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Constraint -> Position Source #

setPosition :: Position -> Constraint -> Constraint Source #

HasSpanInfo Constraint Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Constraint -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Constraint -> Constraint Source #

updateEndPos :: Constraint -> Constraint Source #

getLayoutInfo :: Constraint -> LayoutInfo Source #

QuantExpr Constraint Source # 
Instance details

Defined in Base.Expr

Methods

bv :: Constraint -> [Ident] Source #

Expr Constraint Source # 
Instance details

Defined in Base.Expr

Methods

fv :: Constraint -> [Ident] Source #

type InstanceType = TypeExpr Source #

Goals

data Goal a Source #

Goal in REPL (expression to evaluate)

Constructors

Goal SpanInfo LayoutInfo (Expression a) [Decl a] 

Instances

Instances details
Functor Goal Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Eq a => Eq (Goal a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

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

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

Read a => Read (Goal a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

readsPrec :: Int -> ReadS (Goal a) Source #

readList :: ReadS [Goal a] Source #

readPrec :: ReadPrec (Goal a) Source #

readListPrec :: ReadPrec [Goal a] Source #

Show a => Show (Goal a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

showsPrec :: Int -> Goal a -> ShowS Source #

show :: Goal a -> String Source #

showList :: [Goal a] -> ShowS Source #

HasPosition (Goal a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getPosition :: Goal a -> Position Source #

setPosition :: Position -> Goal a -> Goal a Source #

HasSpanInfo (Goal a) Source # 
Instance details

Defined in Curry.Syntax.Type

Methods

getSpanInfo :: Goal a -> SpanInfo Source #

setSpanInfo :: SpanInfo -> Goal a -> Goal a Source #

updateEndPos :: Goal a -> Goal a Source #

getLayoutInfo :: Goal a -> LayoutInfo Source #