Idris2Doc : Web.Raw.IndexedDB

Web.Raw.IndexedDB

(source)
Definitions
direction : {auto 0 {conArg:3573} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO IDBCursorDirection
  Totality: total
  Visibility: export
key : {auto 0 {conArg:3605} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO Any
  Totality: total
  Visibility: export
primaryKey : {auto 0 {conArg:3638} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO Any
  Totality: total
  Visibility: export
request : {auto 0 {conArg:3671} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO IDBRequest
  Totality: total
  Visibility: export
source : {auto 0 {conArg:3699} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO (HSum [IDBObjectStore, IDBIndex])
  Totality: total
  Visibility: export
advance : {auto 0 {conArg:3774} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> Bits32 -> JSIO ()
  Totality: total
  Visibility: export
continue' : {auto 0 {conArg:3806} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> Optional Any -> JSIO ()
  Totality: total
  Visibility: export
continue : {auto 0 {conArg:3845} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO ()
  Totality: total
  Visibility: export
continuePrimaryKey : {auto 0 {conArg:3875} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> Any -> Any -> JSIO ()
  Totality: total
  Visibility: export
delete : {auto 0 {conArg:3916} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> JSIO IDBRequest
  Totality: total
  Visibility: export
update : {auto 0 {conArg:3944} : JSType t1} -> {auto 0 _ : Elem IDBCursor (Types t1)} -> t1 -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
value : IDBCursorWithValue -> JSIO Any
  Totality: total
  Visibility: export
name : IDBDatabase -> JSIO String
  Totality: total
  Visibility: export
objectStoreNames : IDBDatabase -> JSIO DOMStringList
  Totality: total
  Visibility: export
onabort : IDBDatabase -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onclose : IDBDatabase -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onerror : IDBDatabase -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onversionchange : IDBDatabase -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
version : IDBDatabase -> JSIO JSBits64
  Totality: total
  Visibility: export
close : IDBDatabase -> JSIO ()
  Totality: total
  Visibility: export
createObjectStore' : {auto 0 {conArg:4086} : JSType t3} -> {auto 0 _ : Elem IDBObjectStoreParameters (Types t3)} -> IDBDatabase -> String -> Optional t3 -> JSIO IDBObjectStore
  Totality: total
  Visibility: export
createObjectStore : IDBDatabase -> String -> JSIO IDBObjectStore
  Totality: total
  Visibility: export
deleteObjectStore : IDBDatabase -> String -> JSIO ()
  Totality: total
  Visibility: export
transaction' : {auto 0 {conArg:4139} : JSType t4} -> {auto 0 _ : Elem IDBTransactionOptions (Types t4)} -> IDBDatabase -> HSum [String, Array String] -> Optional IDBTransactionMode -> Optional t4 -> JSIO IDBTransaction
  Totality: total
  Visibility: export
transaction : IDBDatabase -> HSum [String, Array String] -> JSIO IDBTransaction
  Totality: total
  Visibility: export
cmp : IDBFactory -> Any -> Any -> JSIO Int16
  Totality: total
  Visibility: export
databases : IDBFactory -> JSIO (Promise (Array IDBDatabaseInfo))
  Totality: total
  Visibility: export
deleteDatabase : IDBFactory -> String -> JSIO IDBOpenDBRequest
  Totality: total
  Visibility: export
open' : IDBFactory -> String -> Optional JSBits64 -> JSIO IDBOpenDBRequest
  Totality: total
  Visibility: export
open_ : IDBFactory -> String -> JSIO IDBOpenDBRequest
  Totality: total
  Visibility: export
keyPath : IDBIndex -> JSIO Any
  Totality: total
  Visibility: export
multiEntry : IDBIndex -> JSIO Bool
  Totality: total
  Visibility: export
name : IDBIndex -> Attribute True id String
  Totality: total
  Visibility: export
objectStore : IDBIndex -> JSIO IDBObjectStore
  Totality: total
  Visibility: export
unique : IDBIndex -> JSIO Bool
  Totality: total
  Visibility: export
count' : IDBIndex -> Optional Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
count : IDBIndex -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAll' : IDBIndex -> Optional Any -> Optional Bits32 -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAll : IDBIndex -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAllKeys' : IDBIndex -> Optional Any -> Optional Bits32 -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAllKeys : IDBIndex -> JSIO IDBRequest
  Totality: total
  Visibility: export
get : IDBIndex -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
getKey : IDBIndex -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
openCursor' : IDBIndex -> Optional Any -> Optional IDBCursorDirection -> JSIO IDBRequest
  Totality: total
  Visibility: export
openCursor : IDBIndex -> JSIO IDBRequest
  Totality: total
  Visibility: export
openKeyCursor' : IDBIndex -> Optional Any -> Optional IDBCursorDirection -> JSIO IDBRequest
  Totality: total
  Visibility: export
openKeyCursor : IDBIndex -> JSIO IDBRequest
  Totality: total
  Visibility: export
bound' : Any -> Any -> Optional Bool -> Optional Bool -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
bound : Any -> Any -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
lowerBound' : Any -> Optional Bool -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
lowerBound : Any -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
only : Any -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
upperBound' : Any -> Optional Bool -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
upperBound : Any -> JSIO IDBKeyRange
  Totality: total
  Visibility: export
lower : IDBKeyRange -> JSIO Any
  Totality: total
  Visibility: export
lowerOpen : IDBKeyRange -> JSIO Bool
  Totality: total
  Visibility: export
upper : IDBKeyRange -> JSIO Any
  Totality: total
  Visibility: export
upperOpen : IDBKeyRange -> JSIO Bool
  Totality: total
  Visibility: export
includes : IDBKeyRange -> Any -> JSIO Bool
  Totality: total
  Visibility: export
autoIncrement : IDBObjectStore -> JSIO Bool
  Totality: total
  Visibility: export
indexNames : IDBObjectStore -> JSIO DOMStringList
  Totality: total
  Visibility: export
keyPath : IDBObjectStore -> JSIO Any
  Totality: total
  Visibility: export
name : IDBObjectStore -> Attribute True id String
  Totality: total
  Visibility: export
transaction : IDBObjectStore -> JSIO IDBTransaction
  Totality: total
  Visibility: export
add' : IDBObjectStore -> Any -> Optional Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
add : IDBObjectStore -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
clear : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
count' : IDBObjectStore -> Optional Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
count : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
createIndex' : {auto 0 {conArg:4841} : JSType t4} -> {auto 0 _ : Elem IDBIndexParameters (Types t4)} -> IDBObjectStore -> String -> HSum [String, Array String] -> Optional t4 -> JSIO IDBIndex
  Totality: total
  Visibility: export
createIndex : IDBObjectStore -> String -> HSum [String, Array String] -> JSIO IDBIndex
  Totality: total
  Visibility: export
delete : IDBObjectStore -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
deleteIndex : IDBObjectStore -> String -> JSIO ()
  Totality: total
  Visibility: export
getAll' : IDBObjectStore -> Optional Any -> Optional Bits32 -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAll : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAllKeys' : IDBObjectStore -> Optional Any -> Optional Bits32 -> JSIO IDBRequest
  Totality: total
  Visibility: export
getAllKeys : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
get : IDBObjectStore -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
getKey : IDBObjectStore -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
index : IDBObjectStore -> String -> JSIO IDBIndex
  Totality: total
  Visibility: export
openCursor' : IDBObjectStore -> Optional Any -> Optional IDBCursorDirection -> JSIO IDBRequest
  Totality: total
  Visibility: export
openCursor : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
openKeyCursor' : IDBObjectStore -> Optional Any -> Optional IDBCursorDirection -> JSIO IDBRequest
  Totality: total
  Visibility: export
openKeyCursor : IDBObjectStore -> JSIO IDBRequest
  Totality: total
  Visibility: export
put' : IDBObjectStore -> Any -> Optional Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
put : IDBObjectStore -> Any -> JSIO IDBRequest
  Totality: total
  Visibility: export
onblocked : IDBOpenDBRequest -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onupgradeneeded : IDBOpenDBRequest -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
error : {auto 0 {conArg:5210} : JSType t1} -> {auto 0 _ : Elem IDBRequest (Types t1)} -> t1 -> JSIO (Maybe DOMException)
  Totality: total
  Visibility: export
onerror : {auto 0 {conArg:5246} : JSType t} -> {auto 0 _ : Elem IDBRequest (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onsuccess : {auto 0 {conArg:5286} : JSType t} -> {auto 0 _ : Elem IDBRequest (Types t)} -> t -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
readyState : {auto 0 {conArg:5324} : JSType t1} -> {auto 0 _ : Elem IDBRequest (Types t1)} -> t1 -> JSIO IDBRequestReadyState
  Totality: total
  Visibility: export
result : {auto 0 {conArg:5356} : JSType t1} -> {auto 0 _ : Elem IDBRequest (Types t1)} -> t1 -> JSIO Any
  Totality: total
  Visibility: export
source : {auto 0 {conArg:5389} : JSType t1} -> {auto 0 _ : Elem IDBRequest (Types t1)} -> t1 -> JSIO (Maybe (HSum [IDBObjectStore, IDBIndex, IDBCursor]))
  Totality: total
  Visibility: export
transaction : {auto 0 {conArg:5486} : JSType t1} -> {auto 0 _ : Elem IDBRequest (Types t1)} -> t1 -> JSIO (Maybe IDBTransaction)
  Totality: total
  Visibility: export
db : IDBTransaction -> JSIO IDBDatabase
  Totality: total
  Visibility: export
durability : IDBTransaction -> JSIO IDBTransactionDurability
  Totality: total
  Visibility: export
error : IDBTransaction -> JSIO (Maybe DOMException)
  Totality: total
  Visibility: export
mode : IDBTransaction -> JSIO IDBTransactionMode
  Totality: total
  Visibility: export
objectStoreNames : IDBTransaction -> JSIO DOMStringList
  Totality: total
  Visibility: export
onabort : IDBTransaction -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
oncomplete : IDBTransaction -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
onerror : IDBTransaction -> Attribute False Maybe EventHandlerNonNull
  Totality: total
  Visibility: export
abort : IDBTransaction -> JSIO ()
  Totality: total
  Visibility: export
commit : IDBTransaction -> JSIO ()
  Totality: total
  Visibility: export
objectStore : IDBTransaction -> String -> JSIO IDBObjectStore
  Totality: total
  Visibility: export
new' : {auto 0 {conArg:5646} : JSType t2} -> {auto 0 _ : Elem IDBVersionChangeEventInit (Types t2)} -> String -> Optional t2 -> JSIO IDBVersionChangeEvent
  Totality: total
  Visibility: export
new : String -> JSIO IDBVersionChangeEvent
  Totality: total
  Visibility: export
newVersion : IDBVersionChangeEvent -> JSIO (Maybe JSBits64)
  Totality: total
  Visibility: export
oldVersion : IDBVersionChangeEvent -> JSIO JSBits64
  Totality: total
  Visibility: export
new' : Optional String -> Optional JSBits64 -> JSIO IDBDatabaseInfo
  Totality: total
  Visibility: export
new : JSIO IDBDatabaseInfo
  Totality: total
  Visibility: export
name : {auto 0 {conArg:5729} : JSType t} -> {auto 0 _ : Elem IDBDatabaseInfo (Types t)} -> t -> Attribute False Optional String
  Totality: total
  Visibility: export
version : {auto 0 {conArg:5768} : JSType t} -> {auto 0 _ : Elem IDBDatabaseInfo (Types t)} -> t -> Attribute False Optional JSBits64
  Totality: total
  Visibility: export
new' : Optional Bool -> Optional Bool -> JSIO IDBIndexParameters
  Totality: total
  Visibility: export
new : JSIO IDBIndexParameters
  Totality: total
  Visibility: export
multiEntry : {auto 0 {conArg:5832} : JSType t} -> {auto 0 _ : Elem IDBIndexParameters (Types t)} -> t -> Attribute True Optional Bool
  Totality: total
  Visibility: export
unique : {auto 0 {conArg:5871} : JSType t} -> {auto 0 _ : Elem IDBIndexParameters (Types t)} -> t -> Attribute True Optional Bool
  Totality: total
  Visibility: export
new' : Optional (Maybe (HSum [String, Array String])) -> Optional Bool -> JSIO IDBObjectStoreParameters
  Totality: total
  Visibility: export
new : JSIO IDBObjectStoreParameters
  Totality: total
  Visibility: export
autoIncrement : {auto 0 {conArg:5969} : JSType t} -> {auto 0 _ : Elem IDBObjectStoreParameters (Types t)} -> t -> Attribute True Optional Bool
  Totality: total
  Visibility: export
keyPath : {auto 0 {conArg:6008} : JSType t} -> {auto 0 _ : Elem IDBObjectStoreParameters (Types t)} -> t -> Attribute True Optional (Maybe (Union2 String (Array String)))
  Totality: total
  Visibility: export
new' : Optional IDBTransactionDurability -> JSIO IDBTransactionOptions
  Totality: total
  Visibility: export
new : JSIO IDBTransactionOptions
  Totality: total
  Visibility: export
durability : {auto 0 {conArg:6075} : JSType t} -> {auto 0 _ : Elem IDBTransactionOptions (Types t)} -> t -> Attribute False Optional IDBTransactionDurability
  Totality: total
  Visibility: export
new' : Optional JSBits64 -> Optional (Maybe JSBits64) -> JSIO IDBVersionChangeEventInit
  Totality: total
  Visibility: export
new : JSIO IDBVersionChangeEventInit
  Totality: total
  Visibility: export
newVersion : {auto 0 {conArg:6143} : JSType t} -> {auto 0 _ : Elem IDBVersionChangeEventInit (Types t)} -> t -> Attribute True Optional (Maybe JSBits64)
  Totality: total
  Visibility: export
oldVersion : {auto 0 {conArg:6190} : JSType t} -> {auto 0 _ : Elem IDBVersionChangeEventInit (Types t)} -> t -> Attribute True Optional JSBits64
  Totality: total
  Visibility: export