Idris2Doc : Text.WebIDL.Parser.Arguments

Text.WebIDL.Parser.Arguments

(source)
Definitions
constValue : Rule True ConstValue
  Totality: total
  Visibility: export
defaultV : Rule False Default
  Totality: total
  Visibility: export
arg : ExtAttributeList -> Rule True (Bool, Arg)
  Totality: total
  Visibility: export
argumentList : Rule True ArgumentList
  Totality: total
  Visibility: export
optArgList : Rule False ArgumentList
  Totality: total
  Visibility: export