Idris2Doc : Text.WebIDL.Codegen

Text.WebIDL.Codegen

(source)
Reexports
import public Data.SortedMap
import public Text.WebIDL.Codegen.Rules as Codegen
import public Text.WebIDL.Codegen.Definitions as Codegen