Idris2Doc : Text.WebIDL.Parser

Text.WebIDL.Parser

(source)
Reexports
import public Text.WebIDL.Parser.Arguments
import public Text.WebIDL.Parser.Attributes
import public Text.WebIDL.Parser.Definitions
import public Text.WebIDL.Parser.Members
import public Text.WebIDL.Parser.Type
import public Text.WebIDL.Parser.Util
Definitions
parseIdl : Rule b a -> String -> Either (Bounded ParseErr) a
  Visibility: export