Idris2Doc : Web.Raw.Permissions

Web.Raw.Permissions

(source)

Definitions

onchange : PermissionStatus->AttributeFalseMaybeEventHandlerNonNull
Totality: total
Visibility: export
state : PermissionStatus->JSIOPermissionState
Totality: total
Visibility: export
query : {auto0{conArg:3600} : JSTypet2} -> {auto0_ : ElemObject (Typest2)} ->Permissions->t2->JSIO (PromisePermissionStatus)
Totality: total
Visibility: export
new' : OptionalBool->JSIOCameraDevicePermissionDescriptor
Totality: total
Visibility: export
new : JSIOCameraDevicePermissionDescriptor
Totality: total
Visibility: export
panTiltZoom : {auto0{conArg:3647} : JSTypet} -> {auto0_ : ElemCameraDevicePermissionDescriptor (Typest)} ->t->AttributeTrueOptionalBool
Totality: total
Visibility: export
new' : OptionalString->JSIODevicePermissionDescriptor
Totality: total
Visibility: export
new : JSIODevicePermissionDescriptor
Totality: total
Visibility: export
deviceId : {auto0{conArg:3701} : JSTypet} -> {auto0_ : ElemDevicePermissionDescriptor (Typest)} ->t->AttributeFalseOptionalString
Totality: total
Visibility: export
new' : OptionalBool->JSIOMidiPermissionDescriptor
Totality: total
Visibility: export
new : JSIOMidiPermissionDescriptor
Totality: total
Visibility: export
sysex : {auto0{conArg:3754} : JSTypet} -> {auto0_ : ElemMidiPermissionDescriptor (Typest)} ->t->AttributeTrueOptionalBool
Totality: total
Visibility: export
new : PermissionName->JSIOPermissionDescriptor
Totality: total
Visibility: export
name : {auto0{conArg:3801} : JSTypet} -> {auto0_ : ElemPermissionDescriptor (Typest)} ->t->AttributeTrueidPermissionName
Totality: total
Visibility: export
new' : {auto0{conArg:3839} : JSTypet1} -> {auto0_ : ElemPermissionDescriptor (Typest1)} ->t1->PermissionState->OptionalBool->JSIOPermissionSetParameters
Totality: total
Visibility: export
new : {auto0{conArg:3882} : JSTypet1} -> {auto0_ : ElemPermissionDescriptor (Typest1)} ->t1->PermissionState->JSIOPermissionSetParameters
Totality: total
Visibility: export
descriptor : {auto0{conArg:3917} : JSTypet} -> {auto0_ : ElemPermissionSetParameters (Typest)} ->t->AttributeTrueidPermissionDescriptor
Totality: total
Visibility: export
oneRealm : {auto0{conArg:3955} : JSTypet} -> {auto0_ : ElemPermissionSetParameters (Typest)} ->t->AttributeTrueOptionalBool
Totality: total
Visibility: export
state : {auto0{conArg:3993} : JSTypet} -> {auto0_ : ElemPermissionSetParameters (Typest)} ->t->AttributeTrueidPermissionState
Totality: total
Visibility: export
new' : OptionalBool->JSIOPushPermissionDescriptor
Totality: total
Visibility: export
new : JSIOPushPermissionDescriptor
Totality: total
Visibility: export
userVisibleOnly : {auto0{conArg:4048} : JSTypet} -> {auto0_ : ElemPushPermissionDescriptor (Typest)} ->t->AttributeTrueOptionalBool
Totality: total
Visibility: export