matrix-media-expanded/test/Test/Codec/Multibase/Identity.hs

{-# OPTIONS_GHC -Wno-unrecognised-pragmas #-}

{-# HLINT ignore "Use alternative" #-}
module Test.Codec.Multibase.Identity where

import Codec.Multibase.Identity
import Data.ByteString.Builder (toLazyByteString)
import Data.ByteString.Lazy qualified as B
import Test.Tasty
import Test.Tasty.HUnit
import Test.Tasty.SmallCheck as SC

tests :: TestTree
tests = testGroup "Identity" [scProps, unitTests]

encode' :: B.ByteString -> B.ByteString
encode' = toLazyByteString . encode

scProps :: TestTree
scProps =
  testGroup
    "SmallCheck"
    [ SC.testProperty "decode . encode == id" $ \list ->
        let lazyList = B.pack list
         in decode (encode' lazyList) == Right lazyList
    ]

unitTests :: TestTree
unitTests =
  testGroup
    "Unit Tests"
    [ testCase "Encoding the string 'yes mani !'" $ encode' "yes mani !" @?= "\0yes mani !"
    , testCase "Decoding the Multibase '\\0yes mani !'" $ decode "\0yes mani !" @?= Right "yes mani !"
    , testCase "Encoding the string '\\0yes mani !'" $ encode' "\0yes mani !" @?= "\0\0yes mani !"
    , testCase "Decoding the Multibase '\\0\\0yes mani !'" $ decode "\0\0yes mani !" @?= Right "\0yes mani !"
    , testCase "Encoding the string '\\0\\0yes mani !'" $ encode' "\0\0yes mani !" @?= "\0\0\0yes mani !"
    , testCase "Decoding the Multibase '\\0\\0\\0yes mani !'" $ decode "\0\0\0yes mani !" @?= Right "\0\0yes mani !"
    ]