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

Curry.Syntax.Lexer

Contents

Data types for tokens
lexing functions

Description

Synopsis

data Token = Token Category Attributes
data Category
- = 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
data Attributes
- = NoAttributes
- | CharAttributes {
  - cval :: Char
  - original :: String
  }
- | IntAttributes {
  - ival :: Integer
  - original :: String
  }
- | FloatAttributes {
  - fval :: Double
  - original :: String
  }
- | StringAttributes {
  - sval :: String
  - original :: String
  }
- | IdentAttributes {
  - modulVal :: [String]
  - sval :: String
  }
- | OptionsAttributes {
  - toolVal :: Maybe String
  - toolArgs :: String
  }
lexSource :: FilePath -> String -> CYM [(Span, Token)]
lexer :: Lexer Token a
fullLexer :: Lexer Token a

Data types for tokens

data Token Source #

Data type for curry lexer tokens

Constructors

Token Category Attributes

Instances

Eq Token Source #
Instance details Defined in Curry.Syntax.Lexer Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Ord Token Source #
Instance details 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 Source #
Instance details Defined in Curry.Syntax.Lexer Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #
Symbol Token Source #
Instance details Defined in Curry.Syntax.Lexer Methods isEOF :: Token -> Bool Source # dist :: Int -> Token -> Distance Source #

data Category Source #

Category of curry tokens

Instances

Eq Category Source #
Instance details Defined in Curry.Syntax.Lexer Methods (==) :: Category -> Category -> Bool # (/=) :: Category -> Category -> Bool #
Ord Category Source #
Instance details 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 Source #

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 Source #
Instance details Defined in Curry.Syntax.Lexer Methods showsPrec :: Int -> Attributes -> ShowS # show :: Attributes -> String # showList :: [Attributes] -> ShowS #

lexing functions

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

Lex source code

lexer :: Lexer Token a Source #

CPS-Lexer for Curry

fullLexer :: Lexer Token a Source #

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

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