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

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 #

data T_Value_14 Source #

Constructors

C_V'45'ƛ_46 T_Env_16 T__'8866'_14 
C_V'45'con_50 T__'8866''9839'_4 AgdaAny 
C_V'45'delay_54 T_Env_16 T__'8866'_14 
C_V'45'constr_60 Integer T_Stack_6 
C_V'45'I'8658'_74 T_Builtin_2 Integer T__'8724'_'8803'__120 Integer Integer T__'8724'_'8803'__120 T_BApp_42 
C_V'45'IΠ_90 T_Builtin_2 Integer Integer T__'8724'_'8803'__120 Integer Integer T__'8724'_'8803'__120 T_BApp_42 

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_step_960 ∷ T_State_218 → T_State_218 Source #

d_stepper_1202 ∷ Integer → T_State_218 → T_Either_6 T_RuntimeError_348 T_State_218 Source #