Idris2Doc : Text.WebIDL.Codegen.Members

Text.WebIDL.Codegen.Members

(source)
Definitions
jsType : Identifier -> Supertypes -> String
  Totality: total
  Visibility: export
constants : List CGConst -> List String
  Totality: total
  Visibility: export
primCallback : CGCallback -> String
  Totality: total
  Visibility: export
callback : CGCallback -> String
  Totality: total
  Visibility: export
functions : List CGFunction -> List String
  Totality: total
  Visibility: export
primFunctions : List CGFunction -> List String
  Totality: total
  Visibility: export