0 | module Web.Internal.IndexedDBPrim
3 | import Web.Internal.Types
15 | %foreign "browser:lambda:x=>x.direction"
16 | prim__direction : IDBCursor -> PrimIO String
20 | %foreign "browser:lambda:x=>x.key"
21 | prim__key : IDBCursor -> PrimIO AnyPtr
25 | %foreign "browser:lambda:x=>x.primaryKey"
26 | prim__primaryKey : IDBCursor -> PrimIO AnyPtr
30 | %foreign "browser:lambda:x=>x.request"
31 | prim__request : IDBCursor -> PrimIO IDBRequest
35 | %foreign "browser:lambda:x=>x.source"
36 | prim__source : IDBCursor -> PrimIO (Union2 IDBObjectStore IDBIndex)
40 | %foreign "browser:lambda:(x,a)=>x.advance(a)"
41 | prim__advance : IDBCursor -> Bits32 -> PrimIO ()
45 | %foreign "browser:lambda:(x,a)=>x.continue(a)"
46 | prim__continue : IDBCursor -> UndefOr AnyPtr -> PrimIO ()
50 | %foreign "browser:lambda:(x,a,b)=>x.continuePrimaryKey(a,b)"
51 | prim__continuePrimaryKey : IDBCursor -> AnyPtr -> AnyPtr -> PrimIO ()
55 | %foreign "browser:lambda:x=>x.delete()"
56 | prim__delete : IDBCursor -> PrimIO IDBRequest
60 | %foreign "browser:lambda:(x,a)=>x.update(a)"
61 | prim__update : IDBCursor -> AnyPtr -> PrimIO IDBRequest
65 | namespace IDBCursorWithValue
68 | %foreign "browser:lambda:x=>x.value"
69 | prim__value : IDBCursorWithValue -> PrimIO AnyPtr
73 | namespace IDBDatabase
76 | %foreign "browser:lambda:x=>x.name"
77 | prim__name : IDBDatabase -> PrimIO String
81 | %foreign "browser:lambda:x=>x.objectStoreNames"
82 | prim__objectStoreNames : IDBDatabase -> PrimIO DOMStringList
86 | %foreign "browser:lambda:x=>x.onabort"
87 | prim__onabort : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
92 | %foreign "browser:lambda:(x,v)=>{x.onabort = v}"
93 | prim__setOnabort : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
98 | %foreign "browser:lambda:x=>x.onclose"
99 | prim__onclose : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
104 | %foreign "browser:lambda:(x,v)=>{x.onclose = v}"
105 | prim__setOnclose : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
110 | %foreign "browser:lambda:x=>x.onerror"
111 | prim__onerror : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
116 | %foreign "browser:lambda:(x,v)=>{x.onerror = v}"
117 | prim__setOnerror : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
122 | %foreign "browser:lambda:x=>x.onversionchange"
123 | prim__onversionchange : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
128 | %foreign "browser:lambda:(x,v)=>{x.onversionchange = v}"
129 | prim__setOnversionchange :
131 | -> Nullable EventHandlerNonNull
137 | %foreign "browser:lambda:x=>x.version"
138 | prim__version : IDBDatabase -> PrimIO JSBits64
142 | %foreign "browser:lambda:x=>x.close()"
143 | prim__close : IDBDatabase -> PrimIO ()
147 | %foreign "browser:lambda:(x,a,b)=>x.createObjectStore(a,b)"
148 | prim__createObjectStore :
151 | -> UndefOr IDBObjectStoreParameters
152 | -> PrimIO IDBObjectStore
156 | %foreign "browser:lambda:(x,a)=>x.deleteObjectStore(a)"
157 | prim__deleteObjectStore : IDBDatabase -> String -> PrimIO ()
161 | %foreign "browser:lambda:(x,a,b,c)=>x.transaction(a,b,c)"
162 | prim__transaction :
164 | -> Union2 String (Array String)
166 | -> UndefOr IDBTransactionOptions
167 | -> PrimIO IDBTransaction
171 | namespace IDBFactory
174 | %foreign "browser:lambda:(x,a,b)=>x.cmp(a,b)"
175 | prim__cmp : IDBFactory -> AnyPtr -> AnyPtr -> PrimIO Int16
179 | %foreign "browser:lambda:x=>x.databases()"
180 | prim__databases : IDBFactory -> PrimIO (Promise (Array IDBDatabaseInfo))
184 | %foreign "browser:lambda:(x,a)=>x.deleteDatabase(a)"
185 | prim__deleteDatabase : IDBFactory -> String -> PrimIO IDBOpenDBRequest
189 | %foreign "browser:lambda:(x,a,b)=>x.open(a,b)"
193 | -> UndefOr JSBits64
194 | -> PrimIO IDBOpenDBRequest
201 | %foreign "browser:lambda:x=>x.keyPath"
202 | prim__keyPath : IDBIndex -> PrimIO AnyPtr
206 | %foreign "browser:lambda:x=>x.multiEntry"
207 | prim__multiEntry : IDBIndex -> PrimIO Boolean
211 | %foreign "browser:lambda:x=>x.name"
212 | prim__name : IDBIndex -> PrimIO String
217 | %foreign "browser:lambda:(x,v)=>{x.name = v}"
218 | prim__setName : IDBIndex -> String -> PrimIO ()
223 | %foreign "browser:lambda:x=>x.objectStore"
224 | prim__objectStore : IDBIndex -> PrimIO IDBObjectStore
228 | %foreign "browser:lambda:x=>x.unique"
229 | prim__unique : IDBIndex -> PrimIO Boolean
233 | %foreign "browser:lambda:(x,a)=>x.count(a)"
234 | prim__count : IDBIndex -> UndefOr AnyPtr -> PrimIO IDBRequest
238 | %foreign "browser:lambda:(x,a,b)=>x.getAll(a,b)"
243 | -> PrimIO IDBRequest
247 | %foreign "browser:lambda:(x,a,b)=>x.getAllKeys(a,b)"
252 | -> PrimIO IDBRequest
256 | %foreign "browser:lambda:(x,a)=>x.get(a)"
257 | prim__get : IDBIndex -> AnyPtr -> PrimIO IDBRequest
261 | %foreign "browser:lambda:(x,a)=>x.getKey(a)"
262 | prim__getKey : IDBIndex -> AnyPtr -> PrimIO IDBRequest
266 | %foreign "browser:lambda:(x,a,b)=>x.openCursor(a,b)"
271 | -> PrimIO IDBRequest
275 | %foreign "browser:lambda:(x,a,b)=>x.openKeyCursor(a,b)"
276 | prim__openKeyCursor :
280 | -> PrimIO IDBRequest
284 | namespace IDBKeyRange
287 | %foreign "browser:lambda:(a,b,c,d)=>IDBKeyRange.bound(a,b,c,d)"
293 | -> PrimIO IDBKeyRange
297 | %foreign "browser:lambda:(a,b)=>IDBKeyRange.lowerBound(a,b)"
298 | prim__lowerBound : AnyPtr -> UndefOr Boolean -> PrimIO IDBKeyRange
302 | %foreign "browser:lambda:(a)=>IDBKeyRange.only(a)"
303 | prim__only : AnyPtr -> PrimIO IDBKeyRange
307 | %foreign "browser:lambda:(a,b)=>IDBKeyRange.upperBound(a,b)"
308 | prim__upperBound : AnyPtr -> UndefOr Boolean -> PrimIO IDBKeyRange
312 | %foreign "browser:lambda:x=>x.lower"
313 | prim__lower : IDBKeyRange -> PrimIO AnyPtr
317 | %foreign "browser:lambda:x=>x.lowerOpen"
318 | prim__lowerOpen : IDBKeyRange -> PrimIO Boolean
322 | %foreign "browser:lambda:x=>x.upper"
323 | prim__upper : IDBKeyRange -> PrimIO AnyPtr
327 | %foreign "browser:lambda:x=>x.upperOpen"
328 | prim__upperOpen : IDBKeyRange -> PrimIO Boolean
332 | %foreign "browser:lambda:(x,a)=>x.includes(a)"
333 | prim__includes : IDBKeyRange -> AnyPtr -> PrimIO Boolean
337 | namespace IDBObjectStore
340 | %foreign "browser:lambda:x=>x.autoIncrement"
341 | prim__autoIncrement : IDBObjectStore -> PrimIO Boolean
345 | %foreign "browser:lambda:x=>x.indexNames"
346 | prim__indexNames : IDBObjectStore -> PrimIO DOMStringList
350 | %foreign "browser:lambda:x=>x.keyPath"
351 | prim__keyPath : IDBObjectStore -> PrimIO AnyPtr
355 | %foreign "browser:lambda:x=>x.name"
356 | prim__name : IDBObjectStore -> PrimIO String
361 | %foreign "browser:lambda:(x,v)=>{x.name = v}"
362 | prim__setName : IDBObjectStore -> String -> PrimIO ()
367 | %foreign "browser:lambda:x=>x.transaction"
368 | prim__transaction : IDBObjectStore -> PrimIO IDBTransaction
372 | %foreign "browser:lambda:(x,a,b)=>x.add(a,b)"
373 | prim__add : IDBObjectStore -> AnyPtr -> UndefOr AnyPtr -> PrimIO IDBRequest
377 | %foreign "browser:lambda:x=>x.clear()"
378 | prim__clear : IDBObjectStore -> PrimIO IDBRequest
382 | %foreign "browser:lambda:(x,a)=>x.count(a)"
383 | prim__count : IDBObjectStore -> UndefOr AnyPtr -> PrimIO IDBRequest
387 | %foreign "browser:lambda:(x,a,b,c)=>x.createIndex(a,b,c)"
388 | prim__createIndex :
391 | -> Union2 String (Array String)
392 | -> UndefOr IDBIndexParameters
397 | %foreign "browser:lambda:(x,a)=>x.delete(a)"
398 | prim__delete : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
402 | %foreign "browser:lambda:(x,a)=>x.deleteIndex(a)"
403 | prim__deleteIndex : IDBObjectStore -> String -> PrimIO ()
407 | %foreign "browser:lambda:(x,a,b)=>x.getAll(a,b)"
412 | -> PrimIO IDBRequest
416 | %foreign "browser:lambda:(x,a,b)=>x.getAllKeys(a,b)"
421 | -> PrimIO IDBRequest
425 | %foreign "browser:lambda:(x,a)=>x.get(a)"
426 | prim__get : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
430 | %foreign "browser:lambda:(x,a)=>x.getKey(a)"
431 | prim__getKey : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
435 | %foreign "browser:lambda:(x,a)=>x.index(a)"
436 | prim__index : IDBObjectStore -> String -> PrimIO IDBIndex
440 | %foreign "browser:lambda:(x,a,b)=>x.openCursor(a,b)"
445 | -> PrimIO IDBRequest
449 | %foreign "browser:lambda:(x,a,b)=>x.openKeyCursor(a,b)"
450 | prim__openKeyCursor :
454 | -> PrimIO IDBRequest
458 | %foreign "browser:lambda:(x,a,b)=>x.put(a,b)"
459 | prim__put : IDBObjectStore -> AnyPtr -> UndefOr AnyPtr -> PrimIO IDBRequest
463 | namespace IDBOpenDBRequest
466 | %foreign "browser:lambda:x=>x.onblocked"
467 | prim__onblocked : IDBOpenDBRequest -> PrimIO (Nullable EventHandlerNonNull)
472 | %foreign "browser:lambda:(x,v)=>{x.onblocked = v}"
473 | prim__setOnblocked :
475 | -> Nullable EventHandlerNonNull
481 | %foreign "browser:lambda:x=>x.onupgradeneeded"
482 | prim__onupgradeneeded :
484 | -> PrimIO (Nullable EventHandlerNonNull)
489 | %foreign "browser:lambda:(x,v)=>{x.onupgradeneeded = v}"
490 | prim__setOnupgradeneeded :
492 | -> Nullable EventHandlerNonNull
498 | namespace IDBRequest
501 | %foreign "browser:lambda:x=>x.error"
502 | prim__error : IDBRequest -> PrimIO (Nullable DOMException)
506 | %foreign "browser:lambda:x=>x.onerror"
507 | prim__onerror : IDBRequest -> PrimIO (Nullable EventHandlerNonNull)
512 | %foreign "browser:lambda:(x,v)=>{x.onerror = v}"
513 | prim__setOnerror : IDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
518 | %foreign "browser:lambda:x=>x.onsuccess"
519 | prim__onsuccess : IDBRequest -> PrimIO (Nullable EventHandlerNonNull)
524 | %foreign "browser:lambda:(x,v)=>{x.onsuccess = v}"
525 | prim__setOnsuccess : IDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
530 | %foreign "browser:lambda:x=>x.readyState"
531 | prim__readyState : IDBRequest -> PrimIO String
535 | %foreign "browser:lambda:x=>x.result"
536 | prim__result : IDBRequest -> PrimIO AnyPtr
540 | %foreign "browser:lambda:x=>x.source"
543 | -> PrimIO (Nullable (Union3 IDBObjectStore IDBIndex IDBCursor))
547 | %foreign "browser:lambda:x=>x.transaction"
548 | prim__transaction : IDBRequest -> PrimIO (Nullable IDBTransaction)
552 | namespace IDBTransaction
555 | %foreign "browser:lambda:x=>x.db"
556 | prim__db : IDBTransaction -> PrimIO IDBDatabase
560 | %foreign "browser:lambda:x=>x.durability"
561 | prim__durability : IDBTransaction -> PrimIO String
565 | %foreign "browser:lambda:x=>x.error"
566 | prim__error : IDBTransaction -> PrimIO (Nullable DOMException)
570 | %foreign "browser:lambda:x=>x.mode"
571 | prim__mode : IDBTransaction -> PrimIO String
575 | %foreign "browser:lambda:x=>x.objectStoreNames"
576 | prim__objectStoreNames : IDBTransaction -> PrimIO DOMStringList
580 | %foreign "browser:lambda:x=>x.onabort"
581 | prim__onabort : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
586 | %foreign "browser:lambda:(x,v)=>{x.onabort = v}"
587 | prim__setOnabort : IDBTransaction -> Nullable EventHandlerNonNull -> PrimIO ()
592 | %foreign "browser:lambda:x=>x.oncomplete"
593 | prim__oncomplete : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
598 | %foreign "browser:lambda:(x,v)=>{x.oncomplete = v}"
599 | prim__setOncomplete :
601 | -> Nullable EventHandlerNonNull
607 | %foreign "browser:lambda:x=>x.onerror"
608 | prim__onerror : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
613 | %foreign "browser:lambda:(x,v)=>{x.onerror = v}"
614 | prim__setOnerror : IDBTransaction -> Nullable EventHandlerNonNull -> PrimIO ()
619 | %foreign "browser:lambda:x=>x.abort()"
620 | prim__abort : IDBTransaction -> PrimIO ()
624 | %foreign "browser:lambda:x=>x.commit()"
625 | prim__commit : IDBTransaction -> PrimIO ()
629 | %foreign "browser:lambda:(x,a)=>x.objectStore(a)"
630 | prim__objectStore : IDBTransaction -> String -> PrimIO IDBObjectStore
634 | namespace IDBVersionChangeEvent
637 | %foreign "browser:lambda:(a,b)=> new IDBVersionChangeEvent(a,b)"
640 | -> UndefOr IDBVersionChangeEventInit
641 | -> PrimIO IDBVersionChangeEvent
645 | %foreign "browser:lambda:x=>x.newVersion"
646 | prim__newVersion : IDBVersionChangeEvent -> PrimIO (Nullable JSBits64)
650 | %foreign "browser:lambda:x=>x.oldVersion"
651 | prim__oldVersion : IDBVersionChangeEvent -> PrimIO JSBits64
661 | namespace IDBDatabaseInfo
664 | %foreign "browser:lambda:(a,b)=> ({name: a,version: b})"
665 | prim__new : UndefOr String -> UndefOr JSBits64 -> PrimIO IDBDatabaseInfo
669 | %foreign "browser:lambda:x=>x.name"
670 | prim__name : IDBDatabaseInfo -> PrimIO (UndefOr String)
675 | %foreign "browser:lambda:(x,v)=>{x.name = v}"
676 | prim__setName : IDBDatabaseInfo -> UndefOr String -> PrimIO ()
681 | %foreign "browser:lambda:x=>x.version"
682 | prim__version : IDBDatabaseInfo -> PrimIO (UndefOr JSBits64)
687 | %foreign "browser:lambda:(x,v)=>{x.version = v}"
688 | prim__setVersion : IDBDatabaseInfo -> UndefOr JSBits64 -> PrimIO ()
693 | namespace IDBIndexParameters
696 | %foreign "browser:lambda:(a,b)=> ({unique: a,multiEntry: b})"
697 | prim__new : UndefOr Boolean -> UndefOr Boolean -> PrimIO IDBIndexParameters
701 | %foreign "browser:lambda:x=>x.multiEntry"
702 | prim__multiEntry : IDBIndexParameters -> PrimIO (UndefOr Boolean)
707 | %foreign "browser:lambda:(x,v)=>{x.multiEntry = v}"
708 | prim__setMultiEntry : IDBIndexParameters -> UndefOr Boolean -> PrimIO ()
713 | %foreign "browser:lambda:x=>x.unique"
714 | prim__unique : IDBIndexParameters -> PrimIO (UndefOr Boolean)
719 | %foreign "browser:lambda:(x,v)=>{x.unique = v}"
720 | prim__setUnique : IDBIndexParameters -> UndefOr Boolean -> PrimIO ()
725 | namespace IDBObjectStoreParameters
728 | %foreign "browser:lambda:(a,b)=> ({keyPath: a,autoIncrement: b})"
730 | UndefOr (Nullable (Union2 String (Array String)))
732 | -> PrimIO IDBObjectStoreParameters
736 | %foreign "browser:lambda:x=>x.autoIncrement"
737 | prim__autoIncrement : IDBObjectStoreParameters -> PrimIO (UndefOr Boolean)
742 | %foreign "browser:lambda:(x,v)=>{x.autoIncrement = v}"
743 | prim__setAutoIncrement :
744 | IDBObjectStoreParameters
751 | %foreign "browser:lambda:x=>x.keyPath"
753 | IDBObjectStoreParameters
754 | -> PrimIO (UndefOr (Nullable (Union2 String (Array String))))
759 | %foreign "browser:lambda:(x,v)=>{x.keyPath = v}"
761 | IDBObjectStoreParameters
762 | -> UndefOr (Nullable (Union2 String (Array String)))
768 | namespace IDBTransactionOptions
771 | %foreign "browser:lambda:(a)=> ({durability: a})"
772 | prim__new : UndefOr String -> PrimIO IDBTransactionOptions
776 | %foreign "browser:lambda:x=>x.durability"
777 | prim__durability : IDBTransactionOptions -> PrimIO (UndefOr String)
782 | %foreign "browser:lambda:(x,v)=>{x.durability = v}"
783 | prim__setDurability : IDBTransactionOptions -> UndefOr String -> PrimIO ()
788 | namespace IDBVersionChangeEventInit
791 | %foreign "browser:lambda:(a,b)=> ({oldVersion: a,newVersion: b})"
794 | -> UndefOr (Nullable JSBits64)
795 | -> PrimIO IDBVersionChangeEventInit
799 | %foreign "browser:lambda:x=>x.newVersion"
801 | IDBVersionChangeEventInit
802 | -> PrimIO (UndefOr (Nullable JSBits64))
807 | %foreign "browser:lambda:(x,v)=>{x.newVersion = v}"
808 | prim__setNewVersion :
809 | IDBVersionChangeEventInit
810 | -> UndefOr (Nullable JSBits64)
816 | %foreign "browser:lambda:x=>x.oldVersion"
817 | prim__oldVersion : IDBVersionChangeEventInit -> PrimIO (UndefOr JSBits64)
822 | %foreign "browser:lambda:(x,v)=>{x.oldVersion = v}"
823 | prim__setOldVersion :
824 | IDBVersionChangeEventInit
825 | -> UndefOr JSBits64