plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Untyped.CEK

Documentation

d_Stack_6 ∷ p → () Source #

data T_Stack_6 Source #

Constructors

C_ε_10
C__'44'__12 T_Stack_6 AgdaAny

d_Value_14 ∷ () Source #

d_Env_16 ∷ p → () Source #

data T_Env_16 Source #

Constructors

C_'91''93'_18
C__'8759'__22 T_Env_16 T_Value_14

d_BApp_42 ∷ p → p → p → p → p → p → p → p → p → () Source #

data T_BApp_42 Source #

Constructors

C_base_94
C_app_106 T_BApp_42 T_Value_14
C_app'8902'_120 T_BApp_42

d_env2sub_124 ∷ () → T_Env_16 → AgdaAny → T__'8866'_14 Source #

du_env2sub_124 ∷ T_Env_16 → AgdaAny → T__'8866'_14 Source #

d_discharge_126 ∷ T_Value_14 → T__'8866'_14 Source #

d_dischargeB_142 ∷ T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_BApp_42 → T__'8866'_14 Source #

du_dischargeB_142 ∷ T_Builtin_2 → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_BApp_42 → T__'8866'_14 Source #

d_dischargeList_144 ∷ T_Stack_6 → [T__'8866'_14] → [T__'8866'_14] Source #

d_Frame_196 ∷ () Source #

data T_Frame_196 Source #

Constructors

C_'45''183'_200 T_Env_16 T__'8866'_14
C_'45''183'v_202 T_Value_14
C__'183''45'_204 T_Value_14
C_force'45'_206
C_constr'45'_210 Integer T_Stack_6 T_Env_16 [T__'8866'_14]
C_case'45'_216 T_Env_16 [T__'8866'_14]

d_State_218 ∷ () Source #

data T_State_218 Source #

Constructors

C__'894'_'9659'__222 T_Stack_6 T_Env_16 T__'8866'_14
C__'9669'__224 T_Stack_6 T_Value_14
C_'9633'_226 T_Value_14
C_'9670'_228

d_lookup_232 ∷ () → T_Env_16 → AgdaAny → T_Value_14 Source #

du_lookup_232 ∷ T_Env_16 → AgdaAny → T_Value_14 Source #

d_V'45'I_258 ∷ T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_BApp_42 → T_Value_14 Source #

d_fullyAppliedBuiltin_272 ∷ T_Builtin_2 → () Source #

d_BUILTIN_278 ∷ T_Builtin_2 → T_BApp_42 → T_Either_6 T_RuntimeError_348 T_Value_14 Source #

d_mkFullyAppliedBuiltin_880 ∷ T_Builtin_2 → Integer → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → T_BApp_42 → T_BApp_42 Source #

du_mkFullyAppliedBuiltin_880 ∷ T_BApp_42 → T_BApp_42 Source #

d_BUILTIN''_924 ∷ T_Builtin_2 → Integer → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → T_BApp_42 → T_Either_6 T_RuntimeError_348 T_Value_14 Source #

du_BUILTIN''_924 ∷ T_Builtin_2 → T_BApp_42 → T_Either_6 T_RuntimeError_348 T_Value_14 Source #

d_ival_930 ∷ T_Builtin_2 → T_Value_14 Source #

d_pushValueFrames_934 ∷ T_Stack_6 → T_Stack_6 → T_Stack_6 Source #

d_lookup'63'_946 ∷ () → Integer → [AgdaAny] → Maybe AgdaAny Source #

du_lookup'63'_946 ∷ Integer → [AgdaAny] → Maybe AgdaAny Source #

d_lookup'63''45'deterministic_970 ∷ () → AgdaAny → AgdaAny → Integer → [AgdaAny] → T__'8801'__12 → T__'8801'__12 → T__'8801'__12 Source #

d_step_992 ∷ T_State_218 → T_State_218 Source #

d_stepper_1234 ∷ Integer → T_State_218 → T_Either_6 T_RuntimeError_348 T_State_218 Source #