| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Plutarch.Test.Utils
Synopsis
- fewerTests :: QuickCheckTests -> QuickCheckTests -> QuickCheckTests
- prettyShow :: Pretty a => a -> String
- prettyEquals :: (Eq a, Pretty a) => a -> a -> Property
- typeName :: forall k (a :: k). Typeable a => String
- instanceOfType :: forall k (a :: k). Typeable a => String -> String
- typeName' :: forall {k1} (k2 :: k1). Bool -> TypeRep k2 -> String
- precompileTerm :: forall (p :: S -> Type). (forall (s0 :: S). Term s0 p) -> forall (s1 :: S). Term s1 p
Documentation
fewerTests :: QuickCheckTests -> QuickCheckTests -> QuickCheckTests Source #
Decrease number of quickcheck tests by specified factor
prettyShow :: Pretty a => a -> String Source #
prettyEquals :: (Eq a, Pretty a) => a -> a -> Property Source #
precompileTerm :: forall (p :: S -> Type). (forall (s0 :: S). Term s0 p) -> forall (s1 :: S). Term s1 p Source #
Since: 1.0.0