Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Description

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

Synopsis

data TermWith term a = TermWith {
- _termWithTerm ∷ term
- _termWithValue ∷ a
}
type TypedBuiltinGenT term m = ∀ a. TypeRep a → GenT m (TermWith term a)
type TypedBuiltinGen term = TypedBuiltinGenT term Identity
genLowerBytes ∷ Monad m ⇒ Range Int → GenT m ByteString
genTypedBuiltinFail ∷ Monad m ⇒ TypedBuiltinGenT term m
genTypedBuiltinDef ∷ (HasConstantIn DefaultUni term, Monad m) ⇒ TypedBuiltinGenT term m

Documentation

data TermWith term a Source #

A term along with the corresponding Haskell value.

Constructors

TermWith
Fields _termWithTerm ∷ term The term _termWithValue ∷ a The Haskell value.

Instances

Instances details

(PrettyBy config a, PrettyBy config term) ⇒ PrettyBy config (TermWith term a) Source #
Instance details Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen Methods prettyBy ∷ config → TermWith term a → Doc ann Source # prettyListBy ∷ config → [TermWith term a] → Doc ann Source #
Foldable (TermWith term) Source #
Instance details Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen Methods fold ∷ Monoid m ⇒ TermWith term m → m Source # foldMap ∷ Monoid m ⇒ (a → m) → TermWith term a → m Source # foldMap' ∷ Monoid m ⇒ (a → m) → TermWith term a → m Source # foldr ∷ (a → b → b) → b → TermWith term a → b Source # foldr' ∷ (a → b → b) → b → TermWith term a → b Source # foldl ∷ (b → a → b) → b → TermWith term a → b Source # foldl' ∷ (b → a → b) → b → TermWith term a → b Source # foldr1 ∷ (a → a → a) → TermWith term a → a Source # foldl1 ∷ (a → a → a) → TermWith term a → a Source # toList ∷ TermWith term a → [a] Source # null ∷ TermWith term a → Bool Source # length ∷ TermWith term a → Int Source # elem ∷ Eq a ⇒ a → TermWith term a → Bool Source # maximum ∷ Ord a ⇒ TermWith term a → a Source # minimum ∷ Ord a ⇒ TermWith term a → a Source # sum ∷ Num a ⇒ TermWith term a → a Source # product ∷ Num a ⇒ TermWith term a → a Source #
Traversable (TermWith term) Source #
Instance details Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen Methods traverse ∷ Applicative f ⇒ (a → f b) → TermWith term a → f (TermWith term b) Source # sequenceA ∷ Applicative f ⇒ TermWith term (f a) → f (TermWith term a) Source # mapM ∷ Monad m ⇒ (a → m b) → TermWith term a → m (TermWith term b) Source # sequence ∷ Monad m ⇒ TermWith term (m a) → m (TermWith term a) Source #
Functor (TermWith term) Source #
Instance details Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen Methods fmap ∷ (a → b) → TermWith term a → TermWith term b Source # (<$) ∷ a → TermWith term b → TermWith term a Source #

type TypedBuiltinGenT term m = ∀ a. TypeRep a → GenT m (TermWith 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.

type TypedBuiltinGen term = TypedBuiltinGenT term Identity Source #

TypedBuiltinGenT specified to Identity.

genLowerBytes ∷ Monad m ⇒ Range Int → GenT m ByteString Source #

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

genTypedBuiltinFail ∷ Monad 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.