module Ribosome.Test.Run where import Hedgehog (TestT, property, test, withTests) import Test.Tasty (TestName, TestTree) import Test.Tasty.Hedgehog (testProperty) type UnitTest = TestT IO () unitTest :: TestName -> UnitTest -> TestTree unitTest :: TestName -> UnitTest -> TestTree unitTest TestName desc = TestName -> Property -> TestTree testProperty TestName desc (Property -> TestTree) -> (UnitTest -> Property) -> UnitTest -> TestTree forall b c a. (b -> c) -> (a -> b) -> a -> c . TestLimit -> Property -> Property withTests TestLimit 1 (Property -> Property) -> (UnitTest -> Property) -> UnitTest -> Property forall b c a. (b -> c) -> (a -> b) -> a -> c . HasCallStack => PropertyT IO () -> Property PropertyT IO () -> Property property (PropertyT IO () -> Property) -> (UnitTest -> PropertyT IO ()) -> UnitTest -> Property forall b c a. (b -> c) -> (a -> b) -> a -> c . UnitTest -> PropertyT IO () forall (m :: * -> *) a. Monad m => TestT m a -> PropertyT m a test