
   0 | module Web.Raw.Permissions
   1 | 
   2 | import JS
   3 | import Web.Internal.PermissionsPrim
   4 | import Web.Internal.Types
   5 | 
   6 | %default total
   7 | 
   8 | 
   9 | --------------------------------------------------------------------------------
  10 | --          Interfaces
  11 | --------------------------------------------------------------------------------
  12 | 
  13 | namespace PermissionStatus
  14 | 
  15 |   export
  16 |   onchange : PermissionStatus -> Attribute False Maybe EventHandlerNonNull
  17 |   onchange v = fromNullablePrim
  18 |                  "PermissionStatus.getonchange"
  19 |                  prim__onchange
  20 |                  prim__setOnchange
  21 |                  v
  22 | 
  23 | 
  24 |   export
  25 |   state : (obj : PermissionStatus) -> JSIO PermissionState
  26 |   state a = tryJS "PermissionStatus.state" $ PermissionStatus.prim__state a
  27 | 
  28 | 
  29 | 
  30 | namespace Permissions
  31 | 
  32 |   export
  33 |   query :
  34 |        {auto 0 _ : JSType t2}
  35 |     -> {auto 0 _ : Elem Object (Types t2)}
  36 |     -> (obj : Permissions)
  37 |     -> (permissionDesc : t2)
  38 |     -> JSIO (Promise PermissionStatus)
  39 |   query a b = primJS $ Permissions.prim__query a (up b)
  40 | 
  41 | 
  42 | 
  43 | 
  44 | 
  45 | --------------------------------------------------------------------------------
  46 | --          Dictionaries
  47 | --------------------------------------------------------------------------------
  48 | 
  49 | namespace CameraDevicePermissionDescriptor
  50 | 
  51 |   export
  52 |   new' : (panTiltZoom : Optional Bool) -> JSIO CameraDevicePermissionDescriptor
  53 |   new' a = primJS $ CameraDevicePermissionDescriptor.prim__new (toFFI a)
  54 | 
  55 |   export
  56 |   new : JSIO CameraDevicePermissionDescriptor
  57 |   new = primJS $ CameraDevicePermissionDescriptor.prim__new undef
  58 | 
  59 | 
  60 |   export
  61 |   panTiltZoom :
  62 |        {auto 0 _ : JSType t}
  63 |     -> {auto 0 _ : Elem CameraDevicePermissionDescriptor (Types t)}
  64 |     -> t
  65 |     -> Attribute True Optional Bool
  66 |   panTiltZoom v = fromUndefOrPrim
  67 |                     "CameraDevicePermissionDescriptor.getpanTiltZoom"
  68 |                     prim__panTiltZoom
  69 |                     prim__setPanTiltZoom
  70 |                     False
  71 |                     (v :> CameraDevicePermissionDescriptor)
  72 | 
  73 | 
  74 | 
  75 | namespace DevicePermissionDescriptor
  76 | 
  77 |   export
  78 |   new' : (deviceId : Optional String) -> JSIO DevicePermissionDescriptor
  79 |   new' a = primJS $ DevicePermissionDescriptor.prim__new (toFFI a)
  80 | 
  81 |   export
  82 |   new : JSIO DevicePermissionDescriptor
  83 |   new = primJS $ DevicePermissionDescriptor.prim__new undef
  84 | 
  85 | 
  86 |   export
  87 |   deviceId :
  88 |        {auto 0 _ : JSType t}
  89 |     -> {auto 0 _ : Elem DevicePermissionDescriptor (Types t)}
  90 |     -> t
  91 |     -> Attribute False Optional String
  92 |   deviceId v = fromUndefOrPrimNoDefault
  93 |                  "DevicePermissionDescriptor.getdeviceId"
  94 |                  prim__deviceId
  95 |                  prim__setDeviceId
  96 |                  (v :> DevicePermissionDescriptor)
  97 | 
  98 | 
  99 | 
 100 | namespace MidiPermissionDescriptor
 101 | 
 102 |   export
 103 |   new' : (sysex : Optional Bool) -> JSIO MidiPermissionDescriptor
 104 |   new' a = primJS $ MidiPermissionDescriptor.prim__new (toFFI a)
 105 | 
 106 |   export
 107 |   new : JSIO MidiPermissionDescriptor
 108 |   new = primJS $ MidiPermissionDescriptor.prim__new undef
 109 | 
 110 | 
 111 |   export
 112 |   sysex :
 113 |        {auto 0 _ : JSType t}
 114 |     -> {auto 0 _ : Elem MidiPermissionDescriptor (Types t)}
 115 |     -> t
 116 |     -> Attribute True Optional Bool
 117 |   sysex v = fromUndefOrPrim
 118 |               "MidiPermissionDescriptor.getsysex"
 119 |               prim__sysex
 120 |               prim__setSysex
 121 |               False
 122 |               (v :> MidiPermissionDescriptor)
 123 | 
 124 | 
 125 | 
 126 | namespace PermissionDescriptor
 127 | 
 128 |   export
 129 |   new : (name : PermissionName) -> JSIO PermissionDescriptor
 130 |   new a = primJS $ PermissionDescriptor.prim__new (toFFI a)
 131 | 
 132 | 
 133 |   export
 134 |   name :
 135 |        {auto 0 _ : JSType t}
 136 |     -> {auto 0 _ : Elem PermissionDescriptor (Types t)}
 137 |     -> t
 138 |     -> Attribute True Prelude.id PermissionName
 139 |   name v = fromPrim
 140 |              "PermissionDescriptor.getname"
 141 |              prim__name
 142 |              prim__setName
 143 |              (v :> PermissionDescriptor)
 144 | 
 145 | 
 146 | 
 147 | namespace PermissionSetParameters
 148 | 
 149 |   export
 150 |   new' :
 151 |        {auto 0 _ : JSType t1}
 152 |     -> {auto 0 _ : Elem PermissionDescriptor (Types t1)}
 153 |     -> (descriptor : t1)
 154 |     -> (state : PermissionState)
 155 |     -> (oneRealm : Optional Bool)
 156 |     -> JSIO PermissionSetParameters
 157 |   new' a b c = primJS $
 158 |     PermissionSetParameters.prim__new (up a) (toFFI b) (toFFI c)
 159 | 
 160 |   export
 161 |   new :
 162 |        {auto 0 _ : JSType t1}
 163 |     -> {auto 0 _ : Elem PermissionDescriptor (Types t1)}
 164 |     -> (descriptor : t1)
 165 |     -> (state : PermissionState)
 166 |     -> JSIO PermissionSetParameters
 167 |   new a b = primJS $ PermissionSetParameters.prim__new (up a) (toFFI b) undef
 168 | 
 169 | 
 170 |   export
 171 |   descriptor :
 172 |        {auto 0 _ : JSType t}
 173 |     -> {auto 0 _ : Elem PermissionSetParameters (Types t)}
 174 |     -> t
 175 |     -> Attribute True Prelude.id PermissionDescriptor
 176 |   descriptor v = fromPrim
 177 |                    "PermissionSetParameters.getdescriptor"
 178 |                    prim__descriptor
 179 |                    prim__setDescriptor
 180 |                    (v :> PermissionSetParameters)
 181 | 
 182 | 
 183 |   export
 184 |   oneRealm :
 185 |        {auto 0 _ : JSType t}
 186 |     -> {auto 0 _ : Elem PermissionSetParameters (Types t)}
 187 |     -> t
 188 |     -> Attribute True Optional Bool
 189 |   oneRealm v = fromUndefOrPrim
 190 |                  "PermissionSetParameters.getoneRealm"
 191 |                  prim__oneRealm
 192 |                  prim__setOneRealm
 193 |                  False
 194 |                  (v :> PermissionSetParameters)
 195 | 
 196 | 
 197 |   export
 198 |   state :
 199 |        {auto 0 _ : JSType t}
 200 |     -> {auto 0 _ : Elem PermissionSetParameters (Types t)}
 201 |     -> t
 202 |     -> Attribute True Prelude.id PermissionState
 203 |   state v = fromPrim
 204 |               "PermissionSetParameters.getstate"
 205 |               prim__state
 206 |               prim__setState
 207 |               (v :> PermissionSetParameters)
 208 | 
 209 | 
 210 | 
 211 | namespace PushPermissionDescriptor
 212 | 
 213 |   export
 214 |   new' : (userVisibleOnly : Optional Bool) -> JSIO PushPermissionDescriptor
 215 |   new' a = primJS $ PushPermissionDescriptor.prim__new (toFFI a)
 216 | 
 217 |   export
 218 |   new : JSIO PushPermissionDescriptor
 219 |   new = primJS $ PushPermissionDescriptor.prim__new undef
 220 | 
 221 | 
 222 |   export
 223 |   userVisibleOnly :
 224 |        {auto 0 _ : JSType t}
 225 |     -> {auto 0 _ : Elem PushPermissionDescriptor (Types t)}
 226 |     -> t
 227 |     -> Attribute True Optional Bool
 228 |   userVisibleOnly v = fromUndefOrPrim
 229 |                         "PushPermissionDescriptor.getuserVisibleOnly"
 230 |                         prim__userVisibleOnly
 231 |                         prim__setUserVisibleOnly
 232 |                         False
 233 |                         (v :> PushPermissionDescriptor)
 234 |