| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHCJS.DOM.JSFFI.Generated.WebSocket
- js_newWebSocket :: JSString -> JSVal -> IO WebSocket
- newWebSocket :: (MonadIO m, ToJSString url, ToJSString protocols) => url -> Maybe [protocols] -> m WebSocket
- js_newWebSocket' :: JSString -> JSString -> IO WebSocket
- newWebSocket' :: (MonadIO m, ToJSString url, ToJSString protocol) => url -> protocol -> m WebSocket
- js_send :: WebSocket -> Nullable ArrayBuffer -> IO ()
- send :: (MonadIO m, IsArrayBuffer data') => WebSocket -> Maybe data' -> m ()
- js_sendView :: WebSocket -> Nullable ArrayBufferView -> IO ()
- sendView :: (MonadIO m, IsArrayBufferView data') => WebSocket -> Maybe data' -> m ()
- js_sendBlob :: WebSocket -> Nullable Blob -> IO ()
- sendBlob :: (MonadIO m, IsBlob data') => WebSocket -> Maybe data' -> m ()
- js_sendString :: WebSocket -> JSString -> IO ()
- sendString :: (MonadIO m, ToJSString data') => WebSocket -> data' -> m ()
- js_close :: WebSocket -> Word -> JSString -> IO ()
- close :: (MonadIO m, ToJSString reason) => WebSocket -> Word -> reason -> m ()
- pattern CONNECTING :: forall a. (Num a, Eq a) => a
- pattern OPEN :: forall a. (Num a, Eq a) => a
- pattern CLOSING :: forall a. (Num a, Eq a) => a
- pattern CLOSED :: forall a. (Num a, Eq a) => a
- js_getUrl :: WebSocket -> IO JSString
- getUrl :: (MonadIO m, FromJSString result) => WebSocket -> m result
- js_getReadyState :: WebSocket -> IO Word
- getReadyState :: MonadIO m => WebSocket -> m Word
- js_getBufferedAmount :: WebSocket -> IO Word
- getBufferedAmount :: MonadIO m => WebSocket -> m Word
- open :: EventName WebSocket Event
- message :: EventName WebSocket MessageEvent
- error :: EventName WebSocket UIEvent
- closeEvent :: EventName WebSocket CloseEvent
- js_getProtocol :: WebSocket -> IO (Nullable JSString)
- getProtocol :: (MonadIO m, FromJSString result) => WebSocket -> m (Maybe result)
- getProtocolUnsafe :: (MonadIO m, HasCallStack, FromJSString result) => WebSocket -> m result
- getProtocolUnchecked :: (MonadIO m, FromJSString result) => WebSocket -> m result
- js_getExtensions :: WebSocket -> IO (Nullable JSString)
- getExtensions :: (MonadIO m, FromJSString result) => WebSocket -> m (Maybe result)
- getExtensionsUnsafe :: (MonadIO m, HasCallStack, FromJSString result) => WebSocket -> m result
- getExtensionsUnchecked :: (MonadIO m, FromJSString result) => WebSocket -> m result
- js_setBinaryType :: WebSocket -> JSString -> IO ()
- setBinaryType :: (MonadIO m, ToJSString val) => WebSocket -> val -> m ()
- js_getBinaryType :: WebSocket -> IO JSString
- getBinaryType :: (MonadIO m, FromJSString result) => WebSocket -> m result
- newtype WebSocket = WebSocket {
- unWebSocket :: JSVal
- gTypeWebSocket :: GType
Documentation
newWebSocket :: (MonadIO m, ToJSString url, ToJSString protocols) => url -> Maybe [protocols] -> m WebSocket Source #
newWebSocket' :: (MonadIO m, ToJSString url, ToJSString protocol) => url -> protocol -> m WebSocket Source #
js_sendView :: WebSocket -> Nullable ArrayBufferView -> IO () Source #
sendString :: (MonadIO m, ToJSString data') => WebSocket -> data' -> m () Source #
pattern CONNECTING :: forall a. (Num a, Eq a) => a Source #
getProtocol :: (MonadIO m, FromJSString result) => WebSocket -> m (Maybe result) Source #
getProtocolUnsafe :: (MonadIO m, HasCallStack, FromJSString result) => WebSocket -> m result Source #
getProtocolUnchecked :: (MonadIO m, FromJSString result) => WebSocket -> m result Source #
getExtensions :: (MonadIO m, FromJSString result) => WebSocket -> m (Maybe result) Source #
getExtensionsUnsafe :: (MonadIO m, HasCallStack, FromJSString result) => WebSocket -> m result Source #
getExtensionsUnchecked :: (MonadIO m, FromJSString result) => WebSocket -> m result Source #
setBinaryType :: (MonadIO m, ToJSString val) => WebSocket -> val -> m () Source #
getBinaryType :: (MonadIO m, FromJSString result) => WebSocket -> m result Source #
Functions for this inteface are in GHCJS.DOM.WebSocket. Base interface functions are in:
Constructors
| WebSocket | |
Fields
| |