toml-parser-1.3.2.0: TOML 1.0.0 parser
Copyright(c) Eric Mertens 2023
LicenseISC
Maintaineremertens@gmail.com
Safe HaskellSafe-Inferred
LanguageHaskell2010

Toml.Lexer

Description

This module parses a TOML file into a lazy sequence of tokens. The lexer is aware of nested brackets and equals signs in order to handle TOML's context-sensitive lexing requirements. This context enables the lexer to distinguish between bare keys and various values like: floating-point literals, integer literals, and date literals.

This module uses actions and lexical hooks defined in LexerUtils.

Synopsis

Documentation

data Context Source #

Representation of the current lexer state.

Constructors

TopContext

top-level where [[ and ]] have special meaning

TableContext

inline table - lex key names

ValueContext

value lexer - lex number literals

MlBstrContext Position [String]

multiline basic string: position of opening delimiter and list of fragments

BstrContext Position [String]

basic string: position of opening delimiter and list of fragments

MlLstrContext Position [String]

multiline literal string: position of opening delimiter and list of fragments

LstrContext Position [String]

literal string: position of opening delimiter and list of fragments

Instances

Instances details
Show Context Source # 
Instance details

Defined in Toml.Lexer.Utils

scanToken :: Context -> Located String -> Either (Located String) (Located Token, Located String) Source #

Get the next token from a located string. This function can be total because one of the possible token outputs is an error token.

lexValue :: String -> Either String Token Source #

Lex a single token in a value context. This is mostly useful for testing.

data Token Source #

Lexical token

Constructors

TokTrue
true
TokFalse
false
TokComma
','
TokEquals
'='
TokNewline
end-of-line
TokPeriod
.
TokSquareO
'['
TokSquareC
']'
Tok2SquareO
'[['
Tok2SquareC
']]'
TokCurlyO
'{'
TokCurlyC
'}'
TokBareKey String

bare key

TokString String

string literal

TokMlString String

multiline string literal

TokInteger !Integer

integer literal

TokFloat !Double

floating-point literal

TokOffsetDateTime !ZonedTime

date-time with timezone offset

TokLocalDateTime !LocalTime

local date-time

TokLocalDate !Day

local date

TokLocalTime !TimeOfDay

local time

TokEOF
end-of-input

Instances

Instances details
Read Token Source # 
Instance details

Defined in Toml.Lexer.Token

Show Token Source # 
Instance details

Defined in Toml.Lexer.Token

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #