Documentation

type T_Format_14 = DefaultFun () #

d_ProgramU_28 :: a #

d_deBruijnifyU_30 :: T_ProgramNU_26 -> T_Either_6 T_FreeVariableError_574 T_ProgramU_28 #

d_convPU_32 :: T_ProgramU_28 -> T_Untyped_208 #

d_BudgetMode_36 :: p -> () #

type T_BudgetMode_36 a0 = BudgetMode a0 #

pattern C_Silent_40 :: BudgetMode a #

pattern C_Counting_42 :: a -> BudgetMode a #

pattern C_Tallying_44 :: a -> BudgetMode a #

check_Silent_40 :: forall xA. T_BudgetMode_36 xA #

check_Counting_42 :: forall xA. xA -> T_BudgetMode_36 xA #

check_Tallying_44 :: forall xA. xA -> T_BudgetMode_36 xA #

cover_BudgetMode_36 :: BudgetMode a1 -> () #

d_EvalMode_46 :: () #

type T_EvalMode_46 = EvalMode #

pattern C_U_48 :: EvalMode #

pattern C_TL_50 :: EvalMode #

pattern C_TCK_52 :: EvalMode #

pattern C_TCEK_54 :: EvalMode #

check_U_48 :: T_EvalMode_46 #

check_TL_50 :: T_EvalMode_46 #

check_TCK_52 :: T_EvalMode_46 #

check_TCEK_54 :: T_EvalMode_46 #

cover_EvalMode_46 :: EvalMode -> () #

d_parsePLC_56 :: T_ProgramN_18 -> T_Either_6 T_ERROR_12 T_ScopedTm_522 #

d_parseUPLC_62 :: T_ProgramNU_26 -> T_Either_6 T_ERROR_12 T__'8866'_14 #

d_typeCheckPLC_70 :: T_ScopedTm_522 -> T_Either_6 T_TypeError_12 T_Σ_14 #

d_checkError_76 :: T__'8866'Nf'8902'__4 -> T__'8866'__178 -> T_Either_6 T_ERROR_12 T__'8866'__178 #

du_checkError_76 :: T__'8866'__178 -> T_Either_6 T_ERROR_12 T__'8866'__178 #

d_executePLC_80 :: T_EvalMode_46 -> T_ScopedTm_522 -> T_Either_6 T_ERROR_12 T_String_6 #

d_showUPLCResult_138 :: T_State_218 -> T_Either_6 T_ERROR_12 T_String_6 #

d_executeUPLCwithMP_144 :: () -> T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192)) -> (T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_MachineParameters_46) -> (AgdaAny -> T_String_6) -> T__'8866'_14 -> T_Either_6 T_ERROR_12 T_String_6 #

du_executeUPLCwithMP_144 :: T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192)) -> (T__'215'__426 T_HCekMachineCosts_4 (T_Builtin_2 -> T_BuiltinModel_62) -> T_MachineParameters_46) -> (AgdaAny -> T_String_6) -> T__'8866'_14 -> T_Either_6 T_ERROR_12 T_String_6 #

d_executeUPLC_192 :: T_BudgetMode_36 (T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192))) -> T__'8866'_14 -> T_Either_6 T_ERROR_12 T_String_6 #

d_evalProgramNU_204 :: T_BudgetMode_36 (T__'215'__426 T_HCekMachineCosts_4 (T_List_444 (T__'215'__426 T_String_6 T_CpuAndMemoryModel_192))) -> T_ProgramNU_26 -> T_Either_6 T_ERROR_12 T_String_6 #

d_evalProgramN_212 :: T_EvalMode_46 -> T_ProgramN_18 -> T_Either_6 T_ERROR_12 T_String_6 #

d_typeCheckProgramN_220 :: T_ProgramN_18 -> T_Either_6 T_ERROR_12 T_String_6 #