Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Generators.Hedgehog.TypedBuiltinGen

Description

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

Synopsis

data TermOf term a = TermOf {
- _termOfTerm ∷ term
- _termOfValue ∷ a
}
type TypedBuiltinGenT term m = ∀ a. TypeRep a → GenT m (TermOf 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 TermOf term a Source #

A term along with the corresponding Haskell value.

Constructors

TermOf
Fields _termOfTerm ∷ term The term _termOfValue ∷ a The Haskell value.

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 fold ∷ Monoid m ⇒ TermOf term m → m Source # foldMap ∷ Monoid 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 # toList ∷ TermOf term a → [a] Source # null ∷ TermOf term a → Bool Source # length ∷ TermOf term a → Int Source # elem ∷ Eq a ⇒ a → TermOf term a → Bool Source # maximum ∷ Ord a ⇒ TermOf term a → a Source # minimum ∷ Ord a ⇒ TermOf term a → a Source # sum ∷ Num a ⇒ TermOf term a → a Source # product ∷ Num a ⇒ TermOf term a → a Source #
Traversable (TermOf term) Source #
Instance details Defined in PlutusCore.Generators.Hedgehog.TypedBuiltinGen Methods traverse ∷ Applicative f ⇒ (a → f b) → TermOf term a → f (TermOf term b) Source # sequenceA ∷ Applicative f ⇒ TermOf term (f a) → f (TermOf term a) Source # mapM ∷ Monad m ⇒ (a → m b) → TermOf term a → m (TermOf term b) Source # sequence ∷ Monad 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.

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.