module Test.Tasty.Silver.Interactive.Run
  ( wrapRunTest
  )
  where

import Data.Tagged ( retag, Tagged )

import Test.Tasty.Options       ( OptionDescription, OptionSet )
import Test.Tasty.Providers     ( IsTest(..), Progress, Result, TestName, TestTree )
import Test.Tasty.Runners       ( TestTree(..) )
import Test.Tasty.Silver.Filter ( TestPath )

data CustomTestExec t = IsTest t => CustomTestExec t (OptionSet -> t -> (Progress -> IO ()) -> IO Result)

instance IsTest t => IsTest (CustomTestExec t) where
  run opts (CustomTestExec t r) cb = r opts t cb
  testOptions = retag $ (testOptions :: Tagged t [OptionDescription])

-- | Provide new test run function wrapping the existing tests.
wrapRunTest
    :: (forall t . IsTest t => TestPath -> TestName -> OptionSet -> t -> (Progress -> IO ()) -> IO Result)
    -> TestTree
    -> TestTree
wrapRunTest = wrapRunTest' "/"

wrapRunTest' :: TestPath
    -> (forall t . IsTest t => TestPath -> TestName -> OptionSet -> t -> (Progress -> IO ()) -> IO Result)
    -> TestTree
    -> TestTree
wrapRunTest' tp f = \case
  SingleTest n t      -> SingleTest n (CustomTestExec t (f (tp <//> n) n))
  TestGroup n ts      -> TestGroup n (fmap (wrapRunTest' (tp <//> n) f) ts)
  PlusTestOptions o t -> PlusTestOptions o (wrapRunTest' tp f t)
  WithResource r t    -> WithResource r (\x -> wrapRunTest' tp f (t x))
  AskOptions t        -> AskOptions (\o -> wrapRunTest' tp f (t o))
  After dep expr t    -> After dep expr $ wrapRunTest' tp f t

(<//>) :: TestPath -> TestPath -> TestPath
a <//> b = a ++ "/" ++ b