| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Generators.QuickCheck.Common
Contents
Synopsis
Documentation
inferKind ∷ TypeCtx → Type TyName DefaultUni () → Either String (Kind ()) Source #
Infer the kind of a type in a given kind context
unsafeInferKind ∷ HasCallStack ⇒ TypeCtx → Type TyName DefaultUni () → Kind () Source #
Partial unsafeInferKind, useful for context where invariants are set up to guarantee that types are well-kinded.
checkKind ∷ TypeCtx → Type TyName DefaultUni () → Kind () → Either String () Source #
Check well-kindedness of a type in a context
genList ∷ Int → Int → Gen a → Gen [a] Source #
Generate a list with the given minimum and maximum lengths.
It is similar to Hedgehog.Internal.Gen.list.
Note that genList 0 n gen behaves differently than resize n (listOf gen), because
resize m (genList 0 n gen) = genList 0 n (resize m gen)
whereas
resize m (resize n (listOf gen)) = resize n (listOf gen)
Orphan instances
| PrettyBy config i ⇒ DefaultPrettyBy config (NonNegative i) Source # | |
Methods defaultPrettyBy ∷ config → NonNegative i → Doc ann Source # defaultPrettyListBy ∷ config → [NonNegative i] → Doc ann Source # | |
| PrettyDefaultBy config (NonNegative i) ⇒ PrettyBy config (NonNegative i) Source # | |
| Pretty i ⇒ Pretty (NonNegative i) Source # | |
| Testable (Either String ()) Source # | |