Curry.Syntax.Lexer

Data types for tokens

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

lexing functions

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

Lex source code

lexer :: Lexer Token a

CPS-Lexer for Curry

fullLexer :: Lexer Token a

CPS-Lexer for Curry which also lexes comments. This lexer is useful for documentation tools.