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

MAlonzo.Code.Algorithmic.Evaluation

Documentation

d_Gas_4 ∷ () Source #

newtype T_Gas_4 Source #

Constructors

C_gas_6 Integer 

d_Finished_12 ∷ p → p → () Source #

data T_Finished_12 Source #

Constructors

C_done_18 T_Value_28 
C_out'45'of'45'gas_22 
C_error_26 T_Error_338 

d_Steps_30 ∷ p → p → () Source #

data T_Steps_30 Source #

Constructors

C_steps_38 T__'8866'__168 T__'8212''8608'__780 T_Finished_12 

d_eval'8212''8594'_46 ∷ T__'8866'Nf'8902'__4 → T__'8866'__168 → T__'8866'__168 → T__'8212''8594'__750 → T_Steps_30 → T_Steps_30 Source #

du_eval'8212''8594'_46 ∷ T__'8866'__168 → T__'8212''8594'__750 → T_Steps_30 → T_Steps_30 Source #

d_eval_58 ∷ T__'8866'Nf'8902'__4 → T_Gas_4 → T__'8866'__168 → T_Steps_30 Source #

d_evalProg_64 ∷ T__'8866'Nf'8902'__4 → T_Gas_4 → T__'8866'__168 → T_Progress_10 → T_Steps_30 Source #

d_stepper_86 ∷ T__'8866'Nf'8902'__4 → T__'8866'__168 → Integer → T_Either_6 T_RuntimeError_348 T__'8866'__168 Source #