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

PlutusCore.Compiler.Types

Documentation

newtype UPLCSimplifierTrace name uni fun a Source #

Constructors

UPLCSimplifierTrace 

Fields

type Compiling m uni fun name a = (ToBuiltinMeaning uni fun, MonadQuote m, HasUnique name TermUnique, Ord name, Typeable name, Hashable fun) Source #