module Octane.Type.List
( List(..)
) where
import Data.Function ((&))
import qualified Control.DeepSeq as DeepSeq
import qualified Control.Monad as Monad
import qualified Data.Aeson as Aeson
import qualified Data.Binary as Binary
import qualified Data.Default.Class as Default
import qualified Data.OverloadedRecords.TH as OverloadedRecords
import qualified GHC.Exts as Exts
import qualified GHC.Generics as Generics
import qualified Octane.Type.Word32 as Word32
newtype List a = List
{ listUnpack :: [a]
} deriving (Eq, Generics.Generic, Ord)
$(OverloadedRecords.overloadedRecord Default.def ''List)
instance (Binary.Binary a) =>
Binary.Binary (List a) where
get = do
size <- Binary.get
elements <- Monad.replicateM (Word32.fromWord32 size) Binary.get
elements & List & pure
put list = do
list & #unpack & length & fromIntegral & Word32.Word32 & Binary.put
list & #unpack & mapM_ Binary.put
instance Exts.IsList (List a) where
type Item (List a) = a
fromList items = List items
toList list = #unpack list
instance (DeepSeq.NFData a) =>
DeepSeq.NFData (List a)
instance (Show a) =>
Show (List a) where
show list = "fromList " ++ show (#unpack list)
instance (Aeson.ToJSON a) =>
Aeson.ToJSON (List a) where
toJSON list = list & #unpack & Aeson.toJSON