Copyright	(c) 1999 - 2004 Wolfgang Lux 2005 Martin Engelke 2011 - 2015 Björn Peemöller 2014 Jan Rasmus Tikovsky 2016 Finn Teegen
License	BSD-3-clause
Maintainer	bjp@informatik.uni-kiel.de
Stability	experimental
Portability	portable
Safe Haskell	Safe
Language	Haskell2010

Curry.Syntax.Type

Contents

Module header
Interface
Declarations
Type classes
Goals

Description

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

Synopsis

data Module a = Module SpanInfo [ModulePragma] ModuleIdent (Maybe ExportSpec) [ImportDecl] [Decl a]
data ModulePragma
- = LanguagePragma SpanInfo [Extension]
- | OptionsPragma SpanInfo (Maybe Tool) String
data Extension
- = KnownExtension Position KnownExtension
- | UnknownExtension Position String
data KnownExtension
- = AnonFreeVars
- | CPP
- | FunctionalPatterns
- | NegativeLiterals
- | NoImplicitPrelude
data Tool
- = KICS2
- | PAKCS
- | CYMAKE
- | FRONTEND
- | UnknownTool String
data ExportSpec = Exporting SpanInfo [Export]
data Export
- = Export SpanInfo QualIdent
- | ExportTypeWith SpanInfo QualIdent [Ident]
- | ExportTypeAll SpanInfo QualIdent
- | ExportModule SpanInfo ModuleIdent
data ImportDecl = ImportDecl SpanInfo ModuleIdent Qualified (Maybe ModuleIdent) (Maybe ImportSpec)
data ImportSpec
- = Importing SpanInfo [Import]
- | Hiding SpanInfo [Import]
data Import
- = Import SpanInfo Ident
- | ImportTypeWith SpanInfo Ident [Ident]
- | ImportTypeAll SpanInfo Ident
type Qualified = Bool
data Interface = Interface ModuleIdent [IImportDecl] [IDecl]
data IImportDecl = IImportDecl Position ModuleIdent
type Arity = Int
data IDecl
- = 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)
data KindExpr
- = Star
- | ArrowKind KindExpr KindExpr
data IMethodDecl = IMethodDecl Position Ident (Maybe Arity) QualTypeExpr
type IMethodImpl = (Ident, Arity)
data Decl a
- = 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 Context Ident Ident [Decl a]
- | InstanceDecl SpanInfo Context QualIdent InstanceType [Decl a]
type Precedence = Integer
data Infix
- = InfixL
- | InfixR
- | Infix
data ConstrDecl
- = ConstrDecl SpanInfo Ident [TypeExpr]
- | ConOpDecl SpanInfo TypeExpr Ident TypeExpr
- | RecordDecl SpanInfo Ident [FieldDecl]
data NewConstrDecl
- = NewConstrDecl SpanInfo Ident TypeExpr
- | NewRecordDecl SpanInfo Ident (Ident, TypeExpr)
data FieldDecl = FieldDecl SpanInfo [Ident] TypeExpr
data TypeExpr
- = 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
data QualTypeExpr = QualTypeExpr SpanInfo Context TypeExpr
data Equation a = Equation SpanInfo (Lhs a) (Rhs a)
data Lhs a
- = FunLhs SpanInfo Ident [Pattern a]
- | OpLhs SpanInfo (Pattern a) Ident (Pattern a)
- | ApLhs SpanInfo (Lhs a) [Pattern a]
data Rhs a
- = SimpleRhs SpanInfo (Expression a) [Decl a]
- | GuardedRhs SpanInfo [CondExpr a] [Decl a]
data CondExpr a = CondExpr SpanInfo (Expression a) (Expression a)
data Literal
- = Char Char
- | Int Integer
- | Float Double
- | String String
data Pattern a
- = 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)
data Expression a
- = 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 [Decl a] (Expression a)
- | Do SpanInfo [Statement a] (Expression a)
- | IfThenElse SpanInfo (Expression a) (Expression a) (Expression a)
- | Case SpanInfo CaseType (Expression a) [Alt a]
data InfixOp a
- = InfixOp a QualIdent
- | InfixConstr a QualIdent
data Statement a
- = StmtExpr SpanInfo (Expression a)
- | StmtDecl SpanInfo [Decl a]
- | StmtBind SpanInfo (Pattern a) (Expression a)
data CaseType
- = Rigid
- | Flex
data Alt a = Alt SpanInfo (Pattern a) (Rhs a)
data Field a = Field SpanInfo QualIdent a
data Var a = Var a Ident
type Context = [Constraint]
data Constraint = Constraint SpanInfo QualIdent TypeExpr
type InstanceType = TypeExpr
data Goal a = Goal SpanInfo (Expression a) [Decl a]

Module header

data Module a Source #

Curry module

Constructors

Module SpanInfo [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 (<$) :: a -> Module b -> Module a
Eq a => Eq (Module a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Module a -> Module a -> Bool (/=) :: Module a -> Module a -> Bool
Read a => Read (Module a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Module a) readList :: ReadS [Module a] readPrec :: ReadPrec (Module a) readListPrec :: ReadPrec [Module a]
Show a => Show (Module a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Module a -> ShowS show :: Module a -> String showList :: [Module a] -> ShowS
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 #

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 (/=) :: ModulePragma -> ModulePragma -> Bool
Read ModulePragma Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS ModulePragma readList :: ReadS [ModulePragma] readPrec :: ReadPrec ModulePragma readListPrec :: ReadPrec [ModulePragma]
Show ModulePragma Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> ModulePragma -> ShowS show :: ModulePragma -> String showList :: [ModulePragma] -> ShowS
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 #

data Extension Source #

Specified language extensions, either known or unknown.

Constructors

KnownExtension Position KnownExtension	a known extension
UnknownExtension Position String	an unknown extension

Instances

Instances details

Eq Extension Source #
Instance details Defined in Curry.Syntax.Extension Methods (==) :: Extension -> Extension -> Bool (/=) :: Extension -> Extension -> Bool
Read Extension Source #
Instance details Defined in Curry.Syntax.Extension Methods readsPrec :: Int -> ReadS Extension readList :: ReadS [Extension] readPrec :: ReadPrec Extension readListPrec :: ReadPrec [Extension]
Show Extension Source #
Instance details Defined in Curry.Syntax.Extension Methods showsPrec :: Int -> Extension -> ShowS show :: Extension -> String showList :: [Extension] -> ShowS
HasPosition Extension Source #
Instance details Defined in Curry.Syntax.Extension Methods getPosition :: Extension -> Position Source # setPosition :: Position -> Extension -> Extension 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 maxBound :: KnownExtension
Enum KnownExtension Source #
Instance details Defined in Curry.Syntax.Extension 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 Source #
Instance details Defined in Curry.Syntax.Extension Methods (==) :: KnownExtension -> KnownExtension -> Bool (/=) :: KnownExtension -> KnownExtension -> Bool
Read KnownExtension Source #
Instance details Defined in Curry.Syntax.Extension Methods readsPrec :: Int -> ReadS KnownExtension readList :: ReadS [KnownExtension] readPrec :: ReadPrec KnownExtension readListPrec :: ReadPrec [KnownExtension]
Show KnownExtension Source #
Instance details Defined in Curry.Syntax.Extension Methods showsPrec :: Int -> KnownExtension -> ShowS show :: KnownExtension -> String showList :: [KnownExtension] -> ShowS

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 (/=) :: Tool -> Tool -> Bool
Read Tool Source #
Instance details Defined in Curry.Syntax.Extension Methods readsPrec :: Int -> ReadS Tool readList :: ReadS [Tool] readPrec :: ReadPrec Tool readListPrec :: ReadPrec [Tool]
Show Tool Source #
Instance details Defined in Curry.Syntax.Extension Methods showsPrec :: Int -> Tool -> ShowS show :: Tool -> String showList :: [Tool] -> ShowS

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 (/=) :: ExportSpec -> ExportSpec -> Bool
Read ExportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS ExportSpec readList :: ReadS [ExportSpec] readPrec :: ReadPrec ExportSpec readListPrec :: ReadPrec [ExportSpec]
Show ExportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> ExportSpec -> ShowS show :: ExportSpec -> String showList :: [ExportSpec] -> ShowS
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 #

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 (/=) :: Export -> Export -> Bool
Read Export Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Export readList :: ReadS [Export] readPrec :: ReadPrec Export readListPrec :: ReadPrec [Export]
Show Export Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Export -> ShowS show :: Export -> String showList :: [Export] -> ShowS
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 #

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 (/=) :: ImportDecl -> ImportDecl -> Bool
Read ImportDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS ImportDecl readList :: ReadS [ImportDecl] readPrec :: ReadPrec ImportDecl readListPrec :: ReadPrec [ImportDecl]
Show ImportDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> ImportDecl -> ShowS show :: ImportDecl -> String showList :: [ImportDecl] -> ShowS
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 #

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 (/=) :: ImportSpec -> ImportSpec -> Bool
Read ImportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS ImportSpec readList :: ReadS [ImportSpec] readPrec :: ReadPrec ImportSpec readListPrec :: ReadPrec [ImportSpec]
Show ImportSpec Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> ImportSpec -> ShowS show :: ImportSpec -> String showList :: [ImportSpec] -> ShowS
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 #

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 (/=) :: Import -> Import -> Bool
Read Import Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Import readList :: ReadS [Import] readPrec :: ReadPrec Import readListPrec :: ReadPrec [Import]
Show Import Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Import -> ShowS show :: Import -> String showList :: [Import] -> ShowS
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 #

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 (/=) :: Interface -> Interface -> Bool
Read Interface Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Interface readList :: ReadS [Interface] readPrec :: ReadPrec Interface readListPrec :: ReadPrec [Interface]
Show Interface Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Interface -> ShowS show :: Interface -> String showList :: [Interface] -> ShowS

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 (/=) :: IImportDecl -> IImportDecl -> Bool
Read IImportDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS IImportDecl readList :: ReadS [IImportDecl] readPrec :: ReadPrec IImportDecl readListPrec :: ReadPrec [IImportDecl]
Show IImportDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> IImportDecl -> ShowS show :: IImportDecl -> String showList :: [IImportDecl] -> ShowS

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 (/=) :: IDecl -> IDecl -> Bool
Read IDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS IDecl readList :: ReadS [IDecl] readPrec :: ReadPrec IDecl readListPrec :: ReadPrec [IDecl]
Show IDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> IDecl -> ShowS show :: IDecl -> String showList :: [IDecl] -> ShowS

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 (/=) :: KindExpr -> KindExpr -> Bool
Read KindExpr Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS KindExpr readList :: ReadS [KindExpr] readPrec :: ReadPrec KindExpr readListPrec :: ReadPrec [KindExpr]
Show KindExpr Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> KindExpr -> ShowS show :: KindExpr -> String showList :: [KindExpr] -> ShowS

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 (/=) :: IMethodDecl -> IMethodDecl -> Bool
Read IMethodDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS IMethodDecl readList :: ReadS [IMethodDecl] readPrec :: ReadPrec IMethodDecl readListPrec :: ReadPrec [IMethodDecl]
Show IMethodDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> IMethodDecl -> ShowS show :: IMethodDecl -> String showList :: [IMethodDecl] -> ShowS

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 Context Ident Ident [Decl a]
InstanceDecl SpanInfo 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 (<$) :: a -> Decl b -> Decl a
Eq a => Eq (Decl a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Decl a -> Decl a -> Bool (/=) :: Decl a -> Decl a -> Bool
Read a => Read (Decl a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Decl a) readList :: ReadS [Decl a] readPrec :: ReadPrec (Decl a) readListPrec :: ReadPrec [Decl a]
Show a => Show (Decl a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Decl a -> ShowS show :: Decl a -> String showList :: [Decl a] -> ShowS
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 #

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 (/=) :: Infix -> Infix -> Bool
Read Infix Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Infix readList :: ReadS [Infix] readPrec :: ReadPrec Infix readListPrec :: ReadPrec [Infix]
Show Infix Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Infix -> ShowS show :: Infix -> String showList :: [Infix] -> ShowS
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 (/=) :: ConstrDecl -> ConstrDecl -> Bool
Read ConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS ConstrDecl readList :: ReadS [ConstrDecl] readPrec :: ReadPrec ConstrDecl readListPrec :: ReadPrec [ConstrDecl]
Show ConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> ConstrDecl -> ShowS show :: ConstrDecl -> String showList :: [ConstrDecl] -> ShowS
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 #

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 (/=) :: NewConstrDecl -> NewConstrDecl -> Bool
Read NewConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS NewConstrDecl readList :: ReadS [NewConstrDecl] readPrec :: ReadPrec NewConstrDecl readListPrec :: ReadPrec [NewConstrDecl]
Show NewConstrDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> NewConstrDecl -> ShowS show :: NewConstrDecl -> String showList :: [NewConstrDecl] -> ShowS
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 #

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 (/=) :: FieldDecl -> FieldDecl -> Bool
Read FieldDecl Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS FieldDecl readList :: ReadS [FieldDecl] readPrec :: ReadPrec FieldDecl readListPrec :: ReadPrec [FieldDecl]
Show FieldDecl Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> FieldDecl -> ShowS show :: FieldDecl -> String showList :: [FieldDecl] -> ShowS
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 #

data TypeExpr Source #

Type expressions

Instances

Instances details

Eq TypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: TypeExpr -> TypeExpr -> Bool (/=) :: TypeExpr -> TypeExpr -> Bool
Read TypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS TypeExpr readList :: ReadS [TypeExpr] readPrec :: ReadPrec TypeExpr readListPrec :: ReadPrec [TypeExpr]
Show TypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> TypeExpr -> ShowS show :: TypeExpr -> String showList :: [TypeExpr] -> ShowS
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 #

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 (/=) :: QualTypeExpr -> QualTypeExpr -> Bool
Read QualTypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS QualTypeExpr readList :: ReadS [QualTypeExpr] readPrec :: ReadPrec QualTypeExpr readListPrec :: ReadPrec [QualTypeExpr]
Show QualTypeExpr Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> QualTypeExpr -> ShowS show :: QualTypeExpr -> String showList :: [QualTypeExpr] -> ShowS
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 #

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 (<$) :: a -> Equation b -> Equation a
Eq a => Eq (Equation a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Equation a -> Equation a -> Bool (/=) :: Equation a -> Equation a -> Bool
Read a => Read (Equation a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Equation a) readList :: ReadS [Equation a] readPrec :: ReadPrec (Equation a) readListPrec :: ReadPrec [Equation a]
Show a => Show (Equation a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Equation a -> ShowS show :: Equation a -> String showList :: [Equation a] -> ShowS
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 #

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 (<$) :: a -> Lhs b -> Lhs a
Eq a => Eq (Lhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Lhs a -> Lhs a -> Bool (/=) :: Lhs a -> Lhs a -> Bool
Read a => Read (Lhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Lhs a) readList :: ReadS [Lhs a] readPrec :: ReadPrec (Lhs a) readListPrec :: ReadPrec [Lhs a]
Show a => Show (Lhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Lhs a -> ShowS show :: Lhs a -> String showList :: [Lhs a] -> ShowS
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 #

data Rhs a Source #

Right-hand-side of an Equation

Constructors

SimpleRhs SpanInfo (Expression a) [Decl a]
GuardedRhs SpanInfo [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 (<$) :: a -> Rhs b -> Rhs a
Eq a => Eq (Rhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Rhs a -> Rhs a -> Bool (/=) :: Rhs a -> Rhs a -> Bool
Read a => Read (Rhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Rhs a) readList :: ReadS [Rhs a] readPrec :: ReadPrec (Rhs a) readListPrec :: ReadPrec [Rhs a]
Show a => Show (Rhs a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Rhs a -> ShowS show :: Rhs a -> String showList :: [Rhs a] -> ShowS
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 #

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 (<$) :: a -> CondExpr b -> CondExpr a
Eq a => Eq (CondExpr a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: CondExpr a -> CondExpr a -> Bool (/=) :: CondExpr a -> CondExpr a -> Bool
Read a => Read (CondExpr a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (CondExpr a) readList :: ReadS [CondExpr a] readPrec :: ReadPrec (CondExpr a) readListPrec :: ReadPrec [CondExpr a]
Show a => Show (CondExpr a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> CondExpr a -> ShowS show :: CondExpr a -> String showList :: [CondExpr a] -> ShowS
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 #

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 (/=) :: Literal -> Literal -> Bool
Read Literal Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Literal readList :: ReadS [Literal] readPrec :: ReadPrec Literal readListPrec :: ReadPrec [Literal]
Show Literal Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Literal -> ShowS show :: Literal -> String showList :: [Literal] -> ShowS

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 (<$) :: a -> Pattern b -> Pattern a
Eq a => Eq (Pattern a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Pattern a -> Pattern a -> Bool (/=) :: Pattern a -> Pattern a -> Bool
Read a => Read (Pattern a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Pattern a) readList :: ReadS [Pattern a] readPrec :: ReadPrec (Pattern a) readListPrec :: ReadPrec [Pattern a]
Show a => Show (Pattern a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Pattern a -> ShowS show :: Pattern a -> String showList :: [Pattern a] -> ShowS
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 #

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 [Decl a] (Expression a)
Do SpanInfo [Statement a] (Expression a)
IfThenElse SpanInfo (Expression a) (Expression a) (Expression a)
Case SpanInfo 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 (<$) :: a -> Expression b -> Expression a
Eq a => Eq (Expression a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Expression a -> Expression a -> Bool (/=) :: Expression a -> Expression a -> Bool
Read a => Read (Expression a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Expression a) readList :: ReadS [Expression a] readPrec :: ReadPrec (Expression a) readListPrec :: ReadPrec [Expression a]
Show a => Show (Expression a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Expression a -> ShowS show :: Expression a -> String showList :: [Expression a] -> ShowS
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 #

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 (<$) :: a -> InfixOp b -> InfixOp a
Eq a => Eq (InfixOp a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: InfixOp a -> InfixOp a -> Bool (/=) :: InfixOp a -> InfixOp a -> Bool
Read a => Read (InfixOp a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (InfixOp a) readList :: ReadS [InfixOp a] readPrec :: ReadPrec (InfixOp a) readListPrec :: ReadPrec [InfixOp a]
Show a => Show (InfixOp a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> InfixOp a -> ShowS show :: InfixOp a -> String showList :: [InfixOp a] -> ShowS
HasPosition (InfixOp a) Source #
Instance details Defined in Curry.Syntax.Type Methods getPosition :: InfixOp a -> Position Source # setPosition :: Position -> InfixOp a -> InfixOp a Source #

data Statement a Source #

Statement (used for do-sequence and list comprehensions)

Constructors

StmtExpr SpanInfo (Expression a)
StmtDecl SpanInfo [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 (<$) :: a -> Statement b -> Statement a
Eq a => Eq (Statement a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Statement a -> Statement a -> Bool (/=) :: Statement a -> Statement a -> Bool
Read a => Read (Statement a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Statement a) readList :: ReadS [Statement a] readPrec :: ReadPrec (Statement a) readListPrec :: ReadPrec [Statement a]
Show a => Show (Statement a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Statement a -> ShowS show :: Statement a -> String showList :: [Statement a] -> ShowS
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 #

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 (/=) :: CaseType -> CaseType -> Bool
Read CaseType Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS CaseType readList :: ReadS [CaseType] readPrec :: ReadPrec CaseType readListPrec :: ReadPrec [CaseType]
Show CaseType Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> CaseType -> ShowS show :: CaseType -> String showList :: [CaseType] -> ShowS

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 (<$) :: a -> Alt b -> Alt a
Eq a => Eq (Alt a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Alt a -> Alt a -> Bool (/=) :: Alt a -> Alt a -> Bool
Read a => Read (Alt a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Alt a) readList :: ReadS [Alt a] readPrec :: ReadPrec (Alt a) readListPrec :: ReadPrec [Alt a]
Show a => Show (Alt a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Alt a -> ShowS show :: Alt a -> String showList :: [Alt a] -> ShowS
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 #

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 (<$) :: a -> Field b -> Field a
Eq a => Eq (Field a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Field a -> Field a -> Bool (/=) :: Field a -> Field a -> Bool
Read a => Read (Field a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Field a) readList :: ReadS [Field a] readPrec :: ReadPrec (Field a) readListPrec :: ReadPrec [Field a]
Show a => Show (Field a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Field a -> ShowS show :: Field a -> String showList :: [Field a] -> ShowS
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 #

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 (<$) :: a -> Var b -> Var a
Eq a => Eq (Var a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Var a -> Var a -> Bool (/=) :: Var a -> Var a -> Bool
Read a => Read (Var a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Var a) readList :: ReadS [Var a] readPrec :: ReadPrec (Var a) readListPrec :: ReadPrec [Var a]
Show a => Show (Var a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Var a -> ShowS show :: Var a -> String showList :: [Var a] -> ShowS

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 (/=) :: Constraint -> Constraint -> Bool
Read Constraint Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS Constraint readList :: ReadS [Constraint] readPrec :: ReadPrec Constraint readListPrec :: ReadPrec [Constraint]
Show Constraint Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Constraint -> ShowS show :: Constraint -> String showList :: [Constraint] -> ShowS
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 #

type InstanceType = TypeExpr Source #

Goals

data Goal a Source #

Goal in REPL (expression to evaluate)

Constructors

Goal SpanInfo (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 (<$) :: a -> Goal b -> Goal a
Eq a => Eq (Goal a) Source #
Instance details Defined in Curry.Syntax.Type Methods (==) :: Goal a -> Goal a -> Bool (/=) :: Goal a -> Goal a -> Bool
Read a => Read (Goal a) Source #
Instance details Defined in Curry.Syntax.Type Methods readsPrec :: Int -> ReadS (Goal a) readList :: ReadS [Goal a] readPrec :: ReadPrec (Goal a) readListPrec :: ReadPrec [Goal a]
Show a => Show (Goal a) Source #
Instance details Defined in Curry.Syntax.Type Methods showsPrec :: Int -> Goal a -> ShowS show :: Goal a -> String showList :: [Goal a] -> ShowS
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 #

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