Documentation

type T_HCekMachineCosts_4 = CekMachineCostsBase Identity Source #

d_HCekMachineCosts_4 ∷ a Source #

type T_HExBudget_6 = ExBudget Source #

d_HExBudget_6 ∷ a Source #

d_getCekStartupCost_8 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekVarCost_10 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekConstCost_12 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekLamCost_14 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekDelayCost_16 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekForceCost_18 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekApplyCost_20 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekBuiltinCost_22 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekConstrCost_24 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCekCaseCost_26 ∷ T_HCekMachineCosts_4 → T_HExBudget_6 Source #

d_getCPUCost_28 ∷ T_HExBudget_6 → Integer Source #

d_getMemoryCost_30 ∷ T_HExBudget_6 → Integer Source #

d_LinearFunction_32 ∷ () Source #

type T_LinearFunction_32 = LinearFunction Source #

pattern C_mkLinearFunction_42 ∷ Integer → Integer → LinearFunction Source #

check_mkLinearFunction_42 ∷ Integer → Integer → T_LinearFunction_32 Source #

cover_LinearFunction_32 ∷ LinearFunction → () Source #

d_intercept_38 ∷ T_LinearFunction_32 → Integer Source #

d_slope_40 ∷ T_LinearFunction_32 → Integer Source #

d_OneVariableQuadraticFunction_44 ∷ () Source #

type T_OneVariableQuadraticFunction_44 = OneVariableQuadraticFunction Source #

pattern C_mkOneVariableQuadraticFunction_58 ∷ Integer → Integer → Integer → OneVariableQuadraticFunction Source #

check_mkOneVariableQuadraticFunction_58 ∷ Integer → Integer → Integer → T_OneVariableQuadraticFunction_44 Source #

cover_OneVariableQuadraticFunction_44 ∷ OneVariableQuadraticFunction → () Source #

d_coeff0_52 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_coeff1_54 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_coeff2_56 ∷ T_OneVariableQuadraticFunction_44 → Integer Source #

d_TwoVariableQuadraticFunction_60 ∷ () Source #

type T_TwoVariableQuadraticFunction_60 = TwoVariableQuadraticFunction Source #

pattern C_mkTwoVariableQuadraticFunction_90 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → TwoVariableQuadraticFunction Source #

check_mkTwoVariableQuadraticFunction_90 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → T_TwoVariableQuadraticFunction_60 Source #

cover_TwoVariableQuadraticFunction_60 ∷ TwoVariableQuadraticFunction → () Source #

d_minimum_76 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff00_78 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff10_80 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff01_82 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff20_84 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff11_86 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_coeff02_88 ∷ T_TwoVariableQuadraticFunction_60 → Integer Source #

d_RawModel_92 ∷ () Source #

type T_RawModel_92 = Model Source #

pattern C_ConstantCost_94 ∷ Integer → Model Source #

pattern C_AddedSizes_96 ∷ LinearFunction → Model Source #

pattern C_MultipliedSizes_98 ∷ LinearFunction → Model Source #

pattern C_MinSize_100 ∷ LinearFunction → Model Source #

pattern C_MaxSize_102 ∷ LinearFunction → Model Source #

pattern C_LinearInX_104 ∷ LinearFunction → Model Source #

pattern C_LinearInY_106 ∷ LinearFunction → Model Source #

pattern C_LinearInZ_108 ∷ LinearFunction → Model Source #

pattern C_LiteralInYOrLinearInZ_110 ∷ LinearFunction → Model Source #

pattern C_QuadraticInY_112 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInZ_114 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInXAndY_116 ∷ TwoVariableQuadraticFunction → Model Source #

pattern C_SubtractedSizes_118 ∷ LinearFunction → Integer → Model Source #

pattern C_ConstAboveDiagonal_120 ∷ Integer → Model → Model Source #

pattern C_ConstBelowDiagonal_122 ∷ Integer → Model → Model Source #

pattern C_ConstOffDiagonal_124 ∷ Integer → Model → Model Source #

check_ConstantCost_94 ∷ Integer → T_RawModel_92 Source #

check_AddedSizes_96 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_MultipliedSizes_98 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_MinSize_100 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_MaxSize_102 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_LinearInX_104 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_LinearInY_106 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_LinearInZ_108 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_LiteralInYOrLinearInZ_110 ∷ T_LinearFunction_32 → T_RawModel_92 Source #

check_QuadraticInY_112 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_92 Source #

check_QuadraticInZ_114 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_92 Source #

check_QuadraticInXAndY_116 ∷ T_TwoVariableQuadraticFunction_60 → T_RawModel_92 Source #

check_SubtractedSizes_118 ∷ T_LinearFunction_32 → Integer → T_RawModel_92 Source #

check_ConstAboveDiagonal_120 ∷ Integer → T_RawModel_92 → T_RawModel_92 Source #

check_ConstBelowDiagonal_122 ∷ Integer → T_RawModel_92 → T_RawModel_92 Source #

check_ConstOffDiagonal_124 ∷ Integer → T_RawModel_92 → T_RawModel_92 Source #

cover_RawModel_92 ∷ Model → () Source #

d_CpuAndMemoryModel_126 ∷ () Source #

type T_CpuAndMemoryModel_126 = CpuAndMemoryModel Source #

pattern C_mkCpuAndMemoryModel_136 ∷ Model → Model → CpuAndMemoryModel Source #

check_mkCpuAndMemoryModel_136 ∷ T_RawModel_92 → T_RawModel_92 → T_CpuAndMemoryModel_126 Source #

cover_CpuAndMemoryModel_126 ∷ CpuAndMemoryModel → () Source #

d_cpuModel_132 ∷ T_CpuAndMemoryModel_126 → T_RawModel_92 Source #

d_memoryModel_134 ∷ T_CpuAndMemoryModel_126 → T_RawModel_92 Source #

d_BuiltinCostMap_138 ∷ () Source #

d_RawCostModel_140 ∷ () Source #