Idris2Doc : Text.WebIDL.Parser.Type

Text.WebIDL.Parser.Type

(source)

Definitions

primitive : RuleTruePrimitiveType
Totality: total
Visibility: export
constType : RuleTrueConstType
Totality: total
Visibility: export
idlType : RuleTrueIdlType
Totality: total
Visibility: export
optionalType : RuleFalseOptionalType
Totality: total
Visibility: export