Text.WebIDL.Types.Symbol

Definitions

data Symbol : Type

  A single non-alphanumeric character that is not
  part of another recognized text token like a comment
  or floating point literal.

Totality: total
Visibility: public export
Constructors:

Ellipsis : Symbol

  An ellipsis : ...

Symb : Char -> Symbol

  A single non-alphanumeric character like '=' or '{'.

Hints:

Eq Symbol

Interpolation Symbol

Show Symbol