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

MAlonzo.Code.Untyped.CEK

Documentation

d_Stack_6 :: p -> () #

data T_Stack_6 #

Constructors

C_ε_10 
C__'44'__12 T_Stack_6 AgdaAny 

d_Value_14 :: () #

data T_Value_14 #

Constructors

C_V'45'ƛ_46 Integer T_Env_16 T__'8866'_14 
C_V'45'con_50 T__'8866''9839'_4 AgdaAny 
C_V'45'delay_54 Integer 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'__180 Integer Integer T__'8724'_'8803'__180 T_BApp_42 
C_V'45'IΠ_90 T_Builtin_2 Integer Integer T__'8724'_'8803'__180 Integer Integer T__'8724'_'8803'__180 T_BApp_42 

d_Env_16 :: p -> () #

data T_Env_16 #

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 -> () #

data T_BApp_42 #

Constructors

C_base_94 
C_app_106 T_BApp_42 T_Value_14 
C_app'8902'_120 T_BApp_42 

d_env2sub_124 :: Integer -> T_Env_16 -> T_Fin_10 -> T__'8866'_14 #

du_env2sub_124 :: T_Env_16 -> T_Fin_10 -> T__'8866'_14 #

d_discharge_126 :: T_Value_14 -> T__'8866'_14 #

d_dischargeB_142 :: T_Builtin_2 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_BApp_42 -> T__'8866'_14 #

du_dischargeB_142 :: T_Builtin_2 -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_BApp_42 -> T__'8866'_14 #

d_dischargeList_144 :: T_Stack_6 -> [T__'8866'_14] -> [T__'8866'_14] #

d_Frame_196 :: () #

data T_Frame_196 #

Constructors

C_'45''183'_200 Integer 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 Integer T_Stack_6 T_Env_16 [T__'8866'_14] 
C_case'45'_216 Integer T_Env_16 [T__'8866'_14] 

d_State_218 :: () #

data T_State_218 #

Constructors

C__'894'_'9659'__222 Integer 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 :: Integer -> T_Env_16 -> T_Fin_10 -> T_Value_14 #

du_lookup_232 :: T_Env_16 -> T_Fin_10 -> T_Value_14 #

d_V'45'I_258 :: T_Builtin_2 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_BApp_42 -> T_Value_14 #

d_fullyAppliedBuiltin_272 :: T_Builtin_2 -> () #

d_BUILTIN_278 :: T_Builtin_2 -> T_BApp_42 -> T_Either_6 T_RuntimeError_408 T_Value_14 #

d_mkFullyAppliedBuiltin_930 :: T_Builtin_2 -> Integer -> T__'8724'_'8803'__180 -> Integer -> T__'8724'_'8803'__180 -> T_BApp_42 -> T_BApp_42 #

du_mkFullyAppliedBuiltin_930 :: T_BApp_42 -> T_BApp_42 #

d_BUILTIN''_974 :: T_Builtin_2 -> Integer -> T__'8724'_'8803'__180 -> Integer -> T__'8724'_'8803'__180 -> T_BApp_42 -> T_Either_6 T_RuntimeError_408 T_Value_14 #

du_BUILTIN''_974 :: T_Builtin_2 -> T_BApp_42 -> T_Either_6 T_RuntimeError_408 T_Value_14 #

d_ival_980 :: T_Builtin_2 -> T_Value_14 #

d_pushValueFrames_984 :: T_Stack_6 -> T_Stack_6 -> T_Stack_6 #

d_lookup'63'_996 :: () -> Integer -> [AgdaAny] -> Maybe AgdaAny #

du_lookup'63'_996 :: Integer -> [AgdaAny] -> Maybe AgdaAny #

d_lookup'63''45'deterministic_1020 :: () -> AgdaAny -> AgdaAny -> Integer -> [AgdaAny] -> T__'8801'__12 -> T__'8801'__12 -> T__'8801'__12 #

d_step_1042 :: T_State_218 -> T_State_218 #

d_stepper_1284 :: Integer -> T_State_218 -> T_Either_6 T_RuntimeError_408 T_State_218 #