{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Cost.Raw where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Cost.Base

import Data.SatInt (fromSatInt)
import Data.Functor.Identity (Identity, runIdentity)
import PlutusCore.Evaluation.Machine.ExBudget (ExBudget(..))
import PlutusCore.Evaluation.Machine.ExMemory (ExCPU(..), ExMemory(..))
import PlutusCore.Evaluation.Machine.ExBudgetingDefaults (defaultCekMachineCostsForTesting)
import UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts (CekMachineCostsBase(..))
import PlutusCore.Evaluation.Machine.CostingFun.SimpleJSON
-- Cost.Raw.HCekMachineCosts
type T_HCekMachineCosts_4 = CekMachineCostsBase Identity
d_HCekMachineCosts_4 :: a
d_HCekMachineCosts_4
  = [Char] -> a
forall a. HasCallStack => [Char] -> a
error
      [Char]
"MAlonzo Runtime Error: postulate evaluated: Cost.Raw.HCekMachineCosts"
-- Cost.Raw.HExBudget
type T_HExBudget_6 = ExBudget
d_HExBudget_6 :: a
d_HExBudget_6
  = [Char] -> a
forall a. HasCallStack => [Char] -> a
error
      [Char]
"MAlonzo Runtime Error: postulate evaluated: Cost.Raw.HExBudget"
-- Cost.Raw.getCekStartupCost
d_getCekStartupCost_8 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekStartupCost_8 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekStartupCost_8 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekStartupCost
-- Cost.Raw.getCekVarCost
d_getCekVarCost_10 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekVarCost_10 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekVarCost_10 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekVarCost
-- Cost.Raw.getCekConstCost
d_getCekConstCost_12 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekConstCost_12 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekConstCost_12 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekConstCost
-- Cost.Raw.getCekLamCost
d_getCekLamCost_14 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekLamCost_14 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekLamCost_14 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekLamCost
-- Cost.Raw.getCekDelayCost
d_getCekDelayCost_16 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekDelayCost_16 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekDelayCost_16 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekDelayCost
-- Cost.Raw.getCekForceCost
d_getCekForceCost_18 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekForceCost_18 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekForceCost_18 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekForceCost
-- Cost.Raw.getCekApplyCost
d_getCekApplyCost_20 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekApplyCost_20 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekApplyCost_20 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekApplyCost
-- Cost.Raw.getCekBuiltinCost
d_getCekBuiltinCost_22 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekBuiltinCost_22 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekBuiltinCost_22 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekBuiltinCost
-- Cost.Raw.getCekConstrCost
d_getCekConstrCost_24 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekConstrCost_24 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekConstrCost_24 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekConstrCost
-- Cost.Raw.getCekCaseCost
d_getCekCaseCost_26 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekCaseCost_26 :: T_HCekMachineCosts_4 -> T_HExBudget_6
d_getCekCaseCost_26 = Identity T_HExBudget_6 -> T_HExBudget_6
forall a. Identity a -> a
runIdentity (Identity T_HExBudget_6 -> T_HExBudget_6)
-> (T_HCekMachineCosts_4 -> Identity T_HExBudget_6)
-> T_HCekMachineCosts_4
-> T_HExBudget_6
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HCekMachineCosts_4 -> Identity T_HExBudget_6
forall (f :: * -> *). CekMachineCostsBase f -> f T_HExBudget_6
cekCaseCost
-- Cost.Raw.getCPUCost
d_getCPUCost_28 :: T_HExBudget_6 -> Integer
d_getCPUCost_28 :: T_HExBudget_6 -> Integer
d_getCPUCost_28 = SatInt -> Integer
forall a. Num a => SatInt -> a
fromSatInt (SatInt -> Integer)
-> (T_HExBudget_6 -> SatInt) -> T_HExBudget_6 -> Integer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (\(ExCPU SatInt
x) -> SatInt
x) (ExCPU -> SatInt)
-> (T_HExBudget_6 -> ExCPU) -> T_HExBudget_6 -> SatInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HExBudget_6 -> ExCPU
exBudgetCPU
-- Cost.Raw.getMemoryCost
d_getMemoryCost_30 :: T_HExBudget_6 -> Integer
d_getMemoryCost_30 :: T_HExBudget_6 -> Integer
d_getMemoryCost_30
  = SatInt -> Integer
forall a. Num a => SatInt -> a
fromSatInt (SatInt -> Integer)
-> (T_HExBudget_6 -> SatInt) -> T_HExBudget_6 -> Integer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. (\(ExMemory SatInt
x) -> SatInt
x) (ExMemory -> SatInt)
-> (T_HExBudget_6 -> ExMemory) -> T_HExBudget_6 -> SatInt
forall b c a. (b -> c) -> (a -> b) -> a -> c
. T_HExBudget_6 -> ExMemory
exBudgetMemory
-- Cost.Raw.LinearFunction
d_LinearFunction_32 :: ()
d_LinearFunction_32 = ()
type T_LinearFunction_32 = LinearFunction
pattern $mC_mkLinearFunction_42 :: forall {r}.
LinearFunction -> (Integer -> Integer -> r) -> ((# #) -> r) -> r
$bC_mkLinearFunction_42 :: Integer -> Integer -> LinearFunction
C_mkLinearFunction_42 a0 a1 = LinearFunction a0 a1
check_mkLinearFunction_42 ::
  Integer -> Integer -> T_LinearFunction_32
check_mkLinearFunction_42 :: Integer -> Integer -> LinearFunction
check_mkLinearFunction_42 = Integer -> Integer -> LinearFunction
LinearFunction
cover_LinearFunction_32 :: LinearFunction -> ()
cover_LinearFunction_32 :: LinearFunction -> ()
cover_LinearFunction_32 LinearFunction
x
  = case LinearFunction
x of
      LinearFunction Integer
_ Integer
_ -> ()
-- Cost.Raw.LinearFunction.intercept
d_intercept_38 :: T_LinearFunction_32 -> Integer
d_intercept_38 :: LinearFunction -> Integer
d_intercept_38 LinearFunction
v0
  = case LinearFunction -> LinearFunction
forall a b. a -> b
coe LinearFunction
v0 of
      C_mkLinearFunction_42 Integer
v1 Integer
v2 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      LinearFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.LinearFunction.slope
d_slope_40 :: T_LinearFunction_32 -> Integer
d_slope_40 :: LinearFunction -> Integer
d_slope_40 LinearFunction
v0
  = case LinearFunction -> LinearFunction
forall a b. a -> b
coe LinearFunction
v0 of
      C_mkLinearFunction_42 Integer
v1 Integer
v2 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      LinearFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.OneVariableQuadraticFunction
d_OneVariableQuadraticFunction_44 :: ()
d_OneVariableQuadraticFunction_44 = ()
type T_OneVariableQuadraticFunction_44 =
  OneVariableQuadraticFunction
pattern $mC_mkOneVariableQuadraticFunction_58 :: forall {r}.
OneVariableQuadraticFunction
-> (Integer -> Integer -> Integer -> r) -> ((# #) -> r) -> r
$bC_mkOneVariableQuadraticFunction_58 :: Integer -> Integer -> Integer -> OneVariableQuadraticFunction
C_mkOneVariableQuadraticFunction_58 a0 a1 a2 = OneVariableQuadraticFunction a0 a1 a2
check_mkOneVariableQuadraticFunction_58 ::
  Integer -> Integer -> Integer -> T_OneVariableQuadraticFunction_44
check_mkOneVariableQuadraticFunction_58 :: Integer -> Integer -> Integer -> OneVariableQuadraticFunction
check_mkOneVariableQuadraticFunction_58
  = Integer -> Integer -> Integer -> OneVariableQuadraticFunction
OneVariableQuadraticFunction
cover_OneVariableQuadraticFunction_44 ::
  OneVariableQuadraticFunction -> ()
cover_OneVariableQuadraticFunction_44 :: OneVariableQuadraticFunction -> ()
cover_OneVariableQuadraticFunction_44 OneVariableQuadraticFunction
x
  = case OneVariableQuadraticFunction
x of
      OneVariableQuadraticFunction Integer
_ Integer
_ Integer
_ -> ()
-- Cost.Raw.OneVariableQuadraticFunction.coeff0
d_coeff0_52 :: T_OneVariableQuadraticFunction_44 -> Integer
d_coeff0_52 :: OneVariableQuadraticFunction -> Integer
d_coeff0_52 OneVariableQuadraticFunction
v0
  = case OneVariableQuadraticFunction -> OneVariableQuadraticFunction
forall a b. a -> b
coe OneVariableQuadraticFunction
v0 of
      C_mkOneVariableQuadraticFunction_58 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      OneVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.OneVariableQuadraticFunction.coeff1
d_coeff1_54 :: T_OneVariableQuadraticFunction_44 -> Integer
d_coeff1_54 :: OneVariableQuadraticFunction -> Integer
d_coeff1_54 OneVariableQuadraticFunction
v0
  = case OneVariableQuadraticFunction -> OneVariableQuadraticFunction
forall a b. a -> b
coe OneVariableQuadraticFunction
v0 of
      C_mkOneVariableQuadraticFunction_58 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      OneVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.OneVariableQuadraticFunction.coeff2
d_coeff2_56 :: T_OneVariableQuadraticFunction_44 -> Integer
d_coeff2_56 :: OneVariableQuadraticFunction -> Integer
d_coeff2_56 OneVariableQuadraticFunction
v0
  = case OneVariableQuadraticFunction -> OneVariableQuadraticFunction
forall a b. a -> b
coe OneVariableQuadraticFunction
v0 of
      C_mkOneVariableQuadraticFunction_58 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v3
      OneVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableLinearFunction
d_TwoVariableLinearFunction_60 :: ()
d_TwoVariableLinearFunction_60 = ()
type T_TwoVariableLinearFunction_60 = TwoVariableLinearFunction
pattern $mC_mkTwoVariableLinearFunction_74 :: forall {r}.
TwoVariableLinearFunction
-> (Integer -> Integer -> Integer -> r) -> ((# #) -> r) -> r
$bC_mkTwoVariableLinearFunction_74 :: Integer -> Integer -> Integer -> TwoVariableLinearFunction
C_mkTwoVariableLinearFunction_74 a0 a1 a2 = TwoVariableLinearFunction a0 a1 a2
check_mkTwoVariableLinearFunction_74 ::
  Integer -> Integer -> Integer -> T_TwoVariableLinearFunction_60
check_mkTwoVariableLinearFunction_74 :: Integer -> Integer -> Integer -> TwoVariableLinearFunction
check_mkTwoVariableLinearFunction_74 = Integer -> Integer -> Integer -> TwoVariableLinearFunction
TwoVariableLinearFunction
cover_TwoVariableLinearFunction_60 ::
  TwoVariableLinearFunction -> ()
cover_TwoVariableLinearFunction_60 :: TwoVariableLinearFunction -> ()
cover_TwoVariableLinearFunction_60 TwoVariableLinearFunction
x
  = case TwoVariableLinearFunction
x of
      TwoVariableLinearFunction Integer
_ Integer
_ Integer
_ -> ()
-- Cost.Raw.TwoVariableLinearFunction.intercept
d_intercept_68 :: T_TwoVariableLinearFunction_60 -> Integer
d_intercept_68 :: TwoVariableLinearFunction -> Integer
d_intercept_68 TwoVariableLinearFunction
v0
  = case TwoVariableLinearFunction -> TwoVariableLinearFunction
forall a b. a -> b
coe TwoVariableLinearFunction
v0 of
      C_mkTwoVariableLinearFunction_74 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      TwoVariableLinearFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableLinearFunction.slope1
d_slope1_70 :: T_TwoVariableLinearFunction_60 -> Integer
d_slope1_70 :: TwoVariableLinearFunction -> Integer
d_slope1_70 TwoVariableLinearFunction
v0
  = case TwoVariableLinearFunction -> TwoVariableLinearFunction
forall a b. a -> b
coe TwoVariableLinearFunction
v0 of
      C_mkTwoVariableLinearFunction_74 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      TwoVariableLinearFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableLinearFunction.slope2
d_slope2_72 :: T_TwoVariableLinearFunction_60 -> Integer
d_slope2_72 :: TwoVariableLinearFunction -> Integer
d_slope2_72 TwoVariableLinearFunction
v0
  = case TwoVariableLinearFunction -> TwoVariableLinearFunction
forall a b. a -> b
coe TwoVariableLinearFunction
v0 of
      C_mkTwoVariableLinearFunction_74 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v3
      TwoVariableLinearFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction
d_TwoVariableQuadraticFunction_76 :: ()
d_TwoVariableQuadraticFunction_76 = ()
type T_TwoVariableQuadraticFunction_76 =
  TwoVariableQuadraticFunction
pattern $mC_mkTwoVariableQuadraticFunction_106 :: forall {r}.
TwoVariableQuadraticFunction
-> (Integer
    -> Integer
    -> Integer
    -> Integer
    -> Integer
    -> Integer
    -> Integer
    -> r)
-> ((# #) -> r)
-> r
$bC_mkTwoVariableQuadraticFunction_106 :: Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableQuadraticFunction
C_mkTwoVariableQuadraticFunction_106 a0 a1 a2 a3 a4 a5 a6 = TwoVariableQuadraticFunction a0 a1 a2 a3 a4 a5 a6
check_mkTwoVariableQuadraticFunction_106 ::
  Integer ->
  Integer ->
  Integer ->
  Integer ->
  Integer -> Integer -> Integer -> T_TwoVariableQuadraticFunction_76
check_mkTwoVariableQuadraticFunction_106 :: Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableQuadraticFunction
check_mkTwoVariableQuadraticFunction_106
  = Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableQuadraticFunction
TwoVariableQuadraticFunction
cover_TwoVariableQuadraticFunction_76 ::
  TwoVariableQuadraticFunction -> ()
cover_TwoVariableQuadraticFunction_76 :: TwoVariableQuadraticFunction -> ()
cover_TwoVariableQuadraticFunction_76 TwoVariableQuadraticFunction
x
  = case TwoVariableQuadraticFunction
x of
      TwoVariableQuadraticFunction Integer
_ Integer
_ Integer
_ Integer
_ Integer
_ Integer
_ Integer
_ -> ()
-- Cost.Raw.TwoVariableQuadraticFunction.minimum
d_minimum_92 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_minimum_92 :: TwoVariableQuadraticFunction -> Integer
d_minimum_92 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff00
d_coeff00_94 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff00_94 :: TwoVariableQuadraticFunction -> Integer
d_coeff00_94 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff10
d_coeff10_96 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff10_96 :: TwoVariableQuadraticFunction -> Integer
d_coeff10_96 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v3
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff01
d_coeff01_98 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff01_98 :: TwoVariableQuadraticFunction -> Integer
d_coeff01_98 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v4
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff20
d_coeff20_100 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff20_100 :: TwoVariableQuadraticFunction -> Integer
d_coeff20_100 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v5
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff11
d_coeff11_102 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff11_102 :: TwoVariableQuadraticFunction -> Integer
d_coeff11_102 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v6
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableQuadraticFunction.coeff02
d_coeff02_104 :: T_TwoVariableQuadraticFunction_76 -> Integer
d_coeff02_104 :: TwoVariableQuadraticFunction -> Integer
d_coeff02_104 TwoVariableQuadraticFunction
v0
  = case TwoVariableQuadraticFunction -> TwoVariableQuadraticFunction
forall a b. a -> b
coe TwoVariableQuadraticFunction
v0 of
      C_mkTwoVariableQuadraticFunction_106 Integer
v1 Integer
v2 Integer
v3 Integer
v4 Integer
v5 Integer
v6 Integer
v7 -> Integer -> Integer
forall a b. a -> b
coe Integer
v7
      TwoVariableQuadraticFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableWithInteractionFunction
d_TwoVariableWithInteractionFunction_108 :: ()
d_TwoVariableWithInteractionFunction_108 = ()
type T_TwoVariableWithInteractionFunction_108 =
  TwoVariableWithInteractionFunction
pattern $mC_mkTwoVariableWithInteractionFunction_126 :: forall {r}.
TwoVariableWithInteractionFunction
-> (Integer -> Integer -> Integer -> Integer -> r)
-> ((# #) -> r)
-> r
$bC_mkTwoVariableWithInteractionFunction_126 :: Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableWithInteractionFunction
C_mkTwoVariableWithInteractionFunction_126 a0 a1 a2 a3 = TwoVariableWithInteractionFunction a0 a1 a2 a3
check_mkTwoVariableWithInteractionFunction_126 ::
  Integer ->
  Integer ->
  Integer -> Integer -> T_TwoVariableWithInteractionFunction_108
check_mkTwoVariableWithInteractionFunction_126 :: Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableWithInteractionFunction
check_mkTwoVariableWithInteractionFunction_126
  = Integer
-> Integer
-> Integer
-> Integer
-> TwoVariableWithInteractionFunction
TwoVariableWithInteractionFunction
cover_TwoVariableWithInteractionFunction_108 ::
  TwoVariableWithInteractionFunction -> ()
cover_TwoVariableWithInteractionFunction_108 :: TwoVariableWithInteractionFunction -> ()
cover_TwoVariableWithInteractionFunction_108 TwoVariableWithInteractionFunction
x
  = case TwoVariableWithInteractionFunction
x of
      TwoVariableWithInteractionFunction Integer
_ Integer
_ Integer
_ Integer
_ -> ()
-- Cost.Raw.TwoVariableWithInteractionFunction.coeff00'
d_coeff00''_118 ::
  T_TwoVariableWithInteractionFunction_108 -> Integer
d_coeff00''_118 :: TwoVariableWithInteractionFunction -> Integer
d_coeff00''_118 TwoVariableWithInteractionFunction
v0
  = case TwoVariableWithInteractionFunction
-> TwoVariableWithInteractionFunction
forall a b. a -> b
coe TwoVariableWithInteractionFunction
v0 of
      C_mkTwoVariableWithInteractionFunction_126 Integer
v1 Integer
v2 Integer
v3 Integer
v4 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      TwoVariableWithInteractionFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableWithInteractionFunction.coeff10'
d_coeff10''_120 ::
  T_TwoVariableWithInteractionFunction_108 -> Integer
d_coeff10''_120 :: TwoVariableWithInteractionFunction -> Integer
d_coeff10''_120 TwoVariableWithInteractionFunction
v0
  = case TwoVariableWithInteractionFunction
-> TwoVariableWithInteractionFunction
forall a b. a -> b
coe TwoVariableWithInteractionFunction
v0 of
      C_mkTwoVariableWithInteractionFunction_126 Integer
v1 Integer
v2 Integer
v3 Integer
v4 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      TwoVariableWithInteractionFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableWithInteractionFunction.coeff01'
d_coeff01''_122 ::
  T_TwoVariableWithInteractionFunction_108 -> Integer
d_coeff01''_122 :: TwoVariableWithInteractionFunction -> Integer
d_coeff01''_122 TwoVariableWithInteractionFunction
v0
  = case TwoVariableWithInteractionFunction
-> TwoVariableWithInteractionFunction
forall a b. a -> b
coe TwoVariableWithInteractionFunction
v0 of
      C_mkTwoVariableWithInteractionFunction_126 Integer
v1 Integer
v2 Integer
v3 Integer
v4 -> Integer -> Integer
forall a b. a -> b
coe Integer
v3
      TwoVariableWithInteractionFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.TwoVariableWithInteractionFunction.coeff11'
d_coeff11''_124 ::
  T_TwoVariableWithInteractionFunction_108 -> Integer
d_coeff11''_124 :: TwoVariableWithInteractionFunction -> Integer
d_coeff11''_124 TwoVariableWithInteractionFunction
v0
  = case TwoVariableWithInteractionFunction
-> TwoVariableWithInteractionFunction
forall a b. a -> b
coe TwoVariableWithInteractionFunction
v0 of
      C_mkTwoVariableWithInteractionFunction_126 Integer
v1 Integer
v2 Integer
v3 Integer
v4 -> Integer -> Integer
forall a b. a -> b
coe Integer
v4
      TwoVariableWithInteractionFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.ExpModCostingFunction
d_ExpModCostingFunction_128 :: ()
d_ExpModCostingFunction_128 = ()
type T_ExpModCostingFunction_128 = ExpModCostingFunction
pattern $mC_mkExpModCostingFunction_142 :: forall {r}.
ExpModCostingFunction
-> (Integer -> Integer -> Integer -> r) -> ((# #) -> r) -> r
$bC_mkExpModCostingFunction_142 :: Integer -> Integer -> Integer -> ExpModCostingFunction
C_mkExpModCostingFunction_142 a0 a1 a2 = ExpModCostingFunction a0 a1 a2
check_mkExpModCostingFunction_142 ::
  Integer -> Integer -> Integer -> T_ExpModCostingFunction_128
check_mkExpModCostingFunction_142 :: Integer -> Integer -> Integer -> ExpModCostingFunction
check_mkExpModCostingFunction_142 = Integer -> Integer -> Integer -> ExpModCostingFunction
ExpModCostingFunction
cover_ExpModCostingFunction_128 :: ExpModCostingFunction -> ()
cover_ExpModCostingFunction_128 :: ExpModCostingFunction -> ()
cover_ExpModCostingFunction_128 ExpModCostingFunction
x
  = case ExpModCostingFunction
x of
      ExpModCostingFunction Integer
_ Integer
_ Integer
_ -> ()
-- Cost.Raw.ExpModCostingFunction.coeff00
d_coeff00_136 :: T_ExpModCostingFunction_128 -> Integer
d_coeff00_136 :: ExpModCostingFunction -> Integer
d_coeff00_136 ExpModCostingFunction
v0
  = case ExpModCostingFunction -> ExpModCostingFunction
forall a b. a -> b
coe ExpModCostingFunction
v0 of
      C_mkExpModCostingFunction_142 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v1
      ExpModCostingFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.ExpModCostingFunction.coeff11
d_coeff11_138 :: T_ExpModCostingFunction_128 -> Integer
d_coeff11_138 :: ExpModCostingFunction -> Integer
d_coeff11_138 ExpModCostingFunction
v0
  = case ExpModCostingFunction -> ExpModCostingFunction
forall a b. a -> b
coe ExpModCostingFunction
v0 of
      C_mkExpModCostingFunction_142 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v2
      ExpModCostingFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.ExpModCostingFunction.coeff12
d_coeff12_140 :: T_ExpModCostingFunction_128 -> Integer
d_coeff12_140 :: ExpModCostingFunction -> Integer
d_coeff12_140 ExpModCostingFunction
v0
  = case ExpModCostingFunction -> ExpModCostingFunction
forall a b. a -> b
coe ExpModCostingFunction
v0 of
      C_mkExpModCostingFunction_142 Integer
v1 Integer
v2 Integer
v3 -> Integer -> Integer
forall a b. a -> b
coe Integer
v3
      ExpModCostingFunction
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.RawModel
d_RawModel_144 :: ()
d_RawModel_144 = ()
type T_RawModel_144 = Model
pattern $mC_ConstantCost_146 :: forall {r}. Model -> (Integer -> r) -> ((# #) -> r) -> r
$bC_ConstantCost_146 :: Integer -> Model
C_ConstantCost_146 a0 = ConstantCost a0
pattern $mC_AddedSizes_148 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_AddedSizes_148 :: LinearFunction -> Model
C_AddedSizes_148 a0 = AddedSizes a0
pattern $mC_MultipliedSizes_150 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_MultipliedSizes_150 :: LinearFunction -> Model
C_MultipliedSizes_150 a0 = MultipliedSizes a0
pattern $mC_MinSize_152 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_MinSize_152 :: LinearFunction -> Model
C_MinSize_152 a0 = MinSize a0
pattern $mC_MaxSize_154 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_MaxSize_154 :: LinearFunction -> Model
C_MaxSize_154 a0 = MaxSize a0
pattern $mC_LinearInX_156 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInX_156 :: LinearFunction -> Model
C_LinearInX_156 a0 = LinearInX a0
pattern $mC_LinearInY_158 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInY_158 :: LinearFunction -> Model
C_LinearInY_158 a0 = LinearInY a0
pattern $mC_LinearInZ_160 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInZ_160 :: LinearFunction -> Model
C_LinearInZ_160 a0 = LinearInZ a0
pattern $mC_LinearInU_162 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInU_162 :: LinearFunction -> Model
C_LinearInU_162 a0 = LinearInU a0
pattern $mC_LiteralInYOrLinearInZ_164 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LiteralInYOrLinearInZ_164 :: LinearFunction -> Model
C_LiteralInYOrLinearInZ_164 a0 = LiteralInYOrLinearInZ a0
pattern $mC_LinearInMaxYZ_166 :: forall {r}. Model -> (LinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInMaxYZ_166 :: LinearFunction -> Model
C_LinearInMaxYZ_166 a0 = LinearInMaxYZ a0
pattern $mC_LinearInXAndY_168 :: forall {r}.
Model -> (TwoVariableLinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInXAndY_168 :: TwoVariableLinearFunction -> Model
C_LinearInXAndY_168 a0 = LinearInXAndY a0
pattern $mC_LinearInYAndZ_170 :: forall {r}.
Model -> (TwoVariableLinearFunction -> r) -> ((# #) -> r) -> r
$bC_LinearInYAndZ_170 :: TwoVariableLinearFunction -> Model
C_LinearInYAndZ_170 a0 = LinearInYAndZ a0
pattern $mC_QuadraticInX_172 :: forall {r}.
Model -> (OneVariableQuadraticFunction -> r) -> ((# #) -> r) -> r
$bC_QuadraticInX_172 :: OneVariableQuadraticFunction -> Model
C_QuadraticInX_172 a0 = QuadraticInX a0
pattern $mC_QuadraticInY_174 :: forall {r}.
Model -> (OneVariableQuadraticFunction -> r) -> ((# #) -> r) -> r
$bC_QuadraticInY_174 :: OneVariableQuadraticFunction -> Model
C_QuadraticInY_174 a0 = QuadraticInY a0
pattern $mC_QuadraticInZ_176 :: forall {r}.
Model -> (OneVariableQuadraticFunction -> r) -> ((# #) -> r) -> r
$bC_QuadraticInZ_176 :: OneVariableQuadraticFunction -> Model
C_QuadraticInZ_176 a0 = QuadraticInZ a0
pattern $mC_QuadraticInXAndY_178 :: forall {r}.
Model -> (TwoVariableQuadraticFunction -> r) -> ((# #) -> r) -> r
$bC_QuadraticInXAndY_178 :: TwoVariableQuadraticFunction -> Model
C_QuadraticInXAndY_178 a0 = QuadraticInXAndY a0
pattern $mC_WithInteractionInXAndY_180 :: forall {r}.
Model
-> (TwoVariableWithInteractionFunction -> r) -> ((# #) -> r) -> r
$bC_WithInteractionInXAndY_180 :: TwoVariableWithInteractionFunction -> Model
C_WithInteractionInXAndY_180 a0 = WithInteractionInXAndY a0
pattern $mC_SubtractedSizes_182 :: forall {r}.
Model -> (LinearFunction -> Integer -> r) -> ((# #) -> r) -> r
$bC_SubtractedSizes_182 :: LinearFunction -> Integer -> Model
C_SubtractedSizes_182 a0 a1 = SubtractedSizes a0 a1
pattern $mC_ConstAboveDiagonal_184 :: forall {r}. Model -> (Integer -> Model -> r) -> ((# #) -> r) -> r
$bC_ConstAboveDiagonal_184 :: Integer -> Model -> Model
C_ConstAboveDiagonal_184 a0 a1 = ConstAboveDiagonal a0 a1
pattern $mC_ConstBelowDiagonal_186 :: forall {r}. Model -> (Integer -> Model -> r) -> ((# #) -> r) -> r
$bC_ConstBelowDiagonal_186 :: Integer -> Model -> Model
C_ConstBelowDiagonal_186 a0 a1 = ConstBelowDiagonal a0 a1
pattern $mC_ConstOffDiagonal_188 :: forall {r}. Model -> (Integer -> Model -> r) -> ((# #) -> r) -> r
$bC_ConstOffDiagonal_188 :: Integer -> Model -> Model
C_ConstOffDiagonal_188 a0 a1 = ConstOffDiagonal a0 a1
pattern $mC_ExpModCost_190 :: forall {r}.
Model -> (ExpModCostingFunction -> r) -> ((# #) -> r) -> r
$bC_ExpModCost_190 :: ExpModCostingFunction -> Model
C_ExpModCost_190 a0 = ExpModCost a0
check_ConstantCost_146 :: Integer -> T_RawModel_144
check_ConstantCost_146 :: Integer -> Model
check_ConstantCost_146 = Integer -> Model
ConstantCost
check_AddedSizes_148 :: T_LinearFunction_32 -> T_RawModel_144
check_AddedSizes_148 :: LinearFunction -> Model
check_AddedSizes_148 = LinearFunction -> Model
AddedSizes
check_MultipliedSizes_150 :: T_LinearFunction_32 -> T_RawModel_144
check_MultipliedSizes_150 :: LinearFunction -> Model
check_MultipliedSizes_150 = LinearFunction -> Model
MultipliedSizes
check_MinSize_152 :: T_LinearFunction_32 -> T_RawModel_144
check_MinSize_152 :: LinearFunction -> Model
check_MinSize_152 = LinearFunction -> Model
MinSize
check_MaxSize_154 :: T_LinearFunction_32 -> T_RawModel_144
check_MaxSize_154 :: LinearFunction -> Model
check_MaxSize_154 = LinearFunction -> Model
MaxSize
check_LinearInX_156 :: T_LinearFunction_32 -> T_RawModel_144
check_LinearInX_156 :: LinearFunction -> Model
check_LinearInX_156 = LinearFunction -> Model
LinearInX
check_LinearInY_158 :: T_LinearFunction_32 -> T_RawModel_144
check_LinearInY_158 :: LinearFunction -> Model
check_LinearInY_158 = LinearFunction -> Model
LinearInY
check_LinearInZ_160 :: T_LinearFunction_32 -> T_RawModel_144
check_LinearInZ_160 :: LinearFunction -> Model
check_LinearInZ_160 = LinearFunction -> Model
LinearInZ
check_LinearInU_162 :: T_LinearFunction_32 -> T_RawModel_144
check_LinearInU_162 :: LinearFunction -> Model
check_LinearInU_162 = LinearFunction -> Model
LinearInU
check_LiteralInYOrLinearInZ_164 ::
  T_LinearFunction_32 -> T_RawModel_144
check_LiteralInYOrLinearInZ_164 :: LinearFunction -> Model
check_LiteralInYOrLinearInZ_164 = LinearFunction -> Model
LiteralInYOrLinearInZ
check_LinearInMaxYZ_166 :: T_LinearFunction_32 -> T_RawModel_144
check_LinearInMaxYZ_166 :: LinearFunction -> Model
check_LinearInMaxYZ_166 = LinearFunction -> Model
LinearInMaxYZ
check_LinearInXAndY_168 ::
  T_TwoVariableLinearFunction_60 -> T_RawModel_144
check_LinearInXAndY_168 :: TwoVariableLinearFunction -> Model
check_LinearInXAndY_168 = TwoVariableLinearFunction -> Model
LinearInXAndY
check_LinearInYAndZ_170 ::
  T_TwoVariableLinearFunction_60 -> T_RawModel_144
check_LinearInYAndZ_170 :: TwoVariableLinearFunction -> Model
check_LinearInYAndZ_170 = TwoVariableLinearFunction -> Model
LinearInYAndZ
check_QuadraticInX_172 ::
  T_OneVariableQuadraticFunction_44 -> T_RawModel_144
check_QuadraticInX_172 :: OneVariableQuadraticFunction -> Model
check_QuadraticInX_172 = OneVariableQuadraticFunction -> Model
QuadraticInX
check_QuadraticInY_174 ::
  T_OneVariableQuadraticFunction_44 -> T_RawModel_144
check_QuadraticInY_174 :: OneVariableQuadraticFunction -> Model
check_QuadraticInY_174 = OneVariableQuadraticFunction -> Model
QuadraticInY
check_QuadraticInZ_176 ::
  T_OneVariableQuadraticFunction_44 -> T_RawModel_144
check_QuadraticInZ_176 :: OneVariableQuadraticFunction -> Model
check_QuadraticInZ_176 = OneVariableQuadraticFunction -> Model
QuadraticInZ
check_QuadraticInXAndY_178 ::
  T_TwoVariableQuadraticFunction_76 -> T_RawModel_144
check_QuadraticInXAndY_178 :: TwoVariableQuadraticFunction -> Model
check_QuadraticInXAndY_178 = TwoVariableQuadraticFunction -> Model
QuadraticInXAndY
check_WithInteractionInXAndY_180 ::
  T_TwoVariableWithInteractionFunction_108 -> T_RawModel_144
check_WithInteractionInXAndY_180 :: TwoVariableWithInteractionFunction -> Model
check_WithInteractionInXAndY_180 = TwoVariableWithInteractionFunction -> Model
WithInteractionInXAndY
check_SubtractedSizes_182 ::
  T_LinearFunction_32 -> Integer -> T_RawModel_144
check_SubtractedSizes_182 :: LinearFunction -> Integer -> Model
check_SubtractedSizes_182 = LinearFunction -> Integer -> Model
SubtractedSizes
check_ConstAboveDiagonal_184 ::
  Integer -> T_RawModel_144 -> T_RawModel_144
check_ConstAboveDiagonal_184 :: Integer -> Model -> Model
check_ConstAboveDiagonal_184 = Integer -> Model -> Model
ConstAboveDiagonal
check_ConstBelowDiagonal_186 ::
  Integer -> T_RawModel_144 -> T_RawModel_144
check_ConstBelowDiagonal_186 :: Integer -> Model -> Model
check_ConstBelowDiagonal_186 = Integer -> Model -> Model
ConstBelowDiagonal
check_ConstOffDiagonal_188 ::
  Integer -> T_RawModel_144 -> T_RawModel_144
check_ConstOffDiagonal_188 :: Integer -> Model -> Model
check_ConstOffDiagonal_188 = Integer -> Model -> Model
ConstOffDiagonal
check_ExpModCost_190 ::
  T_ExpModCostingFunction_128 -> T_RawModel_144
check_ExpModCost_190 :: ExpModCostingFunction -> Model
check_ExpModCost_190 = ExpModCostingFunction -> Model
ExpModCost
cover_RawModel_144 :: Model -> ()
cover_RawModel_144 :: Model -> ()
cover_RawModel_144 Model
x
  = case Model
x of
      ConstantCost Integer
_ -> ()
      AddedSizes LinearFunction
_ -> ()
      MultipliedSizes LinearFunction
_ -> ()
      MinSize LinearFunction
_ -> ()
      MaxSize LinearFunction
_ -> ()
      LinearInX LinearFunction
_ -> ()
      LinearInY LinearFunction
_ -> ()
      LinearInZ LinearFunction
_ -> ()
      LinearInU LinearFunction
_ -> ()
      LiteralInYOrLinearInZ LinearFunction
_ -> ()
      LinearInMaxYZ LinearFunction
_ -> ()
      LinearInXAndY TwoVariableLinearFunction
_ -> ()
      LinearInYAndZ TwoVariableLinearFunction
_ -> ()
      QuadraticInX OneVariableQuadraticFunction
_ -> ()
      QuadraticInY OneVariableQuadraticFunction
_ -> ()
      QuadraticInZ OneVariableQuadraticFunction
_ -> ()
      QuadraticInXAndY TwoVariableQuadraticFunction
_ -> ()
      WithInteractionInXAndY TwoVariableWithInteractionFunction
_ -> ()
      SubtractedSizes LinearFunction
_ Integer
_ -> ()
      ConstAboveDiagonal Integer
_ Model
_ -> ()
      ConstBelowDiagonal Integer
_ Model
_ -> ()
      ConstOffDiagonal Integer
_ Model
_ -> ()
      ExpModCost ExpModCostingFunction
_ -> ()
-- Cost.Raw.CpuAndMemoryModel
d_CpuAndMemoryModel_192 :: ()
d_CpuAndMemoryModel_192 = ()
type T_CpuAndMemoryModel_192 = CpuAndMemoryModel
pattern $mC_mkCpuAndMemoryModel_202 :: forall {r}.
CpuAndMemoryModel -> (Model -> Model -> r) -> ((# #) -> r) -> r
$bC_mkCpuAndMemoryModel_202 :: Model -> Model -> CpuAndMemoryModel
C_mkCpuAndMemoryModel_202 a0 a1 = CpuAndMemoryModel a0 a1
check_mkCpuAndMemoryModel_202 ::
  T_RawModel_144 -> T_RawModel_144 -> T_CpuAndMemoryModel_192
check_mkCpuAndMemoryModel_202 :: Model -> Model -> CpuAndMemoryModel
check_mkCpuAndMemoryModel_202 = Model -> Model -> CpuAndMemoryModel
CpuAndMemoryModel
cover_CpuAndMemoryModel_192 :: CpuAndMemoryModel -> ()
cover_CpuAndMemoryModel_192 :: CpuAndMemoryModel -> ()
cover_CpuAndMemoryModel_192 CpuAndMemoryModel
x
  = case CpuAndMemoryModel
x of
      CpuAndMemoryModel Model
_ Model
_ -> ()
-- Cost.Raw.CpuAndMemoryModel.cpuModel
d_cpuModel_198 :: T_CpuAndMemoryModel_192 -> T_RawModel_144
d_cpuModel_198 :: CpuAndMemoryModel -> Model
d_cpuModel_198 CpuAndMemoryModel
v0
  = case CpuAndMemoryModel -> CpuAndMemoryModel
forall a b. a -> b
coe CpuAndMemoryModel
v0 of
      C_mkCpuAndMemoryModel_202 Model
v1 Model
v2 -> Model -> Model
forall a b. a -> b
coe Model
v1
      CpuAndMemoryModel
_ -> Model
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.CpuAndMemoryModel.memoryModel
d_memoryModel_200 :: T_CpuAndMemoryModel_192 -> T_RawModel_144
d_memoryModel_200 :: CpuAndMemoryModel -> Model
d_memoryModel_200 CpuAndMemoryModel
v0
  = case CpuAndMemoryModel -> CpuAndMemoryModel
forall a b. a -> b
coe CpuAndMemoryModel
v0 of
      C_mkCpuAndMemoryModel_202 Model
v1 Model
v2 -> Model -> Model
forall a b. a -> b
coe Model
v2
      CpuAndMemoryModel
_ -> Model
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Cost.Raw.BuiltinCostMap
d_BuiltinCostMap_204 :: ()
d_BuiltinCostMap_204 :: ()
d_BuiltinCostMap_204 = ()
forall a. a
erased
-- Cost.Raw.RawCostModel
d_RawCostModel_206 :: ()
d_RawCostModel_206 :: ()
d_RawCostModel_206 = ()
forall a. a
erased