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

d_V'45'I_938 ∷ 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_938 ∷ 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_956 ∷ p → () Source #

data T_Error_956 Source #

Constructors

C_E'45'error_960

d_Frame_966 ∷ p → p → () Source #

d_Stack_1048 ∷ p → p → () Source #

data T_Stack_1048 Source #

Constructors

C_ε_1052
C__'44'__1058 T__'8866'Nf'8902'__4 T_Stack_1048 T_Frame_966

d_State_1062 ∷ p → () Source #

data T_State_1062 Source #

Constructors

C__'894'_'9659'__1070 T_Ctx_2 T__'8866'Nf'8902'__4 T_Stack_1048 T_Env_26 T__'8866'__168
C__'9669'__1074 T__'8866'Nf'8902'__4 T_Stack_1048 T_Value_52
C_'9633'_1076 T_Value_52
C_'9670'_1078 T__'8866'Nf'8902'__4

d_ival_1082 ∷ T_Builtin_2 → T_Value_52 Source #

d_pushValueFrames_1094 ∷ T__'8866'Nf'8902'__4 → T__'8866'Nf'8902'__4 → T_Bwd_6 → T__'8866'Nf'8902'__4 → T_Stack_1048 → T_IBwd_396 → T__'8801'__12 → T_Stack_1048 Source #

du_pushValueFrames_1094 ∷ T__'8866'Nf'8902'__4 → T_Bwd_6 → T_Stack_1048 → T_IBwd_396 → T_Stack_1048 Source #

d_step_1106 ∷ T__'8866'Nf'8902'__4 → T_State_1062 → T_State_1062 Source #

du_step_1106 ∷ T_State_1062 → T_State_1062 Source #

d_stepper_1414 ∷ Integer → T__'8866'Nf'8902'__4 → T_State_1062 → T_Either_6 T_RuntimeError_348 T_State_1062 Source #

du_stepper_1414 ∷ Integer → T_State_1062 → T_Either_6 T_RuntimeError_348 T_State_1062 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'_974 T_Ctx_2 T__'8866'__168 T_Env_26
C_'45''183'v_980 T_Value_52
C__'183''45'_986 T_Value_52
C_'45''183''8902'_994 T__'8866'Nf'8902'__4
C_wrap'45'_1002
C_unwrap'45'_1010
C_constr'45'_1030 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'_1042 T_Ctx_2 T_Env_26 T_Cases_162