Text.WebIDL.Lexer

Definitions

0 ParseErr : Type

Totality: total
Visibility: public export

lexIdl : String -> Either (Bounded ParseErr) (List (Bounded IdlToken))

  Generates a list of IdlTokens
  from an input string, removing unnecessary tokens by
  means of `isNoise`.

Totality: total
Visibility: export