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
- | ExistentialQuantification
- | 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] Context Ident [TypeExpr]
- | ConOpDecl SpanInfo [Ident] Context TypeExpr Ident TypeExpr
- | RecordDecl SpanInfo [Ident] Context 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

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

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

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
ExistentialQuantification	existential quantification
FunctionalPatterns	functional patterns
NegativeLiterals	negative literals
NoImplicitPrelude	no implicit import of the prelude

Instances

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

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

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

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

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

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

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

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

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

Instances

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

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

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

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

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] Context Ident [TypeExpr]
ConOpDecl SpanInfo [Ident] Context TypeExpr Ident TypeExpr
RecordDecl SpanInfo [Ident] Context Ident [FieldDecl]

Instances

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 #

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)

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