Idris2Doc : Text.WebIDL.Parser.Type

Text.WebIDL.Parser.Type

(source)
Definitions
primitive : Rule True PrimitiveType
  Totality: total
  Visibility: export
constType : Rule True ConstType
  Totality: total
  Visibility: export
idlType : Rule True IdlType
  Totality: total
  Visibility: export
optionalType : Rule False OptionalType
  Totality: total
  Visibility: export