| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
Plutarch.Test.Utils
Synopsis
- fewerTests :: QuickCheckTests -> QuickCheckTests -> QuickCheckTests
- prettyShow :: forall (a :: Type). 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' :: Bool -> TypeRep k -> String
- precompileTerm :: forall (p :: S -> Type). ClosedTerm p -> ClosedTerm p
Documentation
fewerTests :: QuickCheckTests -> QuickCheckTests -> QuickCheckTests Source #
Decrease number of quickcheck tests by specified factor
prettyShow :: forall (a :: Type). Pretty a => a -> String Source #
prettyEquals :: (Eq a, Pretty a) => a -> a -> Property Source #
precompileTerm :: forall (p :: S -> Type). ClosedTerm p -> ClosedTerm p Source #
@since WIP