Idris2Doc : Web.Internal.IndexedDBPrim

Web.Internal.IndexedDBPrim

(source)

Definitions

prim__direction : IDBCursor -> PrimIO String
prim__key : IDBCursor -> PrimIO AnyPtr
prim__primaryKey : IDBCursor -> PrimIO AnyPtr
prim__request : IDBCursor -> PrimIO IDBRequest
prim__source : IDBCursor -> PrimIO (Union2 IDBObjectStore IDBIndex)
prim__advance : IDBCursor -> Bits32 -> PrimIO ()
prim__continue : IDBCursor -> UndefOr AnyPtr -> PrimIO ()
prim__continuePrimaryKey : IDBCursor -> AnyPtr -> AnyPtr -> PrimIO ()
prim__delete : IDBCursor -> PrimIO IDBRequest
prim__update : IDBCursor -> AnyPtr -> PrimIO IDBRequest
prim__value : IDBCursorWithValue -> PrimIO AnyPtr
prim__name : IDBDatabase -> PrimIO String
prim__objectStoreNames : IDBDatabase -> PrimIO DOMStringList
prim__onabort : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnabort : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onclose : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnclose : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onerror : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnerror : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onversionchange : IDBDatabase -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnversionchange : IDBDatabase -> Nullable EventHandlerNonNull -> PrimIO ()
prim__version : IDBDatabase -> PrimIO JSBits64
prim__close : IDBDatabase -> PrimIO ()
prim__createObjectStore : IDBDatabase -> String -> UndefOr IDBObjectStoreParameters -> PrimIO IDBObjectStore
prim__deleteObjectStore : IDBDatabase -> String -> PrimIO ()
prim__transaction : IDBDatabase -> Union2 String (Array String) -> UndefOr String -> UndefOr IDBTransactionOptions -> PrimIO IDBTransaction
prim__cmp : IDBFactory -> AnyPtr -> AnyPtr -> PrimIO Int16
prim__databases : IDBFactory -> PrimIO (Promise (Array IDBDatabaseInfo))
prim__deleteDatabase : IDBFactory -> String -> PrimIO IDBOpenDBRequest
prim__open : IDBFactory -> String -> UndefOr JSBits64 -> PrimIO IDBOpenDBRequest
prim__keyPath : IDBIndex -> PrimIO AnyPtr
prim__multiEntry : IDBIndex -> PrimIO Boolean
prim__name : IDBIndex -> PrimIO String
prim__setName : IDBIndex -> String -> PrimIO ()
prim__objectStore : IDBIndex -> PrimIO IDBObjectStore
prim__unique : IDBIndex -> PrimIO Boolean
prim__count : IDBIndex -> UndefOr AnyPtr -> PrimIO IDBRequest
prim__getAll : IDBIndex -> UndefOr AnyPtr -> UndefOr Bits32 -> PrimIO IDBRequest
prim__getAllKeys : IDBIndex -> UndefOr AnyPtr -> UndefOr Bits32 -> PrimIO IDBRequest
prim__get : IDBIndex -> AnyPtr -> PrimIO IDBRequest
prim__getKey : IDBIndex -> AnyPtr -> PrimIO IDBRequest
prim__openCursor : IDBIndex -> UndefOr AnyPtr -> UndefOr String -> PrimIO IDBRequest
prim__openKeyCursor : IDBIndex -> UndefOr AnyPtr -> UndefOr String -> PrimIO IDBRequest
prim__bound : AnyPtr -> AnyPtr -> UndefOr Boolean -> UndefOr Boolean -> PrimIO IDBKeyRange
prim__lowerBound : AnyPtr -> UndefOr Boolean -> PrimIO IDBKeyRange
prim__only : AnyPtr -> PrimIO IDBKeyRange
prim__upperBound : AnyPtr -> UndefOr Boolean -> PrimIO IDBKeyRange
prim__lower : IDBKeyRange -> PrimIO AnyPtr
prim__lowerOpen : IDBKeyRange -> PrimIO Boolean
prim__upper : IDBKeyRange -> PrimIO AnyPtr
prim__upperOpen : IDBKeyRange -> PrimIO Boolean
prim__includes : IDBKeyRange -> AnyPtr -> PrimIO Boolean
prim__autoIncrement : IDBObjectStore -> PrimIO Boolean
prim__indexNames : IDBObjectStore -> PrimIO DOMStringList
prim__keyPath : IDBObjectStore -> PrimIO AnyPtr
prim__name : IDBObjectStore -> PrimIO String
prim__setName : IDBObjectStore -> String -> PrimIO ()
prim__transaction : IDBObjectStore -> PrimIO IDBTransaction
prim__add : IDBObjectStore -> AnyPtr -> UndefOr AnyPtr -> PrimIO IDBRequest
prim__clear : IDBObjectStore -> PrimIO IDBRequest
prim__count : IDBObjectStore -> UndefOr AnyPtr -> PrimIO IDBRequest
prim__createIndex : IDBObjectStore -> String -> Union2 String (Array String) -> UndefOr IDBIndexParameters -> PrimIO IDBIndex
prim__delete : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
prim__deleteIndex : IDBObjectStore -> String -> PrimIO ()
prim__getAll : IDBObjectStore -> UndefOr AnyPtr -> UndefOr Bits32 -> PrimIO IDBRequest
prim__getAllKeys : IDBObjectStore -> UndefOr AnyPtr -> UndefOr Bits32 -> PrimIO IDBRequest
prim__get : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
prim__getKey : IDBObjectStore -> AnyPtr -> PrimIO IDBRequest
prim__index : IDBObjectStore -> String -> PrimIO IDBIndex
prim__openCursor : IDBObjectStore -> UndefOr AnyPtr -> UndefOr String -> PrimIO IDBRequest
prim__openKeyCursor : IDBObjectStore -> UndefOr AnyPtr -> UndefOr String -> PrimIO IDBRequest
prim__put : IDBObjectStore -> AnyPtr -> UndefOr AnyPtr -> PrimIO IDBRequest
prim__onblocked : IDBOpenDBRequest -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnblocked : IDBOpenDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onupgradeneeded : IDBOpenDBRequest -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnupgradeneeded : IDBOpenDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
prim__error : IDBRequest -> PrimIO (Nullable DOMException)
prim__onerror : IDBRequest -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnerror : IDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onsuccess : IDBRequest -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnsuccess : IDBRequest -> Nullable EventHandlerNonNull -> PrimIO ()
prim__readyState : IDBRequest -> PrimIO String
prim__result : IDBRequest -> PrimIO AnyPtr
prim__source : IDBRequest -> PrimIO (Nullable (Union3 IDBObjectStore IDBIndex IDBCursor))
prim__transaction : IDBRequest -> PrimIO (Nullable IDBTransaction)
prim__db : IDBTransaction -> PrimIO IDBDatabase
prim__durability : IDBTransaction -> PrimIO String
prim__error : IDBTransaction -> PrimIO (Nullable DOMException)
prim__mode : IDBTransaction -> PrimIO String
prim__objectStoreNames : IDBTransaction -> PrimIO DOMStringList
prim__onabort : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnabort : IDBTransaction -> Nullable EventHandlerNonNull -> PrimIO ()
prim__oncomplete : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
prim__setOncomplete : IDBTransaction -> Nullable EventHandlerNonNull -> PrimIO ()
prim__onerror : IDBTransaction -> PrimIO (Nullable EventHandlerNonNull)
prim__setOnerror : IDBTransaction -> Nullable EventHandlerNonNull -> PrimIO ()
prim__abort : IDBTransaction -> PrimIO ()
prim__commit : IDBTransaction -> PrimIO ()
prim__objectStore : IDBTransaction -> String -> PrimIO IDBObjectStore
prim__new : String -> UndefOr IDBVersionChangeEventInit -> PrimIO IDBVersionChangeEvent
prim__newVersion : IDBVersionChangeEvent -> PrimIO (Nullable JSBits64)
prim__oldVersion : IDBVersionChangeEvent -> PrimIO JSBits64
prim__new : UndefOr String -> UndefOr JSBits64 -> PrimIO IDBDatabaseInfo
prim__name : IDBDatabaseInfo -> PrimIO (UndefOr String)
prim__setName : IDBDatabaseInfo -> UndefOr String -> PrimIO ()
prim__version : IDBDatabaseInfo -> PrimIO (UndefOr JSBits64)
prim__setVersion : IDBDatabaseInfo -> UndefOr JSBits64 -> PrimIO ()
prim__new : UndefOr Boolean -> UndefOr Boolean -> PrimIO IDBIndexParameters
prim__multiEntry : IDBIndexParameters -> PrimIO (UndefOr Boolean)
prim__setMultiEntry : IDBIndexParameters -> UndefOr Boolean -> PrimIO ()
prim__unique : IDBIndexParameters -> PrimIO (UndefOr Boolean)
prim__setUnique : IDBIndexParameters -> UndefOr Boolean -> PrimIO ()
prim__new : UndefOr (Nullable (Union2 String (Array String))) -> UndefOr Boolean -> PrimIO IDBObjectStoreParameters
prim__autoIncrement : IDBObjectStoreParameters -> PrimIO (UndefOr Boolean)
prim__setAutoIncrement : IDBObjectStoreParameters -> UndefOr Boolean -> PrimIO ()
prim__keyPath : IDBObjectStoreParameters -> PrimIO (UndefOr (Nullable (Union2 String (Array String))))
prim__setKeyPath : IDBObjectStoreParameters -> UndefOr (Nullable (Union2 String (Array String))) -> PrimIO ()
prim__new : UndefOr String -> PrimIO IDBTransactionOptions
prim__durability : IDBTransactionOptions -> PrimIO (UndefOr String)
prim__setDurability : IDBTransactionOptions -> UndefOr String -> PrimIO ()
prim__new : UndefOr JSBits64 -> UndefOr (Nullable JSBits64) -> PrimIO IDBVersionChangeEventInit
prim__newVersion : IDBVersionChangeEventInit -> PrimIO (UndefOr (Nullable JSBits64))
prim__setNewVersion : IDBVersionChangeEventInit -> UndefOr (Nullable JSBits64) -> PrimIO ()
prim__oldVersion : IDBVersionChangeEventInit -> PrimIO (UndefOr JSBits64)
prim__setOldVersion : IDBVersionChangeEventInit -> UndefOr JSBits64 -> PrimIO ()