module Mason.Builder.Dynamic
  ( DynBuilder
  , DynamicBackend(..)
  -- * Runners
  , toStrictByteString
  , toLazyByteString
  , hPutBuilderLen
  , hPutBuilder
  , sendBuilder
  ) where

import qualified Data.ByteString as B
import qualified Data.ByteString.Lazy as BL
import qualified Mason.Builder as B
import qualified Mason.Builder.Internal as B
import Network.Socket (Socket)
import System.IO (Handle)

data DynamicBackend = DynGrowingBuffer !B.GrowingBuffer
  | DynChannel !B.Channel
  | DynPutEnv !B.PutEnv

instance B.Buildable DynamicBackend where
  byteString :: ByteString -> BuilderFor DynamicBackend
byteString bs :: ByteString
bs = (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((DynamicBackend -> Buffer -> IO Buffer)
 -> BuilderFor DynamicBackend)
-> (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall a b. (a -> b) -> a -> b
$ \env :: DynamicBackend
env buf :: Buffer
buf -> case DynamicBackend
env of
    DynGrowingBuffer e :: GrowingBuffer
e -> BuilderFor GrowingBuffer -> GrowingBuffer -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (ByteString -> BuilderFor GrowingBuffer
forall s. Buildable s => ByteString -> BuilderFor s
B.byteString ByteString
bs) GrowingBuffer
e Buffer
buf
    DynChannel e :: Channel
e -> BuilderFor Channel -> Channel -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (ByteString -> BuilderFor Channel
forall s. Buildable s => ByteString -> BuilderFor s
B.byteString ByteString
bs) Channel
e Buffer
buf
    DynPutEnv e :: PutEnv
e -> BuilderFor PutEnv -> PutEnv -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (ByteString -> BuilderFor PutEnv
forall s. Buildable s => ByteString -> BuilderFor s
B.byteString ByteString
bs) PutEnv
e Buffer
buf
  flush :: BuilderFor DynamicBackend
flush = (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((DynamicBackend -> Buffer -> IO Buffer)
 -> BuilderFor DynamicBackend)
-> (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall a b. (a -> b) -> a -> b
$ \env :: DynamicBackend
env buf :: Buffer
buf -> case DynamicBackend
env of
    DynGrowingBuffer e :: GrowingBuffer
e -> BuilderFor GrowingBuffer -> GrowingBuffer -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor GrowingBuffer
forall s. Buildable s => BuilderFor s
B.flush GrowingBuffer
e Buffer
buf
    DynChannel e :: Channel
e -> BuilderFor Channel -> Channel -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor Channel
forall s. Buildable s => BuilderFor s
B.flush Channel
e Buffer
buf
    DynPutEnv e :: PutEnv
e -> BuilderFor PutEnv -> PutEnv -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor PutEnv
forall s. Buildable s => BuilderFor s
B.flush PutEnv
e Buffer
buf
  allocate :: Int -> BuilderFor DynamicBackend
allocate n :: Int
n = (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((DynamicBackend -> Buffer -> IO Buffer)
 -> BuilderFor DynamicBackend)
-> (DynamicBackend -> Buffer -> IO Buffer)
-> BuilderFor DynamicBackend
forall a b. (a -> b) -> a -> b
$ \env :: DynamicBackend
env buf :: Buffer
buf -> case DynamicBackend
env of
    DynGrowingBuffer e :: GrowingBuffer
e -> BuilderFor GrowingBuffer -> GrowingBuffer -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (Int -> BuilderFor GrowingBuffer
forall s. Buildable s => Int -> BuilderFor s
B.allocate Int
n) GrowingBuffer
e Buffer
buf
    DynChannel e :: Channel
e -> BuilderFor Channel -> Channel -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (Int -> BuilderFor Channel
forall s. Buildable s => Int -> BuilderFor s
B.allocate Int
n) Channel
e Buffer
buf
    DynPutEnv e :: PutEnv
e -> BuilderFor PutEnv -> PutEnv -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder (Int -> BuilderFor PutEnv
forall s. Buildable s => Int -> BuilderFor s
B.allocate Int
n) PutEnv
e Buffer
buf

-- | Builder with a fixed set of backends. This helps reducing code size
-- and unoptimised code especially on complex/recursive structures, at the cost of
-- extensibility.
type DynBuilder = B.BuilderFor DynamicBackend

toStrictByteString :: DynBuilder -> B.ByteString
toStrictByteString :: BuilderFor DynamicBackend -> ByteString
toStrictByteString b :: BuilderFor DynamicBackend
b = BuilderFor GrowingBuffer -> ByteString
B.toStrictByteString (BuilderFor GrowingBuffer -> ByteString)
-> BuilderFor GrowingBuffer -> ByteString
forall a b. (a -> b) -> a -> b
$ (GrowingBuffer -> Buffer -> IO Buffer) -> BuilderFor GrowingBuffer
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((GrowingBuffer -> Buffer -> IO Buffer)
 -> BuilderFor GrowingBuffer)
-> (GrowingBuffer -> Buffer -> IO Buffer)
-> BuilderFor GrowingBuffer
forall a b. (a -> b) -> a -> b
$ BuilderFor DynamicBackend -> DynamicBackend -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor DynamicBackend
b (DynamicBackend -> Buffer -> IO Buffer)
-> (GrowingBuffer -> DynamicBackend)
-> GrowingBuffer
-> Buffer
-> IO Buffer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. GrowingBuffer -> DynamicBackend
DynGrowingBuffer
{-# INLINE toStrictByteString #-}

toLazyByteString :: DynBuilder -> BL.ByteString
toLazyByteString :: BuilderFor DynamicBackend -> ByteString
toLazyByteString b :: BuilderFor DynamicBackend
b = BuilderFor Channel -> ByteString
B.toLazyByteString (BuilderFor Channel -> ByteString)
-> BuilderFor Channel -> ByteString
forall a b. (a -> b) -> a -> b
$ (Channel -> Buffer -> IO Buffer) -> BuilderFor Channel
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((Channel -> Buffer -> IO Buffer) -> BuilderFor Channel)
-> (Channel -> Buffer -> IO Buffer) -> BuilderFor Channel
forall a b. (a -> b) -> a -> b
$ BuilderFor DynamicBackend -> DynamicBackend -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor DynamicBackend
b (DynamicBackend -> Buffer -> IO Buffer)
-> (Channel -> DynamicBackend) -> Channel -> Buffer -> IO Buffer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Channel -> DynamicBackend
DynChannel
{-# INLINE toLazyByteString #-}

hPutBuilder :: Handle -> DynBuilder -> IO ()
hPutBuilder :: Handle -> BuilderFor DynamicBackend -> IO ()
hPutBuilder h :: Handle
h b :: BuilderFor DynamicBackend
b = Handle -> BuilderFor PutEnv -> IO ()
B.hPutBuilder Handle
h (BuilderFor PutEnv -> IO ()) -> BuilderFor PutEnv -> IO ()
forall a b. (a -> b) -> a -> b
$ (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv)
-> (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall a b. (a -> b) -> a -> b
$ BuilderFor DynamicBackend -> DynamicBackend -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor DynamicBackend
b (DynamicBackend -> Buffer -> IO Buffer)
-> (PutEnv -> DynamicBackend) -> PutEnv -> Buffer -> IO Buffer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PutEnv -> DynamicBackend
DynPutEnv
{-# INLINE hPutBuilder #-}

hPutBuilderLen :: Handle -> DynBuilder -> IO Int
hPutBuilderLen :: Handle -> BuilderFor DynamicBackend -> IO Int
hPutBuilderLen h :: Handle
h b :: BuilderFor DynamicBackend
b = Handle -> BuilderFor PutEnv -> IO Int
B.hPutBuilderLen Handle
h (BuilderFor PutEnv -> IO Int) -> BuilderFor PutEnv -> IO Int
forall a b. (a -> b) -> a -> b
$ (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv)
-> (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall a b. (a -> b) -> a -> b
$ BuilderFor DynamicBackend -> DynamicBackend -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor DynamicBackend
b (DynamicBackend -> Buffer -> IO Buffer)
-> (PutEnv -> DynamicBackend) -> PutEnv -> Buffer -> IO Buffer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PutEnv -> DynamicBackend
DynPutEnv
{-# INLINE hPutBuilderLen #-}

sendBuilder :: Socket -> DynBuilder -> IO Int
sendBuilder :: Socket -> BuilderFor DynamicBackend -> IO Int
sendBuilder h :: Socket
h b :: BuilderFor DynamicBackend
b = Socket -> BuilderFor PutEnv -> IO Int
B.sendBuilder Socket
h (BuilderFor PutEnv -> IO Int) -> BuilderFor PutEnv -> IO Int
forall a b. (a -> b) -> a -> b
$ (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall s. (s -> Buffer -> IO Buffer) -> BuilderFor s
B.Builder ((PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv)
-> (PutEnv -> Buffer -> IO Buffer) -> BuilderFor PutEnv
forall a b. (a -> b) -> a -> b
$ BuilderFor DynamicBackend -> DynamicBackend -> Buffer -> IO Buffer
forall s. BuilderFor s -> s -> Buffer -> IO Buffer
B.unBuilder BuilderFor DynamicBackend
b (DynamicBackend -> Buffer -> IO Buffer)
-> (PutEnv -> DynamicBackend) -> PutEnv -> Buffer -> IO Buffer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. PutEnv -> DynamicBackend
DynPutEnv
{-# INLINE sendBuilder #-}