Idris2Doc : Web.Internal.IndexedDBTypes

Web.Internal.IndexedDBTypes

(source)

Definitions

dataIDBRequestReadyState : Type
Totality: total
Visibility: public export
Constructors:
Pending : IDBRequestReadyState
Done : IDBRequestReadyState

Hints:
EqIDBRequestReadyState
FromFFIIDBRequestReadyStateString
OrdIDBRequestReadyState
ShowIDBRequestReadyState
ToFFIIDBRequestReadyStateString
read : String->MaybeIDBRequestReadyState
Totality: total
Visibility: public export
dataIDBTransactionDurability : Type
Totality: total
Visibility: public export
Constructors:
Default : IDBTransactionDurability
Strict : IDBTransactionDurability
Relaxed : IDBTransactionDurability

Hints:
EqIDBTransactionDurability
FromFFIIDBTransactionDurabilityString
OrdIDBTransactionDurability
ShowIDBTransactionDurability
ToFFIIDBTransactionDurabilityString
read : String->MaybeIDBTransactionDurability
Totality: total
Visibility: public export
dataIDBCursorDirection : Type
Totality: total
Visibility: public export
Constructors:
Next : IDBCursorDirection
Nextunique : IDBCursorDirection
Prev : IDBCursorDirection
Prevunique : IDBCursorDirection

Hints:
EqIDBCursorDirection
FromFFIIDBCursorDirectionString
OrdIDBCursorDirection
ShowIDBCursorDirection
ToFFIIDBCursorDirectionString
read : String->MaybeIDBCursorDirection
Totality: total
Visibility: public export
dataIDBTransactionMode : Type
Totality: total
Visibility: public export
Constructors:
Readonly : IDBTransactionMode
Readwrite : IDBTransactionMode
Versionchange : IDBTransactionMode

Hints:
EqIDBTransactionMode
FromFFIIDBTransactionModeString
OrdIDBTransactionMode
ShowIDBTransactionMode
ToFFIIDBTransactionModeString
read : String->MaybeIDBTransactionMode
Totality: total
Visibility: public export
dataIDBCursor : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBCursorIDBCursor
JSTypeIDBCursor
SafeCastIDBCursor
ToFFIIDBCursorIDBCursor
dataIDBCursorWithValue : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBCursorWithValueIDBCursorWithValue
JSTypeIDBCursorWithValue
SafeCastIDBCursorWithValue
ToFFIIDBCursorWithValueIDBCursorWithValue
dataIDBDatabase : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBDatabaseIDBDatabase
JSTypeIDBDatabase
SafeCastIDBDatabase
ToFFIIDBDatabaseIDBDatabase
dataIDBFactory : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBFactoryIDBFactory
JSTypeIDBFactory
SafeCastIDBFactory
ToFFIIDBFactoryIDBFactory
dataIDBIndex : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBIndexIDBIndex
JSTypeIDBIndex
SafeCastIDBIndex
ToFFIIDBIndexIDBIndex
dataIDBKeyRange : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBKeyRangeIDBKeyRange
JSTypeIDBKeyRange
SafeCastIDBKeyRange
ToFFIIDBKeyRangeIDBKeyRange
dataIDBObjectStore : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBObjectStoreIDBObjectStore
JSTypeIDBObjectStore
SafeCastIDBObjectStore
ToFFIIDBObjectStoreIDBObjectStore
dataIDBOpenDBRequest : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBOpenDBRequestIDBOpenDBRequest
JSTypeIDBOpenDBRequest
SafeCastIDBOpenDBRequest
ToFFIIDBOpenDBRequestIDBOpenDBRequest
dataIDBRequest : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBRequestIDBRequest
JSTypeIDBRequest
SafeCastIDBRequest
ToFFIIDBRequestIDBRequest
dataIDBTransaction : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBTransactionIDBTransaction
JSTypeIDBTransaction
SafeCastIDBTransaction
ToFFIIDBTransactionIDBTransaction
dataIDBVersionChangeEvent : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBVersionChangeEventIDBVersionChangeEvent
JSTypeIDBVersionChangeEvent
SafeCastIDBVersionChangeEvent
ToFFIIDBVersionChangeEventIDBVersionChangeEvent
dataIDBDatabaseInfo : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBDatabaseInfoIDBDatabaseInfo
JSTypeIDBDatabaseInfo
ToFFIIDBDatabaseInfoIDBDatabaseInfo
dataIDBIndexParameters : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBIndexParametersIDBIndexParameters
JSTypeIDBIndexParameters
ToFFIIDBIndexParametersIDBIndexParameters
dataIDBObjectStoreParameters : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBObjectStoreParametersIDBObjectStoreParameters
JSTypeIDBObjectStoreParameters
ToFFIIDBObjectStoreParametersIDBObjectStoreParameters
dataIDBTransactionOptions : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBTransactionOptionsIDBTransactionOptions
JSTypeIDBTransactionOptions
ToFFIIDBTransactionOptionsIDBTransactionOptions
dataIDBVersionChangeEventInit : Type
Totality: total
Visibility: export
Hints:
FromFFIIDBVersionChangeEventInitIDBVersionChangeEventInit
JSTypeIDBVersionChangeEventInit
ToFFIIDBVersionChangeEventInitIDBVersionChangeEventInit