Idris2Doc : Web.Internal.PermissionsTypes

Web.Internal.PermissionsTypes

(source)
Definitions
data PermissionState : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Granted : PermissionState
  
Denied : PermissionState
  
Prompt : PermissionState

  Hints:
  
Eq PermissionState
  
FromFFI PermissionState String
  
Ord PermissionState
  
Show PermissionState
  
ToFFI PermissionState String
read : String -> Maybe PermissionState
  Totality: total
  Visibility: public export
data PermissionName : Type
  Totality: total
  Visibility: public export
  Constructors:
  
Geolocation : PermissionName
  
Notifications : PermissionName
  
Push : PermissionName
  
Midi : PermissionName
  
Camera : PermissionName
  
Microphone : PermissionName
  
SpeakerSelection : PermissionName
  
DeviceInfo : PermissionName
  
BackgroundFetch : PermissionName
  
BackgroundSync : PermissionName
  
Bluetooth : PermissionName
  
PersistentStorage : PermissionName
  
AmbientLightSensor : PermissionName
  
Accelerometer : PermissionName
  
Gyroscope : PermissionName
  
Magnetometer : PermissionName
  
ClipboardRead : PermissionName
  
ClipboardWrite : PermissionName
  
DisplayCapture : PermissionName
  
Nfc : PermissionName

  Hints:
  
Eq PermissionName
  
FromFFI PermissionName String
  
Ord PermissionName
  
Show PermissionName
  
ToFFI PermissionName String
read : String -> Maybe PermissionName
  Totality: total
  Visibility: public export
data PermissionStatus : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI PermissionStatus PermissionStatus
  
JSType PermissionStatus
  
SafeCast PermissionStatus
  
ToFFI PermissionStatus PermissionStatus
data Permissions : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI Permissions Permissions
  
JSType Permissions
  
SafeCast Permissions
  
ToFFI Permissions Permissions
data CameraDevicePermissionDescriptor : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI CameraDevicePermissionDescriptor CameraDevicePermissionDescriptor
  
JSType CameraDevicePermissionDescriptor
  
ToFFI CameraDevicePermissionDescriptor CameraDevicePermissionDescriptor
data DevicePermissionDescriptor : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI DevicePermissionDescriptor DevicePermissionDescriptor
  
JSType DevicePermissionDescriptor
  
ToFFI DevicePermissionDescriptor DevicePermissionDescriptor
data MidiPermissionDescriptor : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI MidiPermissionDescriptor MidiPermissionDescriptor
  
JSType MidiPermissionDescriptor
  
ToFFI MidiPermissionDescriptor MidiPermissionDescriptor
data PermissionDescriptor : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI PermissionDescriptor PermissionDescriptor
  
JSType PermissionDescriptor
  
ToFFI PermissionDescriptor PermissionDescriptor
data PermissionSetParameters : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI PermissionSetParameters PermissionSetParameters
  
JSType PermissionSetParameters
  
ToFFI PermissionSetParameters PermissionSetParameters
data PushPermissionDescriptor : Type
  Totality: total
  Visibility: export
  Hints:
  
FromFFI PushPermissionDescriptor PushPermissionDescriptor
  
JSType PushPermissionDescriptor
  
ToFFI PushPermissionDescriptor PushPermissionDescriptor