uvmhs-0.0.1.0
Safe HaskellNone
LanguageHaskell2010

UVMHS.Lib.Testing

Documentation

data FuzzParams Source #

Constructors

FuzzParams 

Fields

Instances

Instances details
Show FuzzParams Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

showsPrec :: Int -> FuzzParams -> ShowS #

show :: FuzzParams -> String #

showList :: [FuzzParams] -> ShowS #

Eq FuzzParams Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

(==) :: FuzzParams -> FuzzParams -> Bool #

(/=) :: FuzzParams -> FuzzParams -> Bool #

Ord FuzzParams Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

compare :: FuzzParams -> FuzzParams -> Ordering #

(<) :: FuzzParams -> FuzzParams -> Bool #

(<=) :: FuzzParams -> FuzzParams -> Bool #

(>) :: FuzzParams -> FuzzParams -> Bool #

(>=) :: FuzzParams -> FuzzParams -> Bool #

max :: FuzzParams -> FuzzParams -> FuzzParams #

min :: FuzzParams -> FuzzParams -> FuzzParams #

Lift FuzzParams Source # 
Instance details

Defined in UVMHS.Lib.Testing

Methods

lift :: Quote m => FuzzParams -> m Exp #

liftTyped :: forall (m :: Type -> Type). Quote m => FuzzParams -> Code m FuzzParams #

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

data Test Source #

Constructors

Test 

Fields

fuzzParams₀ :: FuzzParams Source #

fuzzParamsTny :: ℕ64 -> FuzzParams Source #

fuzzParamsSml :: ℕ64 -> FuzzParams Source #

fuzzParamsMed :: ℕ64 -> FuzzParams Source #

fuzzParamsLrg :: ℕ64 -> FuzzParams Source #

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

fuzzTest :: (Pretty a, Shrinky a) => 𝐿 𝕊 -> 𝕊 -> FuzzyM a -> (a -> 𝔹) -> (a -> Doc) -> 𝑇D Test Source #

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 #

testsOutFailure :: 𝐿 𝕊 -> Doc -> (() -> 𝑇A Doc) -> TestsOut Source #

testsOutMetricPass :: 𝐿 𝕊 -> ℕ64 -> TestsOut Source #

testsOutMetricFail :: 𝐿 𝕊 -> ℕ64 -> TestsOut Source #

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

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

𝔣 :: 𝕊 -> ExpQ -> ExpQ -> ExpQ -> Q [Dec] Source #

𝔣T :: (Pretty a, Shrinky a) => 𝕊 -> CodeQ (FuzzyM a) -> CodeQ (a -> 𝔹) -> CodeQ (a -> Doc) -> Q [Dec] Source #

buildTests :: Q [Dec] Source #

testModules :: 𝔹 -> FuzzParams -> [𝕊] -> CodeQ (IO ()) Source #