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

PlutusCore.Generators.Hedgehog.Builtin

Synopsis

Documentation

class GenTypedTerm uni where Source #

This class exists so we can provide an ad-hoc typed term generator for various universes. We usually rely-on a universe-specific generator for well-typed constants within that universe.

TODO: Move this to PlutusIR.Generators.AST, and merge genConstant with genConstant.

Methods

genTypedTerm ∷ ∀ (a ∷ Type) tyname name fun. TypeRep a → Gen (Term tyname name uni fun ()) Source #

Generate a Term in uni with the given type.

Instances

Instances details
GenTypedTerm DefaultUni Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.Builtin

Methods

genTypedTermTypeRep a → Gen (Term tyname name DefaultUni fun ()) Source #

class GenArbitraryTerm uni where Source #

This class exists so we can provide an ad-hoc arbitrary term generator for various universes.

Methods

genArbitraryTerm ∷ ∀ fun. (Bounded fun, Enum fun) ⇒ Gen (Term TyName Name uni fun ()) Source #

Generate an arbitrary Term in uni.

Instances

Instances details
GenArbitraryTerm DefaultUni Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.Builtin

Methods

genArbitraryTerm ∷ (Bounded fun, Enum fun) ⇒ Gen (Term TyName Name DefaultUni fun ()) Source #

genConstant ∷ ∀ (a ∷ Type). TypeRep a → SomeGen DefaultUni Source #

genByteString ∷ Gen ByteString Source #

genText ∷ Gen Text Source #

genDataInt → Gen Data Source #

genI ∷ Gen Data Source #

genB ∷ Gen Data Source #

genListInt → Gen Data Source #

genMapInt → Gen Data Source #

genConstrInt → Gen Data Source #