module Test.Tasty where

import Test.Hspec
import Test.Hspec.QuickCheck
import Test.Tasty.QuickCheck (QuickCheckMaxRatio (..))

type TestName = String

type TestTree = Spec

defaultMain :: Spec -> IO ()
defaultMain :: Spec -> IO ()
defaultMain = Spec -> IO ()
hspec

testGroup :: HasCallStack => String -> [SpecWith a] -> SpecWith a
testGroup :: forall a. HasCallStack => String -> [SpecWith a] -> SpecWith a
testGroup String
s = String -> SpecWith a -> SpecWith a
forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
s (SpecWith a -> SpecWith a)
-> ([SpecWith a] -> SpecWith a) -> [SpecWith a] -> SpecWith a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. [SpecWith a] -> SpecWith a
forall (t :: * -> *) (m :: * -> *) a.
(Foldable t, Monad m) =>
t (m a) -> m ()
sequence_

localOption :: QuickCheckMaxRatio -> SpecWith a -> SpecWith a
localOption :: forall a. QuickCheckMaxRatio -> SpecWith a -> SpecWith a
localOption (QuickCheckMaxRatio Int
i) = (Int -> Int) -> SpecWith a -> SpecWith a
forall a. (Int -> Int) -> SpecWith a -> SpecWith a
modifyMaxDiscardRatio (Int -> Int -> Int
forall a b. a -> b -> a
const Int
i)