Web.Internal.IndexedDBTypes

Definitions

data IDBRequestReadyState : Type

Totality: total
Visibility: public export
Constructors:

Pending : IDBRequestReadyState

Done : IDBRequestReadyState

Hints:

Eq IDBRequestReadyState

FromFFI IDBRequestReadyState String

Ord IDBRequestReadyState

Show IDBRequestReadyState

ToFFI IDBRequestReadyState String

read : String -> Maybe IDBRequestReadyState

Totality: total
Visibility: public export

data IDBTransactionDurability : Type

Totality: total
Visibility: public export
Constructors:

Default : IDBTransactionDurability

Strict : IDBTransactionDurability

Relaxed : IDBTransactionDurability

Hints:

Eq IDBTransactionDurability

FromFFI IDBTransactionDurability String

Ord IDBTransactionDurability

Show IDBTransactionDurability

ToFFI IDBTransactionDurability String

read : String -> Maybe IDBTransactionDurability

Totality: total
Visibility: public export

data IDBCursorDirection : Type

Totality: total
Visibility: public export
Constructors:

Next : IDBCursorDirection

Nextunique : IDBCursorDirection

Prev : IDBCursorDirection

Prevunique : IDBCursorDirection

Hints:

Eq IDBCursorDirection

FromFFI IDBCursorDirection String

Ord IDBCursorDirection

Show IDBCursorDirection

ToFFI IDBCursorDirection String

read : String -> Maybe IDBCursorDirection

Totality: total
Visibility: public export

data IDBTransactionMode : Type

Totality: total
Visibility: public export
Constructors:

Readonly : IDBTransactionMode

Readwrite : IDBTransactionMode

Versionchange : IDBTransactionMode

Hints:

Eq IDBTransactionMode

FromFFI IDBTransactionMode String

Ord IDBTransactionMode

Show IDBTransactionMode

ToFFI IDBTransactionMode String

read : String -> Maybe IDBTransactionMode

Totality: total
Visibility: public export

data IDBCursor : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBCursor IDBCursor

JSType IDBCursor

SafeCast IDBCursor

ToFFI IDBCursor IDBCursor

data IDBCursorWithValue : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBCursorWithValue IDBCursorWithValue

JSType IDBCursorWithValue

SafeCast IDBCursorWithValue

ToFFI IDBCursorWithValue IDBCursorWithValue

data IDBDatabase : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBDatabase IDBDatabase

JSType IDBDatabase

SafeCast IDBDatabase

ToFFI IDBDatabase IDBDatabase

data IDBFactory : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBFactory IDBFactory

JSType IDBFactory

SafeCast IDBFactory

ToFFI IDBFactory IDBFactory

data IDBIndex : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBIndex IDBIndex

JSType IDBIndex

SafeCast IDBIndex

ToFFI IDBIndex IDBIndex

data IDBKeyRange : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBKeyRange IDBKeyRange

JSType IDBKeyRange

SafeCast IDBKeyRange

ToFFI IDBKeyRange IDBKeyRange

data IDBObjectStore : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBObjectStore IDBObjectStore

JSType IDBObjectStore

SafeCast IDBObjectStore

ToFFI IDBObjectStore IDBObjectStore

data IDBOpenDBRequest : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBOpenDBRequest IDBOpenDBRequest

JSType IDBOpenDBRequest

SafeCast IDBOpenDBRequest

ToFFI IDBOpenDBRequest IDBOpenDBRequest

data IDBRequest : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBRequest IDBRequest

JSType IDBRequest

SafeCast IDBRequest

ToFFI IDBRequest IDBRequest

data IDBTransaction : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBTransaction IDBTransaction

JSType IDBTransaction

SafeCast IDBTransaction

ToFFI IDBTransaction IDBTransaction

data IDBVersionChangeEvent : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBVersionChangeEvent IDBVersionChangeEvent

JSType IDBVersionChangeEvent

SafeCast IDBVersionChangeEvent

ToFFI IDBVersionChangeEvent IDBVersionChangeEvent

data IDBDatabaseInfo : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBDatabaseInfo IDBDatabaseInfo

JSType IDBDatabaseInfo

ToFFI IDBDatabaseInfo IDBDatabaseInfo

data IDBIndexParameters : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBIndexParameters IDBIndexParameters

JSType IDBIndexParameters

ToFFI IDBIndexParameters IDBIndexParameters

data IDBObjectStoreParameters : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBObjectStoreParameters IDBObjectStoreParameters

JSType IDBObjectStoreParameters

ToFFI IDBObjectStoreParameters IDBObjectStoreParameters

data IDBTransactionOptions : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBTransactionOptions IDBTransactionOptions

JSType IDBTransactionOptions

ToFFI IDBTransactionOptions IDBTransactionOptions

data IDBVersionChangeEventInit : Type

Totality: total
Visibility: export
Hints:

FromFFI IDBVersionChangeEventInit IDBVersionChangeEventInit

JSType IDBVersionChangeEventInit

ToFFI IDBVersionChangeEventInit IDBVersionChangeEventInit