Safe Haskell	None
Language	Haskell2010

Hedgehog.Extras.Test.Unit

Documentation

newtype UnitIO a Source #

Constructors

UnitIO
Fields runTestIO :: TestT (ResourceT IO) a

Instances

Instances details

MonadFail UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

fail :: String -> UnitIO a #

MonadIO UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

liftIO :: IO a -> UnitIO a #

Applicative UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

pure :: a -> UnitIO a #

(<*>) :: UnitIO (a -> b) -> UnitIO a -> UnitIO b #

liftA2 :: (a -> b -> c) -> UnitIO a -> UnitIO b -> UnitIO c #

(*>) :: UnitIO a -> UnitIO b -> UnitIO b #

(<*) :: UnitIO a -> UnitIO b -> UnitIO a #

Functor UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

fmap :: (a -> b) -> UnitIO a -> UnitIO b #

(<$) :: a -> UnitIO b -> UnitIO a #

Monad UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

(>>=) :: UnitIO a -> (a -> UnitIO b) -> UnitIO b #

(>>) :: UnitIO a -> UnitIO b -> UnitIO b #

return :: a -> UnitIO a #

MonadCatch UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

catch :: (HasCallStack, Exception e) => UnitIO a -> (e -> UnitIO a) -> UnitIO a #

MonadThrow UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

throwM :: (HasCallStack, Exception e) => e -> UnitIO a #

MonadTest UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

liftTest :: Test a -> UnitIO a #

MonadAssertion UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

throwAssertion :: Failure -> UnitIO a Source #

catchAssertion :: UnitIO a -> (Failure -> UnitIO a) -> UnitIO a Source #

MonadResource UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

liftResourceT :: ResourceT IO a -> UnitIO a #

MonadBaseControl IO UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Associated Types

type StM UnitIO a
Instance details Defined in Hedgehog.Extras.Test.Unit type StM UnitIO a = StM (TestT (ResourceT IO)) a

Methods

liftBaseWith :: (RunInBase UnitIO IO -> IO a) -> UnitIO a #

restoreM :: StM UnitIO a -> UnitIO a #

MonadBase IO UnitIO Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

liftBase :: IO α -> UnitIO α #

Tasty (UnitIO ()) Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

Methods

tasty :: TastyInfo -> UnitIO () -> IO TestTree #

type StM UnitIO a Source #

Instance details

Defined in Hedgehog.Extras.Test.Unit

type StM UnitIO a = StM (TestT (ResourceT IO)) a

testUnitIO :: TestName -> UnitIO () -> TestTree Source #