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

PlutusIR.Generators.QuickCheck.Common

Synopsis

Documentation

datatypesTerm TyName Name DefaultUni DefaultFun () → [(TyName, Kind ())] Source #

Compute the datatype declarations that escape from a term.

inferTypeInContextTypeCtx → Map Name (Type TyName DefaultUni ()) → Term TyName Name DefaultUni DefaultFun () → Either String (Type TyName DefaultUni ()) Source #

Try to infer the type of an expression in a given type and term context. NOTE: one can't just use out-of-the-box type inference here because the inferType algorithm happy renames things.