Idris2Doc : Text.WebIDL.Codegen.Definitions

Text.WebIDL.Codegen.Definitions

(source)
Reexports
import public Text.WebIDL.Codegen.Util
Definitions
typedefs : List CGDomain -> String
  Totality: total
  Visibility: export
types : CGDomain -> String
  Totality: total
  Visibility: export
primitives : CGDomain -> String
  Totality: total
  Visibility: export
definitions : CGDomain -> String
  Totality: total
  Visibility: export