| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
MAlonzo.Code.Untyped.CEKWithCost
Documentation
d_CekM_26 ∷ () → T_MachineParameters_46 → () → () Source #
d_spend_28 ∷ () → T_MachineParameters_46 → T_StepKind_6 → T_Writer_304 Source #
d_extractConstants_48 ∷ () → T_MachineParameters_46 → T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_BApp_42 → T_Vec_24 Source #
du_extractConstants_48 ∷ T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_BApp_42 → T_Vec_24 Source #
d_argsizes_68 ∷ () → T_MachineParameters_46 → T_Builtin_2 → T_BApp_42 → T_Vec_24 Source #
d_stepC_70 ∷ () → T_MachineParameters_46 → T_State_218 → T_Writer_304 Source #
d_stepperC'45'internal_314 ∷ () → T_MachineParameters_46 → Integer → T_State_218 → T_Writer_304 Source #
du_stepperC'45'internal_314 ∷ T_MachineParameters_46 → Integer → T_State_218 → T_Writer_304 Source #
d_go_328 ∷ () → T_MachineParameters_46 → Integer → T_State_218 → T_State_218 → T_Writer_304 Source #
d_stepperC_338 ∷ () → T_MachineParameters_46 → Integer → T_State_218 → T_Writer_304 Source #