| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Evaluation.Machine.SimpleBuiltinCostModel
Description
A program to parse a JSON representation of costing functions for Plutus Core builtins and and produce a simple cost model which can be used from Agda and other executables
Documentation
type BuiltinCostMap = [(Text, CpuAndMemoryModel)] Source #
type BuiltinCostKeyMap = KeyMap CpuAndMemoryModel Source #