Text.WebIDL.Types.Token

Definitions

data IdlError : Type

Totality: total
Visibility: public export
Constructors:

ExpectedStringLit : IdlError

InvalidArgName : String -> IdlError

Hints:

Eq IdlError

Interpolation IdlError

Show IdlError

data IdlToken : Type

  Text tokens in the WebIDL grammar. The `Invalid` token
  is not recognized by any parser and will lead to a
  failure during parsing.

Totality: total
Visibility: public export
Constructors:

SLit : StringLit -> IdlToken

  A string literal

ILit : IntLit -> IdlToken

  An integer literal (in decimal, hexadecimal, or
  octal representation)

FLit : FloatLit -> IdlToken

  A floating point literal

Ident : Identifier -> IdlToken

  Any valid identifier that is not also a
  keyword.

Key : Keyword -> IdlToken

  A WebIDL keyword

Other : Symbol -> IdlToken

  A single symbol character (or an ellipsis: ...)

Comment : IdlToken

  Single or multiline comment

Space : IdlToken

  A sequence of whitespace characters

Hints:

Eq IdlToken

Interpolation IdlToken

Show IdlToken