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

type T_TwoVariableLinearFunction_60 = TwoVariableLinearFunction Source #

pattern C_mkTwoVariableLinearFunction_74 ∷ Integer → Integer → Integer → TwoVariableLinearFunction Source #

check_mkTwoVariableLinearFunction_74 ∷ Integer → Integer → Integer → T_TwoVariableLinearFunction_60 Source #

cover_TwoVariableLinearFunction_60 ∷ TwoVariableLinearFunction → () Source #

d_intercept_68 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_slope1_70 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_slope2_72 ∷ T_TwoVariableLinearFunction_60 → Integer Source #

d_TwoVariableQuadraticFunction_76 ∷ () Source #

type T_TwoVariableQuadraticFunction_76 = TwoVariableQuadraticFunction Source #

pattern C_mkTwoVariableQuadraticFunction_106 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → TwoVariableQuadraticFunction Source #

check_mkTwoVariableQuadraticFunction_106 ∷ Integer → Integer → Integer → Integer → Integer → Integer → Integer → T_TwoVariableQuadraticFunction_76 Source #

cover_TwoVariableQuadraticFunction_76 ∷ TwoVariableQuadraticFunction → () Source #

d_minimum_92 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff00_94 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff10_96 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff01_98 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff20_100 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff11_102 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_coeff02_104 ∷ T_TwoVariableQuadraticFunction_76 → Integer Source #

d_TwoVariableWithInteractionFunction_108 ∷ () Source #

type T_TwoVariableWithInteractionFunction_108 = TwoVariableWithInteractionFunction Source #

pattern C_mkTwoVariableWithInteractionFunction_126 ∷ Integer → Integer → Integer → Integer → TwoVariableWithInteractionFunction Source #

check_mkTwoVariableWithInteractionFunction_126 ∷ Integer → Integer → Integer → Integer → T_TwoVariableWithInteractionFunction_108 Source #

cover_TwoVariableWithInteractionFunction_108 ∷ TwoVariableWithInteractionFunction → () Source #

d_coeff00''_118 ∷ T_TwoVariableWithInteractionFunction_108 → Integer Source #

d_coeff10''_120 ∷ T_TwoVariableWithInteractionFunction_108 → Integer Source #

d_coeff01''_122 ∷ T_TwoVariableWithInteractionFunction_108 → Integer Source #

d_coeff11''_124 ∷ T_TwoVariableWithInteractionFunction_108 → Integer Source #

d_ExpModCostingFunction_128 ∷ () Source #

type T_ExpModCostingFunction_128 = ExpModCostingFunction Source #

pattern C_mkExpModCostingFunction_142 ∷ Integer → Integer → Integer → ExpModCostingFunction Source #

check_mkExpModCostingFunction_142 ∷ Integer → Integer → Integer → T_ExpModCostingFunction_128 Source #

cover_ExpModCostingFunction_128 ∷ ExpModCostingFunction → () Source #

d_coeff00_136 ∷ T_ExpModCostingFunction_128 → Integer Source #

d_coeff11_138 ∷ T_ExpModCostingFunction_128 → Integer Source #

d_coeff12_140 ∷ T_ExpModCostingFunction_128 → Integer Source #

d_RawModel_144 ∷ () Source #

type T_RawModel_144 = Model Source #

pattern C_ConstantCost_146 ∷ Integer → Model Source #

pattern C_AddedSizes_148 ∷ LinearFunction → Model Source #

pattern C_MultipliedSizes_150 ∷ LinearFunction → Model Source #

pattern C_MinSize_152 ∷ LinearFunction → Model Source #

pattern C_MaxSize_154 ∷ LinearFunction → Model Source #

pattern C_LinearInX_156 ∷ LinearFunction → Model Source #

pattern C_LinearInY_158 ∷ LinearFunction → Model Source #

pattern C_LinearInZ_160 ∷ LinearFunction → Model Source #

pattern C_LinearInU_162 ∷ LinearFunction → Model Source #

pattern C_LiteralInYOrLinearInZ_164 ∷ LinearFunction → Model Source #

pattern C_LinearInMaxYZ_166 ∷ LinearFunction → Model Source #

pattern C_LinearInXAndY_168 ∷ TwoVariableLinearFunction → Model Source #

pattern C_LinearInYAndZ_170 ∷ TwoVariableLinearFunction → Model Source #

pattern C_QuadraticInX_172 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInY_174 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInZ_176 ∷ OneVariableQuadraticFunction → Model Source #

pattern C_QuadraticInXAndY_178 ∷ TwoVariableQuadraticFunction → Model Source #

pattern C_WithInteractionInXAndY_180 ∷ TwoVariableWithInteractionFunction → Model Source #

pattern C_SubtractedSizes_182 ∷ LinearFunction → Integer → Model Source #

pattern C_ConstAboveDiagonal_184 ∷ Integer → Model → Model Source #

pattern C_ConstBelowDiagonal_186 ∷ Integer → Model → Model Source #

pattern C_ConstOffDiagonal_188 ∷ Integer → Model → Model Source #

pattern C_ExpModCost_190 ∷ ExpModCostingFunction → Model Source #

check_ConstantCost_146 ∷ Integer → T_RawModel_144 Source #

check_AddedSizes_148 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_MultipliedSizes_150 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_MinSize_152 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_MaxSize_154 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInX_156 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInY_158 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInZ_160 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInU_162 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LiteralInYOrLinearInZ_164 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInMaxYZ_166 ∷ T_LinearFunction_32 → T_RawModel_144 Source #

check_LinearInXAndY_168 ∷ T_TwoVariableLinearFunction_60 → T_RawModel_144 Source #

check_LinearInYAndZ_170 ∷ T_TwoVariableLinearFunction_60 → T_RawModel_144 Source #

check_QuadraticInX_172 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_144 Source #

check_QuadraticInY_174 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_144 Source #

check_QuadraticInZ_176 ∷ T_OneVariableQuadraticFunction_44 → T_RawModel_144 Source #

check_QuadraticInXAndY_178 ∷ T_TwoVariableQuadraticFunction_76 → T_RawModel_144 Source #

check_WithInteractionInXAndY_180 ∷ T_TwoVariableWithInteractionFunction_108 → T_RawModel_144 Source #

check_SubtractedSizes_182 ∷ T_LinearFunction_32 → Integer → T_RawModel_144 Source #

check_ConstAboveDiagonal_184 ∷ Integer → T_RawModel_144 → T_RawModel_144 Source #

check_ConstBelowDiagonal_186 ∷ Integer → T_RawModel_144 → T_RawModel_144 Source #

check_ConstOffDiagonal_188 ∷ Integer → T_RawModel_144 → T_RawModel_144 Source #

check_ExpModCost_190 ∷ T_ExpModCostingFunction_128 → T_RawModel_144 Source #

cover_RawModel_144 ∷ Model → () Source #

d_CpuAndMemoryModel_192 ∷ () Source #

type T_CpuAndMemoryModel_192 = CpuAndMemoryModel Source #

pattern C_mkCpuAndMemoryModel_202 ∷ Model → Model → CpuAndMemoryModel Source #

check_mkCpuAndMemoryModel_202 ∷ T_RawModel_144 → T_RawModel_144 → T_CpuAndMemoryModel_192 Source #

cover_CpuAndMemoryModel_192 ∷ CpuAndMemoryModel → () Source #

d_cpuModel_198 ∷ T_CpuAndMemoryModel_192 → T_RawModel_144 Source #

d_memoryModel_200 ∷ T_CpuAndMemoryModel_192 → T_RawModel_144 Source #

d_BuiltinCostMap_204 ∷ () Source #

d_RawCostModel_206 ∷ () Source #