Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Code

Synopsis

data CompiledCodeIn uni fun a
- = SerializedCode Name uni fun ())
- getCovIdx :: CompiledCodeIn uni fun a -> CoverageIndex

Documentation

data CompiledCodeIn uni fun a #

A compiled Plutus Tx program. The last type parameter indicates the type of the Haskell expression that was compiled, and hence the type of the compiled code.

Note: the compiled PLC program does *not* have normalized types, if you want to put it on the chain you must normalize the types first.

Constructors

SerializedCode
Fields SomeTypeIn uni)) => CompiledCodeIn uni fun (a -> b) -> CompiledCodeIn uni fun a -> CompiledCodeIn uni fun b # Apply a compiled function to a compiled argument. Will throw if the versions don't match, should only be used in non-production code. countAstNodes :: (Name uni fun ()) # getCovIdx :: CompiledCodeIn uni fun a -> CoverageIndex # Produced by Haddock version 2.29.2