| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell98 |
Cryptol.Parser.Lexer
- primLexer :: Config -> String -> ([Located Token], Position)
- lexer :: Config -> String -> ([Located Token], Position)
- data Layout
- data Token = Token {}
- data TokenT
- data TokenV
- data TokenKW
- = KW_Arith
- | KW_Bit
- | KW_Cmp
- | KW_False
- | KW_True
- | KW_else
- | KW_Eq
- | KW_error
- | KW_extern
- | KW_fin
- | KW_if
- | KW_private
- | KW_include
- | KW_inf
- | KW_join
- | KW_lg2
- | KW_lengthFromThen
- | KW_lengthFromThenTo
- | KW_max
- | KW_min
- | KW_module
- | KW_newtype
- | KW_pragma
- | KW_pmult
- | KW_pdiv
- | KW_pmod
- | KW_property
- | KW_random
- | KW_reverse
- | KW_split
- | KW_splitAt
- | KW_then
- | KW_transpose
- | KW_type
- | KW_where
- | KW_let
- | KW_x
- | KW_zero
- | KW_import
- | KW_as
- | KW_hiding
- data TokenErr
- data TokenOp
- data TokenSym
- data TokenW
- data Located a = Located {}
- data Config = Config {
- cfgSource :: !FilePath
- cfgLayout :: !Layout
- cfgPreProc :: PreProc
- cfgAutoInclude :: [FilePath]
- cfgModuleScope :: Bool
- defaultConfig :: Config
Documentation
primLexer :: Config -> String -> ([Located Token], Position) Source
Returns the tokens and the last position of the input that we processed. The tokens include whte space tokens.
lexer :: Config -> String -> ([Located Token], Position) Source
Returns the tokens in the last position of the input that we processed. White space is removed, and layout processing is done as requested. This stream is fed to the parser.
Virtual tokens, inserted by layout processing.
Constructors
Constructors
| Config | |
Fields
| |