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

MAlonzo.Code.Cost.Base

Documentation

d_CostingNat_4 :: () #

d_StepKind_6 :: () #

data T_StepKind_6 #

Constructors

C_BConst_8 
C_BVar_10 
C_BLamAbs_12 
C_BApply_14 
C_BDelay_16 
C_BForce_18 
C_BBuiltin_20 
C_BConstr_22 
C_BCase_24 

d_showStepKind''_26 :: T_StepKind_6 -> T_String_6 #

d_showStepKind_28 :: T_StepKind_6 -> T_String_6 #

d_stepKindList_32 :: [T_StepKind_6] #

d_ExBudgetCategory_34 :: () #

data T_ExBudgetCategory_34 #

Constructors

C_BStep_36 T_StepKind_6 
C_BBuiltinApp_40 T_Builtin_2 T_Vec_28 
C_BStartup_42 

d_MachineParameters_46 :: p -> () #

data T_MachineParameters_46 #

Constructors

C_MachineParameters'46'constructor_359 (T_ExBudgetCategory_34 -> AgdaAny) AgdaAny (AgdaAny -> AgdaAny -> AgdaAny) T_IsMonoid_686 

d_cekMachineCost_58 :: T_MachineParameters_46 -> T_ExBudgetCategory_34 -> AgdaAny #

d_ε_60 :: T_MachineParameters_46 -> AgdaAny #

d__'8729'__62 :: T_MachineParameters_46 -> AgdaAny -> AgdaAny -> AgdaAny #

d_costMonoid_64 :: T_MachineParameters_46 -> T_IsMonoid_686 #

d_startupCost_66 :: () -> T_MachineParameters_46 -> AgdaAny #

du_startupCost_66 :: T_MachineParameters_46 -> AgdaAny #