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

MAlonzo.Code.Cost.Base

Documentation

d_CostingNat_4 ∷ () Source #

d_StepKind_6 ∷ () Source #

data T_StepKind_6 Source #

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 Source #

d_showStepKind_28 ∷ T_StepKind_6 → T_String_6 Source #

d_stepKindList_32 ∷ [T_StepKind_6] Source #

d_ExBudgetCategory_34 ∷ () Source #

data T_ExBudgetCategory_34 Source #

Constructors

C_BStep_36 T_StepKind_6 
C_BBuiltinApp_40 T_Builtin_2 T_Vec_28 
C_BStartup_42 

d_MachineParameters_46 ∷ p → () Source #

data T_MachineParameters_46 Source #

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 Source #

d_ε_60 ∷ T_MachineParameters_46 → AgdaAny Source #

d__'8729'__62 ∷ T_MachineParameters_46 → AgdaAny → AgdaAny → AgdaAny Source #

d_costMonoid_64 ∷ T_MachineParameters_46 → T_IsMonoid_686 Source #

d_startupCost_66 ∷ () → T_MachineParameters_46 → AgdaAny Source #

du_startupCost_66 ∷ T_MachineParameters_46 → AgdaAny Source #