Curry.Syntax

Documentation

module Curry.Syntax.Type

module Curry.Syntax.Utils

data Token

Data type for curry lexer tokens

Constructors

Token Category Attributes

Instances

Eq Token

Defined in Curry.Syntax.Lexer

Methods

(==) :: Token -> Token -> Bool

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

Ord Token

Defined in Curry.Syntax.Lexer

Methods

compare :: Token -> Token -> Ordering

(<) :: Token -> Token -> Bool

(<=) :: Token -> Token -> Bool

(>) :: Token -> Token -> Bool

(>=) :: Token -> Token -> Bool

max :: Token -> Token -> Token

min :: Token -> Token -> Token

Show Token

Defined in Curry.Syntax.Lexer

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Symbol Token

Defined in Curry.Syntax.Lexer

Methods

isEOF :: Token -> Bool

dist :: Int -> Token -> Distance

data Category

Category of curry tokens

Constructors

CharTok

IntTok

FloatTok

StringTok

Id

QId

Sym

QSym

LeftParen

RightParen

Semicolon

LeftBrace

RightBrace

LeftBracket

RightBracket

Comma

Underscore

Backquote

VSemicolon

VRightBrace

KW_case

KW_class

KW_data

KW_default

KW_deriving

KW_do

KW_else

KW_external

KW_fcase

KW_free

KW_if

KW_import

KW_in

KW_infix

KW_infixl

KW_infixr

KW_instance

KW_let

KW_module

KW_newtype

KW_of

KW_then

KW_type

KW_where

At

Colon

DotDot

DoubleColon

Equals

Backslash

Bar

LeftArrow

RightArrow

Tilde

DoubleArrow

Id_as

Id_ccall

Id_forall

Id_hiding

Id_interface

Id_primitive

Id_qualified

SymDot

SymMinus

SymStar

PragmaLanguage

PragmaOptions

PragmaHiding

PragmaMethod

PragmaModule

PragmaEnd

LineComment

NestedComment

EOF

Instances

Eq Category

Defined in Curry.Syntax.Lexer

Methods

(==) :: Category -> Category -> Bool

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

Ord Category

Defined in Curry.Syntax.Lexer

Methods

compare :: Category -> Category -> Ordering

(<) :: Category -> Category -> Bool

(<=) :: Category -> Category -> Bool

(>) :: Category -> Category -> Bool

(>=) :: Category -> Category -> Bool

max :: Category -> Category -> Category

min :: Category -> Category -> Category

data Attributes

Attributes associated to a token

Constructors

NoAttributes

CharAttributes

Fields

• cval :: Char
• original :: String

IntAttributes

Fields

• ival :: Integer
• original :: String

FloatAttributes

Fields

• fval :: Double
• original :: String

StringAttributes

Fields

• sval :: String
• original :: String

IdentAttributes

Fields

• modulVal :: [String]
• sval :: String

OptionsAttributes

Fields

• toolVal :: Maybe String
• toolArgs :: String

Instances

Show Attributes

Defined in Curry.Syntax.Lexer

Methods

showsPrec :: Int -> Attributes -> ShowS

show :: Attributes -> String

showList :: [Attributes] -> ShowS

unlit :: FilePath -> String -> CYM String

Unliterate a LiterateCurry file, identity on normal Curry file.

unlitLexSource :: FilePath -> String -> CYM [(Span, Token)]

Unliterate and return the result of a lexical analysis of the source program src. The result is a list of tuples consisting of a Span and a Token.

unlitParseHeader :: FilePath -> String -> CYM (Module ())

Unliterate and parse a Curry Module header

unlitParsePragmas :: FilePath -> String -> CYM (Module ())

Unliterate and parse only pragmas of a Curry Module

unlitParseModule :: FilePath -> String -> CYM (Module ())

Unliterate and parse a Curry Module

lexSource :: FilePath -> String -> CYM [(Span, Token)]

Return the result of a lexical analysis of the source program src. The result is a list of tuples consisting of a Span and a Token.

parseInterface :: FilePath -> String -> CYM Interface

Parse a Curry Interface

parseHeader :: FilePath -> String -> CYM (Module ())

Parse a Curry Module header

parsePragmas :: FilePath -> String -> CYM (Module ())

Parse only pragmas of a Curry Module

parseModule :: FilePath -> String -> CYM (Module ())

Parse a Curry Module

parseGoal :: String -> CYM (Goal ())

Parse a Goal, i.e. an expression with (optional) local declarations

ppModule :: Module a -> Doc

Pretty print a module

ppInterface :: Interface -> Doc

Pretty print an interface

ppIDecl :: IDecl -> Doc

Pretty print an interface declaration

showModule :: Show a => Module a -> String

Show a Curry module like by an devired Show instance