Web.Raw.Webidl

Definitions

ABORT_ERR : Bits16

Totality: total
Visibility: public export

DATA_CLONE_ERR : Bits16

Totality: total
Visibility: public export

DOMSTRING_SIZE_ERR : Bits16

Totality: total
Visibility: public export

HIERARCHY_REQUEST_ERR : Bits16

Totality: total
Visibility: public export

INDEX_SIZE_ERR : Bits16

Totality: total
Visibility: public export

INUSE_ATTRIBUTE_ERR : Bits16

Totality: total
Visibility: public export

INVALID_ACCESS_ERR : Bits16

Totality: total
Visibility: public export

INVALID_CHARACTER_ERR : Bits16

Totality: total
Visibility: public export

INVALID_MODIFICATION_ERR : Bits16

Totality: total
Visibility: public export

INVALID_NODE_TYPE_ERR : Bits16

Totality: total
Visibility: public export

INVALID_STATE_ERR : Bits16

Totality: total
Visibility: public export

NAMESPACE_ERR : Bits16

Totality: total
Visibility: public export

NETWORK_ERR : Bits16

Totality: total
Visibility: public export

NOT_FOUND_ERR : Bits16

Totality: total
Visibility: public export

NOT_SUPPORTED_ERR : Bits16

Totality: total
Visibility: public export

NO_DATA_ALLOWED_ERR : Bits16

Totality: total
Visibility: public export

NO_MODIFICATION_ALLOWED_ERR : Bits16

Totality: total
Visibility: public export

QUOTA_EXCEEDED_ERR : Bits16

Totality: total
Visibility: public export

SECURITY_ERR : Bits16

Totality: total
Visibility: public export

SYNTAX_ERR : Bits16

Totality: total
Visibility: public export

TIMEOUT_ERR : Bits16

Totality: total
Visibility: public export

TYPE_MISMATCH_ERR : Bits16

Totality: total
Visibility: public export

URL_MISMATCH_ERR : Bits16

Totality: total
Visibility: public export

VALIDATION_ERR : Bits16

Totality: total
Visibility: public export

WRONG_DOCUMENT_ERR : Bits16

Totality: total
Visibility: public export

new' : Optional String -> Optional String -> JSIO DOMException

Totality: total
Visibility: export

new : JSIO DOMException

Totality: total
Visibility: export

code : {auto 0 {conArg:3674} : JSType t1} -> {auto 0 _ : Elem DOMException (Types t1)} -> t1 -> JSIO Bits16

Totality: total
Visibility: export

message : {auto 0 {conArg:3702} : JSType t1} -> {auto 0 _ : Elem DOMException (Types t1)} -> t1 -> JSIO String

Totality: total
Visibility: export

name : {auto 0 {conArg:3730} : JSType t1} -> {auto 0 _ : Elem DOMException (Types t1)} -> t1 -> JSIO String

Totality: total
Visibility: export

toFunction : (IO (Array AnyPtr) -> IO AnyPtr) -> JSIO Function

Totality: total
Visibility: export

toVoidFunction : (() -> IO ()) -> JSIO VoidFunction

Totality: total
Visibility: export