Idris2Doc : Text.WebIDL.Codegen.Members

Text.WebIDL.Codegen.Members

(source)

Definitions

jsType : Identifier->Supertypes->String
Totality: total
Visibility: export
constants : ListCGConst->ListString
Totality: total
Visibility: export
primCallback : CGCallback->String
Totality: total
Visibility: export
callback : CGCallback->String
Totality: total
Visibility: export
functions : ListCGFunction->ListString
Totality: total
Visibility: export
primFunctions : ListCGFunction->ListString
Totality: total
Visibility: export