| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Compiler.Types
Documentation
newtype UPLCSimplifierTrace name uni fun a Source #
Constructors
| UPLCSimplifierTrace | |
Fields
| |
initUPLCSimplifierTrace ∷ UPLCSimplifierTrace name uni fun a Source #
type Compiling m uni fun name a = (ToBuiltinMeaning uni fun, MonadQuote m, HasUnique name TermUnique, Ord name, Typeable name, Hashable fun) Source #