Idris2Doc : Web.Internal.WebidlTypes

Web.Internal.WebidlTypes

(source)

Definitions

dataDOMException : Type
Totality: total
Visibility: export
Hints:
FromFFIDOMExceptionDOMException
JSTypeDOMException
SafeCastDOMException
ToFFIDOMExceptionDOMException
dataFunction : Type
Totality: total
Visibility: export
Hints:
FromFFIFunctionFunction
ToFFIFunctionFunction
dataVoidFunction : Type
Totality: total
Visibility: export
Hints:
FromFFIVoidFunctionVoidFunction
ToFFIVoidFunctionVoidFunction