plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Generators.QuickCheck.Common

Synopsis

Documentation

type TypeCtx = Map TyName (Kind ()) Source #

inferKindTypeCtxType TyName DefaultUni () → Either String (Kind ()) Source #

Infer the kind of a type in a given kind context

unsafeInferKindHasCallStackTypeCtxType TyName DefaultUni () → Kind () Source #

Partial unsafeInferKind, useful for context where invariants are set up to guarantee that types are well-kinded.

checkKindTypeCtxType TyName DefaultUni () → Kind () → Either String () Source #

Check well-kindedness of a type in a context

genListIntIntGen 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 # 
Instance details

Methods

defaultPrettyBy ∷ config → NonNegative i → Doc ann Source #

defaultPrettyListBy ∷ config → [NonNegative i] → Doc ann Source #

PrettyDefaultBy config (NonNegative i) ⇒ PrettyBy config (NonNegative i) Source # 
Instance details

Methods

prettyBy ∷ config → NonNegative i → Doc ann Source #

prettyListBy ∷ config → [NonNegative i] → Doc ann Source #

Pretty i ⇒ Pretty (NonNegative i) Source # 
Instance details

Methods

pretty ∷ NonNegative i → Doc ann #

prettyList ∷ [NonNegative i] → Doc ann #

Testable (Either String ()) Source # 
Instance details

Methods

propertyEither String () → Property

propertyForAllShrinkShowGen a → (a → [a]) → (a → [String]) → (a → Either String ()) → Property