{-# LANGUAGE BangPatterns              #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE ScopedTypeVariables       #-}
{-# LANGUAGE TupleSections             #-}
{-# LANGUAGE ViewPatterns              #-}

module PlutusCore.Flat.Instances.Util
    ( module F
    --     sizeList
    -- , decodeList
    -- , encodeList
    , encodeArray
    )
where

import PlutusCore.Flat.Class as F
import PlutusCore.Flat.Decoder as F
import PlutusCore.Flat.Encoder as F
import PlutusCore.Flat.Types as F
-- import           Data.List
-- import GHC.Exts(IsList)

-- -- $setup
-- >>> import PlutusCore.Flat.Instances.Base()
-- >>> import PlutusCore.Flat.Instances.Test
-- >>> let test = tstBits

-- {-|
-- >>> test []
-- (True,1,"0")

-- >>> test [1::Word8]
-- (True,10,"10000000 10")
-- -}

-- {-# INLINE sizeList #-}
-- sizeList :: Flat a => [a] -> NumBits -> NumBits
-- sizeList l sz = foldl' (\s e -> size e (s + 1)) (sz + 1) l

-- {-# INLINE encodeList #-}
-- encodeList :: Flat a => [a] -> Encoding
-- encodeList = encodeListWith encode

-- {-# INLINE decodeList #-}
-- decodeList :: Flat a => Get [a]
-- decodeList = decodeListWith decode

{-# INLINE encodeArray #-}
encodeArray :: Flat a => [a] -> Encoding
encodeArray :: forall a. Flat a => [a] -> Encoding
encodeArray = (a -> Encoding) -> [a] -> Encoding
forall t. (t -> Encoding) -> [t] -> Encoding
encodeArrayWith a -> Encoding
forall a. Flat a => a -> Encoding
encode