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

PlutusCore.Generators.QuickCheck.GenerateTypes

Synopsis

Generators for well-kinded types

genAtomicTypeKind () → GenTm (Type TyName DefaultUni ()) Source #

Generate "small" types at a given kind such as builtins, bound variables, bound datatypes, and lambda abstractions t0 ... tn. T

genTypeKind () → GenTm (Type TyName DefaultUni ()) Source #

Generate a type at a given kind

genClosedTypeKind () → Gen (Type TyName DefaultUni ()) Source #

Generate a closed type at a given kind

genClosedTypeDebugKind () → Gen (Type TyName DefaultUni ()) Source #

Generate a closed type at a given kind

genTypeWithCtxTypeCtxKind () → Gen (Type TyName DefaultUni ()) Source #

Generate a type in the given context with the given kind.

genTypeWithCtxDebugTypeCtxKind () → Gen (Type TyName DefaultUni ()) Source #

Generate a type in the given context with the given kind.

genKindAndTypeWithCtxTypeCtxGen (Kind (), Type TyName DefaultUni ()) Source #

Generate a well-kinded type and its kind in a given context

builtinKindSomeTypeIn DefaultUniKind () Source #

Get the kind of a builtin

genKindAndTypeGen (Kind (), Type TyName DefaultUni ()) Source #

Generate an arbitrary kind and closed type of that kind.

genKindAndTypeDebugGen (Kind (), Type TyName DefaultUni ()) Source #

Generate an arbitrary kind and closed type of that kind.

normalizeTyType TyName DefaultUni () → Type TyName DefaultUni () Source #

Normalize a type.

genCtxGen TypeCtx Source #

Generate a context of free type variables with kinds