Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Algorithmic.CEK

Documentation

d_SigTy_6 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

d_saturatedSigTy_10 :: T_Sig_72 -> T__'8866'Nf'8902'__4 -> () #

d_sig2SigTy_12 :: T_Sig_72 -> T_SigTy_266 #

d_sig2type_14 :: T_Sig_72 -> T__'8866'Nf'8902'__4 #

d_Env_26 :: p -> () #

data T_Env_26 #

Constructors

C_'91''93'_202
C__'8759'__208 T_Env_26 T_Value_52

d_BApp_48 :: p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> p -> () #

data T_BApp_48 #

Constructors

C_base_144
C__'36'__162 T__'8866'Nf'8902'__4 T_BApp_48 T_Value_52
C__'36''36'__190 T_Kind_766 T__'8866'Nf'8902'__4 T_SigTy_266 T_BApp_48 T__'8866'Nf'8902'__4

d_Value_52 :: p -> () #

d_VList_54 :: T_Bwd_6 -> () #

d_lookup_214 :: T_Ctx_2 -> T__'8866'Nf'8902'__4 -> T__'8715'__16 -> T_Env_26 -> T_Value_52 #

du_lookup_214 :: T_Ctx_2 -> T__'8715'__16 -> T_Env_26 -> T_Value_52 #

d_discharge_228 :: T__'8866'Nf'8902'__4 -> T_Value_52 -> T__'8866'__178 #

d_env2sub_232 :: T_Ctx_2 -> T_Env_26 -> T__'8866'Nf'8902'__4 -> T__'8715'__16 -> T__'8866'__178 #

du_env2sub_232 :: T_Ctx_2 -> T_Env_26 -> T__'8715'__16 -> T__'8866'__178 #

d_dischargeBody_250 :: T_Ctx_2 -> T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T_Env_26 -> T__'8866'__178 #

d_dischargeBody'8902'_264 :: T_Ctx_2 -> T_Kind_766 -> T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T_Env_26 -> T__'8866'__178 #

d_dischargeB_296 :: T_Builtin_2 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_BApp_48 -> T__'8866'__178 #

du_dischargeB_296 :: T_Builtin_2 -> T__'8724'_'8803'__180 -> T__'8724'_'8803'__180 -> T_BApp_48 -> T__'8866'__178 #

d_dischargeStack'45'aux_320 :: T_Bwd_6 -> [T__'8866'Nf'8902'__4] -> [T__'8866'Nf'8902'__4] -> T_IBwd_396 -> T_IList_302 -> T__'8801'__12 -> T_IList_302 #

du_dischargeStack'45'aux_320 :: T_Bwd_6 -> T_IBwd_396 -> T_IList_302 -> T_IList_302 #

d_dischargeStack_332 :: [T__'8866'Nf'8902'__4] -> T_IBwd_396 -> T_IList_302 #

d_BUILTIN_368 :: T_Builtin_2 -> T__'8866'Nf'8902'__4 -> T_SigTy_266 -> T_BApp_48 -> T_Either_6 T__'8866'Nf'8902'__4 T_Value_52 #

du_BUILTIN_368 :: T_Builtin_2 -> T_BApp_48 -> T_Either_6 T__'8866'Nf'8902'__4 T_Value_52 #

d_BUILTIN''_1078 :: T_Builtin_2 -> T__'8866'Nf'8902'__4 -> Integer -> T__'8724'_'8803'__180 -> Integer -> T__'8724'_'8803'__180 -> T_SigTy_266 -> T_BApp_48 -> T__'8866'__178 #

du_BUILTIN''_1078 :: T_Builtin_2 -> T__'8866'Nf'8902'__4 -> T_BApp_48 -> T__'8866'__178 #

d_V'45'I_1154 :: T_Builtin_2 -> T__'8866'Nf'8902'__4 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_SigTy_266 -> T_BApp_48 -> T_Value_52 #

du_V'45'I_1154 :: T_Builtin_2 -> Integer -> Integer -> T__'8724'_'8803'__180 -> Integer -> Integer -> T__'8724'_'8803'__180 -> T_SigTy_266 -> T_BApp_48 -> T_Value_52 #

d_Error_1172 :: p -> () #

data T_Error_1172 #

Constructors

C_E'45'error_1176

d_Frame_1182 :: p -> p -> () #

d_Stack_1264 :: p -> p -> () #

data T_Stack_1264 #

Constructors

C_ε_1268
C__'44'__1274 T__'8866'Nf'8902'__4 T_Stack_1264 T_Frame_1182

d_State_1278 :: p -> () #

data T_State_1278 #

Constructors

C__'894'_'9659'__1286 T_Ctx_2 T__'8866'Nf'8902'__4 T_Stack_1264 T_Env_26 T__'8866'__178
C__'9669'__1290 T__'8866'Nf'8902'__4 T_Stack_1264 T_Value_52
C_'9633'_1292 T_Value_52
C_'9670'_1294 T__'8866'Nf'8902'__4

d_ival_1298 :: T_Builtin_2 -> T_Value_52 #

d_pushValueFrames_1310 :: T__'8866'Nf'8902'__4 -> T__'8866'Nf'8902'__4 -> T_Bwd_6 -> T__'8866'Nf'8902'__4 -> T_Stack_1264 -> T_IBwd_396 -> T__'8801'__12 -> T_Stack_1264 #

du_pushValueFrames_1310 :: T__'8866'Nf'8902'__4 -> T_Bwd_6 -> T_Stack_1264 -> T_IBwd_396 -> T_Stack_1264 #

d_step_1322 :: T__'8866'Nf'8902'__4 -> T_State_1278 -> T_State_1278 #

du_step_1322 :: T_State_1278 -> T_State_1278 #

d_stepper_1630 :: Integer -> T__'8866'Nf'8902'__4 -> T_State_1278 -> T_Either_6 T_RuntimeError_408 T_State_1278 #

du_stepper_1630 :: Integer -> T_State_1278 -> T_Either_6 T_RuntimeError_408 T_State_1278 #

C_V'45'ƛ_64 T_Ctx_2 T__'8866'__178 T_Env_26
C_V'45'Λ_74 T_Ctx_2 T__'8866'__178 T_Env_26
C_V'45'wrap_82 T_Value_52
C_V'45'con_86 AgdaAny
C_V'45'I'8658'_106 T_Builtin_2 Integer T__'8724'_'8803'__180 Integer Integer T__'8724'_'8803'__180 T_SigTy_266 T_BApp_48
C_V'45'IΠ_128 T_Builtin_2 Integer Integer T__'8724'_'8803'__180 Integer Integer T__'8724'_'8803'__180 T_SigTy_266 T_BApp_48
C_V'45'constr_140 T_Fin_10 T_Bwd_6 T_IBwd_396

C_'45''183'_1190 T_Ctx_2 T__'8866'__178 T_Env_26
C_'45''183'v_1196 T_Value_52
C__'183''45'_1202 T_Value_52
C_'45''183''8902'_1210 T__'8866'Nf'8902'__4
C_wrap'45'_1218
C_unwrap'45'_1226
C_constr'45'_1246 T_Ctx_2 T_Bwd_6 [T__'8866'Nf'8902'__4] T_Fin_10 T_Env_26 [T__'8866'Nf'8902'__4] T__'8803'_'60''62''62'__684 T_IBwd_396 T_IList_302
C_case'45'_1258 T_Ctx_2 T_Env_26 T_Cases_172