See body interface in whatwg Fetch spec.
defined at ¶6.2 Body mixin in whatwg Fetch spec
This type should capture strings consisting only of ASCII chars todo: is there a way to capture this type?
See ¶2 Model but mostly the examples in the whatwg streams spec
¶6.1 Headers Class of whatwg spec
defined at ¶6.1 Header Class in whatwg Fetch spec todo: it should be OpenEndedDictionary[ByteString]
This is not typed in the Fetch API but it is easy to create the most common defaults.
The Notification interface allows to notify users of an incoming message or event.
see ¶6.1 Headers class in whatwg Fetch spec.
defined at ¶2.1. Readable Streams of whatwg Streams spec.
¶3.3 Class ReadableStreamController of whatwg spec
See ¶3.4. Class ReadableStreamReader of whatwg streams spec.
The Request interface of the Fetch API represents a resource request.
Fetch APIs RequestCache enum
Fetch APIs RequestCredentials enum
Fetch APIs RequestDestination enum
defined at ¶6.3 Request class of whatwg Fetch spec
See RequestInit in Fetch API The underlying object is a dictionary.
Fetch API's RequestMode enum
Fetch API's RequestRedirect enum
Fetch APIs RequestType enum
¶6.4 Response class in whatwg spec
See ¶6.4 Response class definition in whatwg Fetch spec.
WebIDL sequence<T> is js.
The URL() constructor returns a newly created URL object representing the URL defined by the parameters.
¶188.8.131.52. get state of whatwg streams spec
¶4.2. Class WritableStream of whatwg Stream spec
Full Screen API
Implicit imports for the notification api.
Pointer Lock API
static methods associated with a Response object in ¶6.4 Response class of whatwg Fetch spec.
see https://fetch.spec.whatwg.org/#responsetype of whatwg Fetch spec
Implicit imports for the vibration api.
The Beacon interface is used to schedule an asynchronous and non-blocking request to a web server.
Implements the Device Orientation API, Editor's draft, 26 February 2016.
Implements the Gamepad API.
The Intl object is the namespace for the ECMAScript Internationalization API, which provides language sensitive string comparison, number formatting, and date and time formatting.
The Push API is currently specified here: http://www.w3.org/TR/2015/WD-push-api-20151215/