| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.Hedgehog.Utils
Description
Utilities used in modules from the TestSupport folder.
Synopsis
- liftT ∷ (MFunctor t, MonadTrans s, Monad m) ⇒ t m a → t (s m) a
- generalizeT ∷ (MFunctor t, Monad m) ⇒ t Identity a → t m a
- hoistSupply ∷ (MFunctor t, Monad m) ⇒ r → t (ReaderT r m) a → t m a
- choiceDef ∷ Monad m ⇒ GenT m a → [GenT m a] → GenT m a
- forAllNoShow ∷ Monad m ⇒ Gen a → PropertyT m a
- forAllNoShowT ∷ Monad m ⇒ GenT m a → PropertyT m a
- forAllPretty ∷ (Monad m, Pretty a) ⇒ Gen a → PropertyT m a
- forAllPrettyT ∷ (Monad m, Pretty a) ⇒ GenT m a → PropertyT m a
- forAllPrettyPlc ∷ (Monad m, PrettyPlc a) ⇒ Gen a → PropertyT m a
- forAllPrettyPlcT ∷ (Monad m, PrettyPlc a) ⇒ GenT m a → PropertyT m a
- prettyPlcErrorString ∷ PrettyPlc err ⇒ err → String
Documentation
hoistSupply ∷ (MFunctor t, Monad m) ⇒ r → t (ReaderT r m) a → t m a Source #
Supply an environment to an inner ReaderT.
choiceDef ∷ Monad m ⇒ GenT m a → [GenT m a] → GenT m a Source #
Same as choice, but with a default generator to be used
when the supplied list of generators is empty.
forAllNoShow ∷ Monad m ⇒ Gen a → PropertyT m a Source #
Generate a value, but do not show it in case an error occurs.
forAllNoShowT ∷ Monad m ⇒ GenT m a → PropertyT m a Source #
Generate a value, but do not show it in case an error occurs.
A supplied generator has access to the Monad the whole property has access to.
prettyPlcErrorString ∷ PrettyPlc err ⇒ err → String Source #
Pretty-print a PLC error.