module JavaScript.TypedArray.ArrayBuffer
    ( ArrayBuffer
    , MutableArrayBuffer
    , freeze, unsafeFreeze
    , thaw, unsafeThaw
    , byteLengthIO
    ) where

import Control.Lens.Operators ((^.))

import GHCJS.Marshal (fromJSValUnchecked)

import Language.Javascript.JSaddle.Types (JSM)
import Language.Javascript.JSaddle.Object (jsg, new, js, js1, js2)
import JavaScript.TypedArray.ArrayBuffer.Internal

create :: Int -> JSM MutableArrayBuffer
create :: Int -> JSM MutableArrayBuffer
create Int
n = forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> forall constructor args.
(MakeObject constructor, MakeArgs args) =>
constructor -> args -> JSM JSVal
new (forall a. ToJSString a => a -> JSM JSVal
jsg String
"ArrayBuffer") [Int
n]
{-# INLINE create #-}

{- | Create an immutable 'ArrayBuffer' by copying a 'MutableArrayBuffer' -}
freeze :: MutableArrayBuffer -> JSM ArrayBuffer
freeze :: MutableArrayBuffer -> JSM ArrayBuffer
freeze (SomeArrayBuffer JSVal
b) = forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> JSVal
b forall s a. s -> Getting a s a -> a
^. forall name a0. (ToJSString name, ToJSVal a0) => name -> a0 -> JSF
js1 String
"slice" (Int
0 :: Int)
{-# INLINE freeze #-}

{- | Create an immutable 'ArrayBuffer' from a 'MutableArrayBuffer' without
     copying. The result shares the buffer with the argument,  not modify
     the data in the 'MutableArrayBuffer' after freezing
 -}
unsafeFreeze :: MutableArrayBuffer -> JSM ArrayBuffer
unsafeFreeze :: MutableArrayBuffer -> JSM ArrayBuffer
unsafeFreeze (SomeArrayBuffer JSVal
b) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer JSVal
b)
{-# INLINE unsafeFreeze #-}

{- | Create a 'MutableArrayBuffer' by copying an immutable 'ArrayBuffer' -}
thaw :: ArrayBuffer -> JSM MutableArrayBuffer
thaw :: ArrayBuffer -> JSM MutableArrayBuffer
thaw (SomeArrayBuffer JSVal
b) = forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> JSVal
b forall s a. s -> Getting a s a -> a
^. forall name a0. (ToJSString name, ToJSVal a0) => name -> a0 -> JSF
js1 String
"slice" (Int
0 :: Int)
{-# INLINE thaw #-}

unsafeThaw :: ArrayBuffer -> JSM MutableArrayBuffer
unsafeThaw :: ArrayBuffer -> JSM MutableArrayBuffer
unsafeThaw (SomeArrayBuffer JSVal
b) = forall (f :: * -> *) a. Applicative f => a -> f a
pure (forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer JSVal
b)
{-# INLINE unsafeThaw #-}

sliceIO :: Int -> Maybe Int -> SomeArrayBuffer any -> JSM (SomeArrayBuffer any)
sliceIO :: forall (any :: MutabilityType (*)).
Int
-> Maybe Int -> SomeArrayBuffer any -> JSM (SomeArrayBuffer any)
sliceIO Int
begin (Just Int
end) (SomeArrayBuffer JSVal
b) = forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> JSVal
b forall s a. s -> Getting a s a -> a
^. forall name a0 a1.
(ToJSString name, ToJSVal a0, ToJSVal a1) =>
name -> a0 -> a1 -> JSF
js2 String
"slice" Int
begin Int
end
sliceIO Int
begin Maybe Int
_          (SomeArrayBuffer JSVal
b) = forall s (a :: MutabilityType s). JSVal -> SomeArrayBuffer a
SomeArrayBuffer forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> JSVal
b forall s a. s -> Getting a s a -> a
^. forall name a0. (ToJSString name, ToJSVal a0) => name -> a0 -> JSF
js1 String
"slice" Int
begin
{-# INLINE sliceIO #-}

byteLengthIO :: SomeArrayBuffer any -> JSM Int
byteLengthIO :: forall (any :: MutabilityType (*)). SomeArrayBuffer any -> JSM Int
byteLengthIO (SomeArrayBuffer JSVal
b) = JSVal
b forall s a. s -> Getting a s a -> a
^. forall s name.
(MakeObject s, ToJSString name) =>
name -> IndexPreservingGetter s (JSM JSVal)
js String
"byteLength" forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= forall a. FromJSVal a => JSVal -> JSM a
fromJSValUnchecked
{-# INLINE byteLengthIO #-}