-- SPDX-FileCopyrightText: 2021 Oxhead Alpha
-- SPDX-License-Identifier: LicenseRef-MIT-OA

-- | Tests on 'Value'.
module Test.Michelson.Typed.Value
  ( test_eqValueExt
  ) where

import Test.HUnit (assertBool)
import Test.Tasty (TestTree)
import Test.Tasty.HUnit (testCase)

import Morley.Michelson.Text
import Morley.Michelson.Typed.Haskell.Value
import Morley.Michelson.Typed.Value
import Test.Cleveland.Instances ()

test_eqValueExt :: [TestTree]
test_eqValueExt =
  [ testCase "Simple" $
      assertBool "Occured to be not reflexive" $
        toVal @Integer 5 `eqValueExt` toVal @Integer 5

  , testCase "Complex" $
      assertBool "Occured to be not reflexive" $
        toVal ("a" :: MText, 5 :: Integer)
          `eqValueExt`
        toVal ("a" :: MText, 5 :: Integer)

  , testCase "Types do not matter if content is the same" $
      -- Not sure this property is desired, leaving a test just for
      -- illustration purposes
      assertBool "Unexpectedly equal" . not $
        toVal ([] @Integer) `eqValueExt` toVal ([] @MText)
  ]