Idris2Doc : Text.WebIDL.Parser.Members

Text.WebIDL.Parser.Members

(source)
Definitions
operation : Rule True Operation
  Totality: total
  Visibility: export
cbIfaceM : Rule True CallbackInterfaceMember
  Totality: total
  Visibility: export
dictM : Rule True DictionaryMemberRest
  Totality: total
  Visibility: export
namespaceM : Rule True NamespaceMember
  Totality: total
  Visibility: export
pIfaceM : Rule True PartialInterfaceMember
  Totality: total
  Visibility: export
mixinM : Rule True MixinMember
  Totality: total
  Visibility: export
ifaceM : Rule True InterfaceMember
  Totality: total
  Visibility: export
members : Rule True a -> Rule True (List (Attributed a))
  Totality: total
  Visibility: export