{-# LANGUAGE Unsafe #-} -- unsafe: I am using TemplateHaskell from a dependency
{-# LANGUAGE TemplateHaskell #-} -- for 'quickCheckAll'
{-# OPTIONS_GHC -Wno-all-missed-specialisations #-} -- a lot of warnings for unspecialized 'read' and 'show', which I cannot specialize
-- I wouldn't know how at least, they're not my datatypes, I cannot use the hint and add an 'INLINABLE' pragma
module Test.Data.Map.Implicit (testGroup) where

import Data.Functor.Identity (Identity)

import Data.Map.Implicit (ImplicitMap)

import Language.Scalie.Core.Definition (Definition)

import Test.QuickCheck (Property, allProperties)
import Test.QuickCheck.Roundtrip (roundtrips)

import Test.Tasty (TestTree)
import Test.Tasty.QuickCheck (QuickCheckMaxSize(QuickCheckMaxSize))

import Test.Tasty qualified as Tasty
import Test.Tasty.QuickCheck qualified as Tasty.QuickCheck
import Test.Tasty.TH (moduleName)

-- | This is testworthy since I have somehow hand-hacked the read/show de/serialization of 'ImplicitMap'

prop_readShowIdentityRoundtrip :: ImplicitMap (Definition Identity) -> Bool
prop_readShowIdentityRoundtrip = roundtrips read show

prop_readShowMaybeRoundtrip :: ImplicitMap (Definition Maybe) -> Bool
prop_readShowMaybeRoundtrip = roundtrips read show

pure []
allTests :: [(String, Property)]
allTests = $allProperties

testGroup :: TestTree
testGroup = Tasty.localOption (QuickCheckMaxSize 25) -- it is necessary to restrain the size because the generated core would get veeeeeery big otherwise
  $ Tasty.QuickCheck.testProperties $moduleName allTests