Safe Haskell | None |
---|---|
Language | Haskell2010 |
- open :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m (Maybe IDBOpenDBRequest)
- open_ :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m ()
- openUnsafe :: (MonadDOM m, ToJSString name, HasCallStack) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest
- openUnchecked :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest
- deleteDatabase :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m (Maybe IDBOpenDBRequest)
- deleteDatabase_ :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m ()
- deleteDatabaseUnsafe :: (MonadDOM m, ToJSString name, HasCallStack) => IDBFactory -> name -> m IDBOpenDBRequest
- deleteDatabaseUnchecked :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m IDBOpenDBRequest
- cmp :: MonadDOM m => IDBFactory -> JSVal -> JSVal -> m Int
- cmp_ :: MonadDOM m => IDBFactory -> JSVal -> JSVal -> m ()
- newtype IDBFactory = IDBFactory {}
- gTypeIDBFactory :: JSM GType
Documentation
open :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m (Maybe IDBOpenDBRequest) Source #
open_ :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m () Source #
openUnsafe :: (MonadDOM m, ToJSString name, HasCallStack) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest Source #
openUnchecked :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest Source #
deleteDatabase :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m (Maybe IDBOpenDBRequest) Source #
deleteDatabase_ :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m () Source #
deleteDatabaseUnsafe :: (MonadDOM m, ToJSString name, HasCallStack) => IDBFactory -> name -> m IDBOpenDBRequest Source #
deleteDatabaseUnchecked :: (MonadDOM m, ToJSString name) => IDBFactory -> name -> m IDBOpenDBRequest Source #
newtype IDBFactory Source #
Functions for this inteface are in JSDOM.IDBFactory.