uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Lib.Testing

Documentation

data Test Source #

Constructors

Test 

Fields

data TestsOut Source #

Constructors

TestsOut 

Fields

Instances

Instances details
Append TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

(⧺) :: TestsOut -> TestsOut -> TestsOut Source #

Monoid TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Null TestsOut Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

null :: TestsOut Source #

𝔱 :: 𝕊 -> Q Exp -> Q Exp -> Q [Dec] Source #

eqTest :: (Eq a, Pretty a) => 𝐿 𝕊 -> 𝕊 -> 𝕊 -> 𝕊 -> a -> a -> 𝑇D Test Source #

fuzzTest :: Pretty a => 𝐿 𝕊 -> 𝕊 -> 𝕊 -> 𝕊 -> ℕ64 -> IO a -> (a -> 𝔹) -> 𝑇D Test Source #

runTests :: 𝔹 -> 𝑇D Test -> IO () Source #

𝔱T :: (Eq a, Pretty a) => 𝕊 -> Code Q a -> Code Q a -> Q [Dec] Source #

𝔣 :: 𝕊 -> ℕ64 -> Q Exp -> Q Exp -> Q [Dec] Source #

𝔣T :: Pretty a => 𝕊 -> ℕ64 -> Code Q (IO a) -> Code Q (a -> 𝔹) -> Q [Dec] Source #

buildTests :: Q [Dec] Source #

testModules :: 𝔹 -> [𝕊] -> Code Q (IO ()) Source #