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

PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Description

This module defines the TypedBuiltinGen type and functions of this type.

Synopsis

Documentation

data TermOf term a Source #

A term along with the correspoding Haskell value.

Constructors

TermOf 

Fields

Instances

Instances details
(PrettyBy config a, PrettyBy config term) ⇒ PrettyBy config (TermOf term a) Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Methods

prettyBy ∷ config → TermOf term a → Doc ann Source #

prettyListBy ∷ config → [TermOf term a] → Doc ann Source #

Foldable (TermOf term) Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Methods

foldMonoid m ⇒ TermOf term m → m Source #

foldMapMonoid m ⇒ (a → m) → TermOf term a → m Source #

foldMap'Monoid m ⇒ (a → m) → TermOf term a → m Source #

foldr ∷ (a → b → b) → b → TermOf term a → b Source #

foldr' ∷ (a → b → b) → b → TermOf term a → b Source #

foldl ∷ (b → a → b) → b → TermOf term a → b Source #

foldl' ∷ (b → a → b) → b → TermOf term a → b Source #

foldr1 ∷ (a → a → a) → TermOf term a → a Source #

foldl1 ∷ (a → a → a) → TermOf term a → a Source #

toListTermOf term a → [a] Source #

nullTermOf term a → Bool Source #

lengthTermOf term a → Int Source #

elemEq a ⇒ a → TermOf term a → Bool Source #

maximumOrd a ⇒ TermOf term a → a Source #

minimumOrd a ⇒ TermOf term a → a Source #

sumNum a ⇒ TermOf term a → a Source #

productNum a ⇒ TermOf term a → a Source #

Traversable (TermOf term) Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Methods

traverseApplicative f ⇒ (a → f b) → TermOf term a → f (TermOf term b) Source #

sequenceAApplicative f ⇒ TermOf term (f a) → f (TermOf term a) Source #

mapMMonad m ⇒ (a → m b) → TermOf term a → m (TermOf term b) Source #

sequenceMonad m ⇒ TermOf term (m a) → m (TermOf term a) Source #

Functor (TermOf term) Source # 
Instance details

Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Methods

fmap ∷ (a → b) → TermOf term a → TermOf term b Source #

(<$) ∷ a → TermOf term b → TermOf term a Source #

type TypedBuiltinGenT term m = ∀ a. TypeRep a → GenT m (TermOf term a) Source #

A function of this type generates values of built-in typed (see TypedBuiltin for the list of such types) and returns it along with the corresponding PLC value.

genLowerBytesMonad m ⇒ Range Int → GenT m ByteString Source #

Generate a UTF-8 lazy ByteString containg lower-case letters.

genTypedBuiltinFailMonad m ⇒ TypedBuiltinGenT term m Source #

A built-ins generator that always fails.

genTypedBuiltinDef ∷ (HasConstantIn DefaultUni term, Monad m) ⇒ TypedBuiltinGenT term m Source #

A default built-ins generator.