Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Algorithmic.CEK

Documentation

d_SigTy_6 ∷ p → p → p → p → p → p → p → p → p → p → () Source #

d_saturatedSigTy_10 ∷ T_Sig_68 → T__'8866'Nf'8902'__4 → () Source #

d_sig2SigTy_12 ∷ T_Sig_68 → T_SigTy_260 Source #

d_sig2type_14 ∷ T_Sig_68 → T__'8866'Nf'8902'__4 Source #

d_'8866''9839'2TyNe'9839'_16 ∷ Integer → Integer → T__'8866''9839'_4 → T__'8866'Ne'8902'__6 Source #

d_Env_26 ∷ p → () Source #

data T_Env_26 Source #

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

data T_BApp_48 Source #

Constructors

C_base_144
C__'36'__162 T__'8866'Nf'8902'__4 T_BApp_48 T_Value_52
C__'36''36'__190 T_Kind_468 T__'8866'Nf'8902'__4 T_SigTy_260 T_BApp_48 T__'8866'Nf'8902'__4

d_Value_52 ∷ p → () Source #

d_VList_54 ∷ T_Bwd_6 → () Source #

d_lookup_214 ∷ T_Ctx_2 → T__'8866'Nf'8902'__4 → T__'8715'__16 → T_Env_26 → T_Value_52 Source #

du_lookup_214 ∷ T_Ctx_2 → T__'8715'__16 → T_Env_26 → T_Value_52 Source #

d_discharge_228 ∷ T__'8866'Nf'8902'__4 → T_Value_52 → T__'8866'__168 Source #

d_env2sub_232 ∷ T_Ctx_2 → T_Env_26 → T__'8866'Nf'8902'__4 → T__'8715'__16 → T__'8866'__168 Source #

du_env2sub_232 ∷ T_Ctx_2 → T_Env_26 → T__'8715'__16 → T__'8866'__168 Source #

d_dischargeBody_250 ∷ T_Ctx_2 → T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T__'8866'__168 → T_Env_26 → T__'8866'__168 Source #

d_dischargeBody'8902'_264 ∷ T_Ctx_2 → T_Kind_468 → T__'8866'Nf'8902'__4 → T__'8866'__168 → T_Env_26 → T__'8866'__168 Source #

d_dischargeB_296 ∷ T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T__'8866'Nf'8902'__4 → T_SigTy_260 → T_BApp_48 → T__'8866'__168 Source #

du_dischargeB_296 ∷ T_Builtin_2 → T__'8724'_'8803'__120 → T__'8724'_'8803'__120 → T_BApp_48 → T__'8866'__168 Source #

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 Source #

du_dischargeStack'45'aux_320 ∷ T_Bwd_6 → T_IBwd_396 → T_IList_302 → T_IList_302 Source #

d_dischargeStack_332 ∷ [T__'8866'Nf'8902'__4] → T_IBwd_396 → T_IList_302 Source #

d_BUILTIN_368 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → T_SigTy_260 → T_BApp_48 → T_Either_6 T__'8866'Nf'8902'__4 T_Value_52 Source #

du_BUILTIN_368 ∷ T_Builtin_2 → T_BApp_48 → T_Either_6 T__'8866'Nf'8902'__4 T_Value_52 Source #

d_BUILTIN''_954 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → Integer → T__'8724'_'8803'__120 → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T_BApp_48 → T__'8866'__168 Source #

du_BUILTIN''_954 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → T_BApp_48 → T__'8866'__168 Source #

d_V'45'I_1030 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T_BApp_48 → T_Value_52 Source #

du_V'45'I_1030 ∷ T_Builtin_2 → Integer → Integer → T__'8724'_'8803'__120 → Integer → Integer → T__'8724'_'8803'__120 → T_SigTy_260 → T_BApp_48 → T_Value_52 Source #

d_Error_1048 ∷ p → () Source #

data T_Error_1048 Source #

Constructors

C_E'45'error_1052

d_Frame_1058 ∷ p → p → () Source #

d_Stack_1140 ∷ p → p → () Source #

data T_Stack_1140 Source #

Constructors

C_ε_1144
C__'44'__1150 T__'8866'Nf'8902'__4 T_Stack_1140 T_Frame_1058

d_State_1154 ∷ p → () Source #

data T_State_1154 Source #

Constructors

C__'894'_'9659'__1162 T_Ctx_2 T__'8866'Nf'8902'__4 T_Stack_1140 T_Env_26 T__'8866'__168
C__'9669'__1166 T__'8866'Nf'8902'__4 T_Stack_1140 T_Value_52
C_'9633'_1168 T_Value_52
C_'9670'_1170 T__'8866'Nf'8902'__4

d_ival_1174 ∷ T_Builtin_2 → T_Value_52 Source #

d_pushValueFrames_1186 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_Bwd_6 → T__'8866'Nf'8902'__4 → T_Stack_1140 → T_IBwd_396 → T__'8801'__12 → T_Stack_1140 Source #

du_pushValueFrames_1186 ∷ T__'8866'Nf'8902'__4 → T_Bwd_6 → T_Stack_1140 → T_IBwd_396 → T_Stack_1140 Source #

d_step_1198 ∷ T__'8866'Nf'8902'__4 → T_State_1154 → T_State_1154 Source #

du_step_1198 ∷ T_State_1154 → T_State_1154 Source #

d_stepper_1506 ∷ Integer → T__'8866'Nf'8902'__4 → T_State_1154 → T_Either_6 T_RuntimeError_348 T_State_1154 Source #

du_stepper_1506 ∷ Integer → T_State_1154 → T_Either_6 T_RuntimeError_348 T_State_1154 Source #

C_V'45'ƛ_64 T_Ctx_2 T__'8866'__168 T_Env_26
C_V'45'Λ_74 T_Ctx_2 T__'8866'__168 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'__120 Integer Integer T__'8724'_'8803'__120 T_SigTy_260 T_BApp_48
C_V'45'IΠ_128 T_Builtin_2 Integer Integer T__'8724'_'8803'__120 Integer Integer T__'8724'_'8803'__120 T_SigTy_260 T_BApp_48
C_V'45'constr_140 T_Fin_6 T_Bwd_6 T_IBwd_396

C_'45''183'_1066 T_Ctx_2 T__'8866'__168 T_Env_26
C_'45''183'v_1072 T_Value_52
C__'183''45'_1078 T_Value_52
C_'45''183''8902'_1086 T__'8866'Nf'8902'__4
C_wrap'45'_1094
C_unwrap'45'_1102
C_constr'45'_1122 T_Ctx_2 T_Bwd_6 [T__'8866'Nf'8902'__4] T_Fin_6 T_Env_26 [T__'8866'Nf'8902'__4] T__'8803'_'60''62''62'__684 T_IBwd_396 T_IList_302
C_case'45'_1134 T_Ctx_2 T_Env_26 T_Cases_162