Idris2Doc : Web.Raw.Permissions

Web.Raw.Permissions

(source)

Definitions

onchange : PermissionStatus -> Attribute False Maybe EventHandlerNonNull
Totality: total
Visibility: export
state : PermissionStatus -> JSIO PermissionState
Totality: total
Visibility: export
query : {auto 0 {conArg:3600} : JSType t2} -> {auto 0 _ : Elem Object (Types t2)} -> Permissions -> t2 -> JSIO (Promise PermissionStatus)
Totality: total
Visibility: export
new' : Optional Bool -> JSIO CameraDevicePermissionDescriptor
Totality: total
Visibility: export
new : JSIO CameraDevicePermissionDescriptor
Totality: total
Visibility: export
panTiltZoom : {auto 0 {conArg:3647} : JSType t} -> {auto 0 _ : Elem CameraDevicePermissionDescriptor (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new' : Optional String -> JSIO DevicePermissionDescriptor
Totality: total
Visibility: export
new : JSIO DevicePermissionDescriptor
Totality: total
Visibility: export
deviceId : {auto 0 {conArg:3701} : JSType t} -> {auto 0 _ : Elem DevicePermissionDescriptor (Types t)} -> t -> Attribute False Optional String
Totality: total
Visibility: export
new' : Optional Bool -> JSIO MidiPermissionDescriptor
Totality: total
Visibility: export
new : JSIO MidiPermissionDescriptor
Totality: total
Visibility: export
sysex : {auto 0 {conArg:3754} : JSType t} -> {auto 0 _ : Elem MidiPermissionDescriptor (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
new : PermissionName -> JSIO PermissionDescriptor
Totality: total
Visibility: export
name : {auto 0 {conArg:3801} : JSType t} -> {auto 0 _ : Elem PermissionDescriptor (Types t)} -> t -> Attribute True id PermissionName
Totality: total
Visibility: export
new' : {auto 0 {conArg:3839} : JSType t1} -> {auto 0 _ : Elem PermissionDescriptor (Types t1)} -> t1 -> PermissionState -> Optional Bool -> JSIO PermissionSetParameters
Totality: total
Visibility: export
new : {auto 0 {conArg:3882} : JSType t1} -> {auto 0 _ : Elem PermissionDescriptor (Types t1)} -> t1 -> PermissionState -> JSIO PermissionSetParameters
Totality: total
Visibility: export
descriptor : {auto 0 {conArg:3917} : JSType t} -> {auto 0 _ : Elem PermissionSetParameters (Types t)} -> t -> Attribute True id PermissionDescriptor
Totality: total
Visibility: export
oneRealm : {auto 0 {conArg:3955} : JSType t} -> {auto 0 _ : Elem PermissionSetParameters (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export
state : {auto 0 {conArg:3993} : JSType t} -> {auto 0 _ : Elem PermissionSetParameters (Types t)} -> t -> Attribute True id PermissionState
Totality: total
Visibility: export
new' : Optional Bool -> JSIO PushPermissionDescriptor
Totality: total
Visibility: export
new : JSIO PushPermissionDescriptor
Totality: total
Visibility: export
userVisibleOnly : {auto 0 {conArg:4048} : JSType t} -> {auto 0 _ : Elem PushPermissionDescriptor (Types t)} -> t -> Attribute True Optional Bool
Totality: total
Visibility: export