Safe Haskell | None |
---|---|
Language | Haskell2010 |
- js_open :: IDBFactory -> JSString -> Double -> IO (Nullable IDBOpenDBRequest)
- open :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m (Maybe IDBOpenDBRequest)
- open_ :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m ()
- openUnsafe :: (MonadIO m, ToJSString name, HasCallStack) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest
- openUnchecked :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest
- js_deleteDatabase :: IDBFactory -> JSString -> IO (Nullable IDBOpenDBRequest)
- deleteDatabase :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m (Maybe IDBOpenDBRequest)
- deleteDatabase_ :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m ()
- deleteDatabaseUnsafe :: (MonadIO m, ToJSString name, HasCallStack) => IDBFactory -> name -> m IDBOpenDBRequest
- deleteDatabaseUnchecked :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m IDBOpenDBRequest
- js_cmp :: IDBFactory -> JSVal -> JSVal -> IO Int
- cmp :: MonadIO m => IDBFactory -> JSVal -> JSVal -> m Int
- cmp_ :: MonadIO m => IDBFactory -> JSVal -> JSVal -> m ()
- newtype IDBFactory = IDBFactory {}
- gTypeIDBFactory :: GType
Documentation
js_open :: IDBFactory -> JSString -> Double -> IO (Nullable IDBOpenDBRequest) Source #
open :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m (Maybe IDBOpenDBRequest) Source #
open_ :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m () Source #
openUnsafe :: (MonadIO m, ToJSString name, HasCallStack) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest Source #
openUnchecked :: (MonadIO m, ToJSString name) => IDBFactory -> name -> Word64 -> m IDBOpenDBRequest Source #
js_deleteDatabase :: IDBFactory -> JSString -> IO (Nullable IDBOpenDBRequest) Source #
deleteDatabase :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m (Maybe IDBOpenDBRequest) Source #
deleteDatabase_ :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m () Source #
deleteDatabaseUnsafe :: (MonadIO m, ToJSString name, HasCallStack) => IDBFactory -> name -> m IDBOpenDBRequest Source #
deleteDatabaseUnchecked :: (MonadIO m, ToJSString name) => IDBFactory -> name -> m IDBOpenDBRequest Source #
newtype IDBFactory Source #
Functions for this inteface are in GHCJS.DOM.IDBFactory.