Text.TOML.Lexer

Definitions

underscore : Bits8

Totality: total
Visibility: export

wschar : RExp True

  wschar =  %x20  ; Space
  wschar =/ %x09  ; Horizontal tab

Totality: total
Visibility: export

newline : RExp True

  newline =  %x0A     ; LF
  newline =/ %x0D.0A  ; CRLF

Totality: total
Visibility: export

nonAscii : RExp True

  non-ascii = %x80-D7FF / %xE000-10FFFF

Totality: total
Visibility: export

comment : RExp True

  comment-start-symbol = %x23 ; #
  comment = comment-start-symbol *non-eol
  non-eol = %x09 / %x20-7E / non-ascii

Totality: total
Visibility: export

unquotedKey : RExp True

  unquoted-key = 1*( ALPHA / DIGIT / %x2D / %x5F ) ; A-Z / a-z / 0-9 / - / _

Totality: total
Visibility: export

literalChars : RExp True

  literal-char = %x09 / %x20-26 / %x28-7E / non-ascii

Totality: total
Visibility: export

basicUnescaped : RExp True

  basic-unescaped = wschar / %x21 / %x23-5B / %x5D-7E / non-ascii

Totality: total
Visibility: export

mlbEscapedNL : RExp True

  mlb-escaped-nl = escape ws newline *( wschar / newline )

Totality: total
Visibility: export

decInt : RExp True

  dec-int = [ minus / plus ] unsigned-dec-int
  unsigned-dec-int = DIGIT / digit1-9 1*( DIGIT / underscore DIGIT )

Totality: total
Visibility: export

binInt : RExp True

  bin-int = bin-prefix digit0-1 *( digit0-1 / underscore digit0-1 )

Totality: total
Visibility: export

octInt : RExp True

  oct-int = oct-prefix digit0-7 *( digit0-7 / underscore digit0-7 )

Totality: total
Visibility: export

hexInt : RExp True

  hex-int = hex-prefix HEXDIG *( HEXDIG / underscore HEXDIG )

Totality: total
Visibility: export

readDecInt : ByteString -> Integer

Totality: total
Visibility: export

nan : RExp True

Totality: total
Visibility: export

posInf : RExp True

Totality: total
Visibility: export

float : RExp True

  float = float-int-part ( exp / frac [ exp ] )
  float-int-part = dec-int
  frac = decimal-point zero-prefixable-int
  decimal-point = %x2E               ; .
  zero-prefixable-int = DIGIT *( DIGIT / underscore DIGIT )
  exp = "e" float-exp-part
  float-exp-part = [ minus / plus ] zero-prefixable-int

Totality: total
Visibility: export

readFloat : ByteString -> TomlFloat

Totality: total
Visibility: export

fullDate : RExp True

  full-date      = date-fullyear "-" date-month "-" date-mday
  local-date     = full-date
  date-fullyear  = 4DIGIT
  date-month     = 2DIGIT  ; 01-12
  date-mday      = 2DIGIT  ; 01-28, 01-29, 01-30, 01-31 based on month/year

Totality: total
Visibility: export

readLocalDate : ByteString -> LocalDate

Totality: total
Visibility: export

localTime : RExp True

  local-time   = partial-time
  partial-time = time-hour ":" time-minute [ ":" time-second [ time-secfrac ] ]
  time-secfrac = "." 1*DIGIT

Totality: total
Visibility: export

readLocalTime : ByteString -> LocalTime

Totality: total
Visibility: export

localDateTime : RExp True

  local-date-time = full-date time-delim partial-time
  time-delim     = "T" / %x20 ; T, t, or space

Totality: total
Visibility: export

readLocalDateTime : ByteString -> LocalDateTime

Totality: total
Visibility: export

offsetDateTime : RExp True

  offset-date-time = full-date time-delim full-time
  full-time = partial-time time-offset
  time-offset    = "Z" / time-numoffset
  time-numoffset = ( "+" / "-" ) time-hour ":" time-minute

Totality: total
Visibility: export

readOffsetDateTime : ByteString -> OffsetDateTime

Totality: total
Visibility: export