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_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_476 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_476 → 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''_980 ∷ 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''_980 ∷ T_Builtin_2 → T__'8866'Nf'8902'__4 → T_BApp_48 → T__'8866'__168 Source #

d_V'45'I_1056 ∷ 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_1056 ∷ 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_1074 ∷ p → () Source #

data T_Error_1074 Source #

Constructors

C_E'45'error_1078

d_Frame_1084 ∷ p → p → () Source #

d_Stack_1166 ∷ p → p → () Source #

data T_Stack_1166 Source #

Constructors

C_ε_1170
C__'44'__1176 T__'8866'Nf'8902'__4 T_Stack_1166 T_Frame_1084

d_State_1180 ∷ p → () Source #

data T_State_1180 Source #

Constructors

C__'894'_'9659'__1188 T_Ctx_2 T__'8866'Nf'8902'__4 T_Stack_1166 T_Env_26 T__'8866'__168
C__'9669'__1192 T__'8866'Nf'8902'__4 T_Stack_1166 T_Value_52
C_'9633'_1194 T_Value_52
C_'9670'_1196 T__'8866'Nf'8902'__4

d_ival_1200 ∷ T_Builtin_2 → T_Value_52 Source #

d_pushValueFrames_1212 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_Bwd_6 → T__'8866'Nf'8902'__4 → T_Stack_1166 → T_IBwd_396 → T__'8801'__12 → T_Stack_1166 Source #

du_pushValueFrames_1212 ∷ T__'8866'Nf'8902'__4 → T_Bwd_6 → T_Stack_1166 → T_IBwd_396 → T_Stack_1166 Source #

d_step_1224 ∷ T__'8866'Nf'8902'__4 → T_State_1180 → T_State_1180 Source #

du_step_1224 ∷ T_State_1180 → T_State_1180 Source #

d_stepper_1532 ∷ Integer → T__'8866'Nf'8902'__4 → T_State_1180 → T_Either_6 T_RuntimeError_348 T_State_1180 Source #

du_stepper_1532 ∷ Integer → T_State_1180 → T_Either_6 T_RuntimeError_348 T_State_1180 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_10 T_Bwd_6 T_IBwd_396

C_'45''183'_1092 T_Ctx_2 T__'8866'__168 T_Env_26
C_'45''183'v_1098 T_Value_52
C__'183''45'_1104 T_Value_52
C_'45''183''8902'_1112 T__'8866'Nf'8902'__4
C_wrap'45'_1120
C_unwrap'45'_1128
C_constr'45'_1148 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'_1160 T_Ctx_2 T_Env_26 T_Cases_162