plutus-metatheory-1.61.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_withInteractionIn_28 T_Fin_10 T_Fin_10 Integer Integer Integer Integer 
C_literalCostIn_32 T_Fin_10 T_CostingModel_8 
C_addedSizes_36 Integer Integer 
C_multipliedSizes_40 Integer Integer 
C_minSize_44 Integer Integer 
C_maxSize_48 Integer Integer 
C_twoArgumentsSubtractedSizes_50 Integer Integer Integer 
C_twoArgumentsConstAboveDiagonal_52 Integer T_CostingModel_8 
C_twoArgumentsConstBelowDiagonal_54 Integer T_CostingModel_8 
C_twoArgumentsConstOffDiagonal_56 Integer T_CostingModel_8 
C_twoArgumentsLinearInYAndZ_58 Integer Integer Integer 
C_twoArgumentsLinearInMaxYZ_60 Integer Integer 
C_threeArgumentsExpModCost_62 Integer Integer Integer 

d_BuiltinModel_66 ∷ p → () Source #

data T_BuiltinModel_66 Source #

Constructors

C_constructor_78 T_CostingModel_8 T_CostingModel_8 

d_costingCPU_74 ∷ T_BuiltinModel_66 → T_CostingModel_8 Source #

d_costingMem_76 ∷ T_BuiltinModel_66 → T_CostingModel_8 Source #

d_prod_82 ∷ Integer → T_Vec_28 → Integer Source #

d_maximum_86 ∷ Integer → T_Vec_28 → Integer Source #

d_minimum_90 ∷ Integer → T_Vec_28 → Integer Source #

d_runModel_102 ∷ Integer → T_CostingModel_8 → T_Vec_28 → Integer Source #

d_convertRawModel_316 ∷ Integer → T_RawModel_144 → Maybe T_CostingModel_8 Source #

d_convertCpuAndMemoryModel_456 ∷ Integer → T_CpuAndMemoryModel_192 → Maybe T_BuiltinModel_66 Source #

d_getModel_480 ∷ T_Builtin_2 → T_List_446 (T__'215'__428 T_String_6 T_CpuAndMemoryModel_192) → Maybe T_Σ_14 Source #

d_dummyModel_516 ∷ Integer → T_BuiltinModel_66 Source #

du_dummyModel_516 ∷ T_BuiltinModel_66 Source #

d_lookupModel_522 ∷ [T_Σ_14] → T_Builtin_2 → T_BuiltinModel_66 Source #

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

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

d_ModelAssignment_580 ∷ () Source #

d_createMap_584 ∷ T_List_446 (T__'215'__428 T_String_6 T_CpuAndMemoryModel_192) → Maybe (T_Builtin_2 → T_BuiltinModel_66) Source #