Idris2Doc : Text.WebIDL.Types

Text.WebIDL.Types

(source)
Reexports
import public Data.List1
import public Data.SOP
import public Text.WebIDL.Types.Argument
import public Text.WebIDL.Types.Attribute
import public Text.WebIDL.Types.Definition
import public Text.WebIDL.Types.Identifier
import public Text.WebIDL.Types.Member
import public Text.WebIDL.Types.Numbers
import public Text.WebIDL.Types.StringLit
import public Text.WebIDL.Types.Symbol
import public Text.WebIDL.Types.Token
import public Text.WebIDL.Types.Type