{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ForeignFunctionInterface #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE LambdaCase #-}
-----------------------------------------------------------------------------
-- |
-- Module      :  Miso.FFI.WebSocket
-- Copyright   :  (C) 2016-2018 David M. Johnson
-- License     :  BSD3-style (see the file LICENSE)
-- Maintainer  :  David M. Johnson <djohnson.m@gmail.com>
-- Stability   :  experimental
-- Portability :  non-portable
----------------------------------------------------------------------------
module Miso.FFI.WebSocket
  ( Socket(..)
  , create
  , socketState
  , send
  , close
  , addEventListener
  , data'
  , wasClean
  , code
  , reason
  ) where

import           GHCJS.Types

import           Language.Javascript.JSaddle hiding (create)

import           Miso.FFI (JSM)
import qualified Miso.FFI as FFI
import           Miso.String
import           Miso.WebSocket

newtype Socket = Socket JSVal

create :: MisoString -> JSVal -> JSM Socket
create :: MisoString -> JSVal -> JSM Socket
create MisoString
url JSVal
protocols = JSVal -> Socket
Socket (JSVal -> Socket) -> JSM JSVal -> JSM Socket
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> JSM JSVal -> (MisoString, JSVal) -> JSM JSVal
forall constructor args.
(MakeObject constructor, MakeArgs args) =>
constructor -> args -> JSM JSVal
new (JSString -> JSM JSVal
forall a. ToJSString a => a -> JSM JSVal
jsg (JSString
"WebSocket" :: JSString)) (MisoString
url, JSVal
protocols)

socketState :: Socket -> JSM Int
socketState :: Socket -> JSM Int
socketState (Socket JSVal
s) = JSVal -> JSM Int
forall a. FromJSVal a => JSVal -> JSM a
fromJSValUnchecked (JSVal -> JSM Int) -> JSM JSVal -> JSM Int
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< JSVal
s JSVal -> JSString -> JSM JSVal
forall this name.
(MakeObject this, ToJSString name) =>
this -> name -> JSM JSVal
! (JSString
"readyState" :: JSString)

send :: Socket -> MisoString -> JSM ()
send :: Socket -> MisoString -> JSM ()
send (Socket JSVal
s) MisoString
msg = do
  JSVal
_ <- JSVal
s JSVal -> JSString -> [MisoString] -> JSM JSVal
forall this name args.
(MakeObject this, ToJSString name, MakeArgs args) =>
this -> name -> args -> JSM JSVal
# (JSString
"send" :: JSString) ([MisoString] -> JSM JSVal) -> [MisoString] -> JSM JSVal
forall a b. (a -> b) -> a -> b
$ [MisoString
msg]
  () -> JSM ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ()

close :: Socket -> JSM ()
close :: Socket -> JSM ()
close (Socket JSVal
s) = do
  JSVal
_ <- JSVal
s JSVal -> JSString -> [JSString] -> JSM JSVal
forall this name args.
(MakeObject this, ToJSString name, MakeArgs args) =>
this -> name -> args -> JSM JSVal
# (JSString
"close" :: JSString) ([JSString] -> JSM JSVal) -> [JSString] -> JSM JSVal
forall a b. (a -> b) -> a -> b
$ ([] :: [JSString])
  () -> JSM ()
forall (f :: * -> *) a. Applicative f => a -> f a
pure ()

addEventListener :: Socket -> MisoString -> (JSVal -> JSM ()) -> JSM ()
addEventListener :: Socket -> MisoString -> (JSVal -> JSM ()) -> JSM ()
addEventListener (Socket JSVal
s) MisoString
name JSVal -> JSM ()
cb = do
  JSVal -> MisoString -> (JSVal -> JSM ()) -> JSM ()
FFI.addEventListener JSVal
s MisoString
name JSVal -> JSM ()
cb

data' :: JSVal -> JSM JSVal
data' :: JSVal -> JSM JSVal
data' JSVal
v = JSVal
v JSVal -> JSString -> JSM JSVal
forall this name.
(MakeObject this, ToJSString name) =>
this -> name -> JSM JSVal
! (JSString
"data" :: JSString)

wasClean :: JSVal -> JSM WasClean
wasClean :: JSVal -> JSM WasClean
wasClean JSVal
v = Bool -> WasClean
WasClean (Bool -> WasClean) -> JSM Bool -> JSM WasClean
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (JSVal -> JSM Bool
forall a. FromJSVal a => JSVal -> JSM a
fromJSValUnchecked (JSVal -> JSM Bool) -> JSM JSVal -> JSM Bool
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< JSVal
v JSVal -> JSString -> JSM JSVal
forall this name.
(MakeObject this, ToJSString name) =>
this -> name -> JSM JSVal
! (JSString
"wasClean" :: JSString))

code :: JSVal -> JSM Int
code :: JSVal -> JSM Int
code JSVal
v = JSVal -> JSM Int
forall a. FromJSVal a => JSVal -> JSM a
fromJSValUnchecked (JSVal -> JSM Int) -> JSM JSVal -> JSM Int
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< JSVal
v JSVal -> JSString -> JSM JSVal
forall this name.
(MakeObject this, ToJSString name) =>
this -> name -> JSM JSVal
! (JSString
"code" :: JSString)

reason :: JSVal -> JSM Reason
reason :: JSVal -> JSM Reason
reason JSVal
v = MisoString -> Reason
Reason (MisoString -> Reason) -> JSM MisoString -> JSM Reason
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (JSVal -> JSM MisoString
forall a. FromJSVal a => JSVal -> JSM a
fromJSValUnchecked (JSVal -> JSM MisoString) -> JSM JSVal -> JSM MisoString
forall (m :: * -> *) a b. Monad m => (a -> m b) -> m a -> m b
=<< JSVal
v JSVal -> JSString -> JSM JSVal
forall this name.
(MakeObject this, ToJSString name) =>
this -> name -> JSM JSVal
! (JSString
"reason" :: JSString))