plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Cost.Model

Documentation

d_Intercept_4 ∷ () Source #

d_Slope_6 ∷ () Source #

d_CostingModel_8 ∷ p → () Source #

data T_CostingModel_8 Source #

Constructors

C_constantCost_12 Integer 
C_linearCostIn_16 T_Fin_10 Integer Integer 
C_quadraticCostIn1_20 T_Fin_10 Integer Integer Integer 
C_quadraticCostIn2_24 T_Fin_10 T_Fin_10 Integer Integer Integer Integer Integer Integer Integer 
C_literalCostIn_28 T_Fin_10 T_CostingModel_8 
C_addedSizes_32 Integer Integer 
C_multipliedSizes_36 Integer Integer 
C_minSize_40 Integer Integer 
C_maxSize_44 Integer Integer 
C_twoArgumentsSubtractedSizes_46 Integer Integer Integer 
C_twoArgumentsConstAboveDiagonal_48 Integer T_CostingModel_8 
C_twoArgumentsConstBelowDiagonal_50 Integer T_CostingModel_8 
C_twoArgumentsConstOffDiagonal_52 Integer T_CostingModel_8 
C_twoArgumentsLinearInYAndZ_54 Integer Integer Integer 
C_twoArgumentsLinearInMaxYZ_56 Integer Integer 
C_threeArgumentsExpModCost_58 Integer Integer Integer 

d_BuiltinModel_62 ∷ p → () Source #

data T_BuiltinModel_62 Source #

Constructors

C_BuiltinModel'46'constructor_607 T_CostingModel_8 T_CostingModel_8 

d_costingCPU_70 ∷ T_BuiltinModel_62 → T_CostingModel_8 Source #

d_costingMem_72 ∷ T_BuiltinModel_62 → T_CostingModel_8 Source #

d_prod_76 ∷ Integer → T_Vec_28 → Integer Source #

d_maximum_80 ∷ Integer → T_Vec_28 → Integer Source #

d_minimum_84 ∷ Integer → T_Vec_28 → Integer Source #

d_runModel_96 ∷ Integer → T_CostingModel_8 → T_Vec_28 → Integer Source #

d_convertRawModel_292 ∷ Integer → T_RawModel_124 → Maybe T_CostingModel_8 Source #

d_convertCpuAndMemoryModel_408 ∷ Integer → T_CpuAndMemoryModel_164 → Maybe T_BuiltinModel_62 Source #

d_getModel_432 ∷ T_Builtin_2 → T_List_384 (T__'215'__366 T_String_6 T_CpuAndMemoryModel_164) → Maybe T_Σ_14 Source #

d_dummyModel_468 ∷ Integer → T_BuiltinModel_62 Source #

du_dummyModel_468 ∷ T_BuiltinModel_62 Source #

d_lookupModel_474 ∷ [T_Σ_14] → T_Builtin_2 → T_BuiltinModel_62 Source #

d_allJust_510 ∷ () → [Maybe AgdaAny] → Maybe [AgdaAny] Source #

du_allJust_510 ∷ [Maybe AgdaAny] → Maybe [AgdaAny] Source #

d_ModelAssignment_532 ∷ () Source #

d_createMap_536 ∷ T_List_384 (T__'215'__366 T_String_6 T_CpuAndMemoryModel_164) → Maybe (T_Builtin_2 → T_BuiltinModel_62) Source #