Idris2Doc : Web.Internal.WebidlTypes

Web.Internal.WebidlTypes

(source)

Definitions

data DOMException : Type
Totality: total
Visibility: export
Hints:
FromFFI DOMException DOMException
JSType DOMException
SafeCast DOMException
ToFFI DOMException DOMException
data Function : Type
Totality: total
Visibility: export
Hints:
FromFFI Function Function
ToFFI Function Function
data VoidFunction : Type
Totality: total
Visibility: export
Hints:
FromFFI VoidFunction VoidFunction
ToFFI VoidFunction VoidFunction