plutus-core-1.30.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Evaluation.Machine.BuiltinCostModel

Synopsis

Documentation

data BuiltinCostModelBase f Source #

The main model which contains all data required to predict the cost of builtin functions. See md for how this is generated. Calibrated for the CEK machine.

Constructors

BuiltinCostModelBase 

Fields

Instances

Instances details
ConstraintsB BuiltinCostModelBase Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type AllB c BuiltinCostModelBase

Methods

baddDicts ∷ ∀ (c ∷ k → Constraint) (f ∷ k → Type). AllB c BuiltinCostModelBaseBuiltinCostModelBase f → BuiltinCostModelBase (Product (Dict c) f)

FunctorB BuiltinCostModelBase Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

bmap ∷ (∀ (a ∷ k). f a → g a) → BuiltinCostModelBase f → BuiltinCostModelBase g

TraversableB BuiltinCostModelBase Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

btraverseApplicative e ⇒ (∀ (a ∷ k). f a → e (g a)) → BuiltinCostModelBase f → e (BuiltinCostModelBase g)

AllArgumentModels (LiftTypeConstraint) f ⇒ Lift (BuiltinCostModelBase f ∷ Type) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

liftQuote m ⇒ BuiltinCostModelBase f → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ BuiltinCostModelBase f → Code m (BuiltinCostModelBase f) Source #

FromJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

ToJSON (BuiltinCostModelBase MCostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

ToJSON (BuiltinCostModelBase CostingFun) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Generic (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Associated Types

type Rep (BuiltinCostModelBase f) ∷ TypeType Source #

AllArgumentModels Show f ⇒ Show (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

AllArgumentModels Default f ⇒ Default (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

AllArgumentModels NFData f ⇒ NFData (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

Methods

rnfBuiltinCostModelBase f → () Source #

AllArgumentModels Eq f ⇒ Eq (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type AllB (c ∷ TypeConstraint) BuiltinCostModelBase Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type AllB (c ∷ TypeConstraint) BuiltinCostModelBase = GAll 0 c (GAllRepB BuiltinCostModelBase)
type Rep (BuiltinCostModelBase f) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

type Rep (BuiltinCostModelBase f) = D1 ('MetaData "BuiltinCostModelBase" "PlutusCore.Evaluation.Machine.BuiltinCostModel" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "BuiltinCostModelBase" 'PrefixI 'True) ((((((S1 ('MetaSel ('Just "paramAddInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramSubtractInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramMultiplyInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramDivideInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))) :*: ((S1 ('MetaSel ('Just "paramQuotientInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramRemainderInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramModInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramEqualsInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramLessThanInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))))) :*: (((S1 ('MetaSel ('Just "paramLessThanEqualsInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramAppendByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramConsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramSliceByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)))) :*: ((S1 ('MetaSel ('Just "paramLengthOfByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramIndexByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramEqualsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramLessThanByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramLessThanEqualsByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))))))) :*: ((((S1 ('MetaSel ('Just "paramSha2_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramSha3_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramBlake2b_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramVerifyEd25519Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)))) :*: ((S1 ('MetaSel ('Just "paramVerifyEcdsaSecp256k1Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :*: S1 ('MetaSel ('Just "paramVerifySchnorrSecp256k1Signature") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments))) :*: (S1 ('MetaSel ('Just "paramAppendString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramEqualsString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramEncodeUtf8") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))))) :*: (((S1 ('MetaSel ('Just "paramDecodeUtf8") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramIfThenElse") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments))) :*: (S1 ('MetaSel ('Just "paramChooseUnit") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramTrace") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramFstPair") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))) :*: ((S1 ('MetaSel ('Just "paramSndPair") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramChooseList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments))) :*: (S1 ('MetaSel ('Just "paramMkCons") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramHeadList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramTailList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))))))) :*: (((((S1 ('MetaSel ('Just "paramNullList") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramChooseData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelSixArguments))) :*: (S1 ('MetaSel ('Just "paramConstrData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramMapData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))) :*: ((S1 ('MetaSel ('Just "paramListData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramIData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramBData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: (S1 ('MetaSel ('Just "paramUnConstrData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramUnMapData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))))) :*: (((S1 ('MetaSel ('Just "paramUnListData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramUnIData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramUnBData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: (S1 ('MetaSel ('Just "paramEqualsData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramMkPairData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))))) :*: ((S1 ('MetaSel ('Just "paramMkNilData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramMkNilPairData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramSerialiseData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: (S1 ('MetaSel ('Just "paramBls12_381_G1_add") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramBls12_381_G1_neg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))))))) :*: ((((S1 ('MetaSel ('Just "paramBls12_381_G1_scalarMul") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramBls12_381_G1_equal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramBls12_381_G1_compress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramBls12_381_G1_uncompress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)))) :*: ((S1 ('MetaSel ('Just "paramBls12_381_G1_hashToGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramBls12_381_G2_add") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))) :*: (S1 ('MetaSel ('Just "paramBls12_381_G2_neg") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: (S1 ('MetaSel ('Just "paramBls12_381_G2_scalarMul") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramBls12_381_G2_equal") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)))))) :*: (((S1 ('MetaSel ('Just "paramBls12_381_G2_compress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: S1 ('MetaSel ('Just "paramBls12_381_G2_uncompress") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramBls12_381_G2_hashToGroup") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: (S1 ('MetaSel ('Just "paramBls12_381_millerLoop") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramBls12_381_mulMlResult") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))))) :*: ((S1 ('MetaSel ('Just "paramBls12_381_finalVerify") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments)) :*: S1 ('MetaSel ('Just "paramKeccak_256") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument))) :*: (S1 ('MetaSel ('Just "paramBlake2b_224") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelOneArgument)) :*: (S1 ('MetaSel ('Just "paramIntegerToByteString") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelThreeArguments)) :*: S1 ('MetaSel ('Just "paramByteStringToInteger") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (f ModelTwoArguments))))))))))

data CostingFun model Source #

A type of costing functions parametric over a model type. In practice the we have one model type `ModelNArguments` for every N, where N is the arity of the builtin whose costs we want to model. Each model type has a number of constructors defining different "shapes" of N-parameter functions which calculate a cost given the sizes of the builtin's arguments.

Constructors

CostingFun 

Fields

Instances

Instances details
Lift model ⇒ Lift (CostingFun model ∷ Type) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ CostingFun model → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ CostingFun model → Code m (CostingFun model) Source #

FromJSON (BuiltinCostModelBase CostingFun) 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

FromJSON model ⇒ FromJSON (CostingFun model) 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser (CostingFun model)

parseJSONList ∷ Value → Parser [CostingFun model]

omittedFieldMaybe (CostingFun model)

ToJSON (BuiltinCostModelBase CostingFun) 
Instance details

Defined in PlutusCore.Evaluation.Machine.BuiltinCostModel

ToJSON model ⇒ ToJSON (CostingFun model) 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCostingFun model → Value

toEncodingCostingFun model → Encoding

toJSONList ∷ [CostingFun model] → Value

toEncodingList ∷ [CostingFun model] → Encoding

omitFieldCostingFun model → Bool

Generic (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep (CostingFun model) ∷ TypeType Source #

Methods

fromCostingFun model → Rep (CostingFun model) x Source #

toRep (CostingFun model) x → CostingFun model Source #

Show model ⇒ Show (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

showsPrecIntCostingFun model → ShowS Source #

showCostingFun model → String Source #

showList ∷ [CostingFun model] → ShowS Source #

Default model ⇒ Default (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

defCostingFun model #

NFData model ⇒ NFData (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCostingFun model → () Source #

Eq model ⇒ Eq (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==)CostingFun model → CostingFun model → Bool Source #

(/=)CostingFun model → CostingFun model → Bool Source #

type Rep (CostingFun model) Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep (CostingFun model) = D1 ('MetaData "CostingFun" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "CostingFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "costingFunCpu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model) :*: S1 ('MetaSel ('Just "costingFunMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model)))

class UnimplementedCostingFun a where Source #

In the initial stages of implementing a new builtin it is necessary to provide a temporary costing function which is used until the builtin has been properly costed: `see CostModelGeneration.md`. Each `ModelNArguments` type defines an instance of this class where unimplementedCostingFun is a constant costing function which returns a very high cost for all inputs. This prevents new functions from being used in situations where costs are important until a sensible costing function has been implemented.

newtype Intercept Source #

A wrapped CostingInteger that is supposed to be used as an intercept.

Constructors

Intercept 

Instances

Instances details
FromJSON Intercept 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Intercept

parseJSONList ∷ Value → Parser [Intercept]

omittedFieldMaybe Intercept

ToJSON Intercept 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONIntercept → Value

toEncodingIntercept → Encoding

toJSONList ∷ [Intercept] → Value

toEncodingList ∷ [Intercept] → Encoding

omitFieldInterceptBool

Generic Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep InterceptTypeType Source #

Num Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfIntercept → () Source #

Eq Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Intercept → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ InterceptCode m Intercept Source #

type Rep Intercept Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Intercept = D1 ('MetaData "Intercept" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Intercept" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Slope Source #

A wrapped CostingInteger that is supposed to be used as a slope.

Constructors

Slope 

Instances

Instances details
FromJSON Slope 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Slope

parseJSONList ∷ Value → Parser [Slope]

omittedFieldMaybe Slope

ToJSON Slope 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONSlope → Value

toEncodingSlope → Encoding

toJSONList ∷ [Slope] → Value

toEncodingList ∷ [Slope] → Encoding

omitFieldSlopeBool

Generic Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep SlopeTypeType Source #

Methods

fromSlopeRep Slope x Source #

toRep Slope x → Slope Source #

Num Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfSlope → () Source #

Eq Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

(==)SlopeSlopeBool Source #

(/=)SlopeSlopeBool Source #

Lift Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Slope → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ SlopeCode m Slope Source #

type Rep Slope Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Slope = D1 ('MetaData "Slope" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Slope" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient0 Source #

A wrapped CostingInteger that is supposed to be used as the degree 0 coefficient of a polynomial.

Constructors

Coefficient0 

Instances

Instances details
FromJSON Coefficient0 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient0

parseJSONList ∷ Value → Parser [Coefficient0]

omittedFieldMaybe Coefficient0

ToJSON Coefficient0 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient0 → Value

toEncodingCoefficient0 → Encoding

toJSONList ∷ [Coefficient0] → Value

toEncodingList ∷ [Coefficient0] → Encoding

omitFieldCoefficient0Bool

Generic Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient0TypeType Source #

Num Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient0 → () Source #

Eq Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient0 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient0Code m Coefficient0 Source #

type Rep Coefficient0 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient0 = D1 ('MetaData "Coefficient0" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient0" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient1 Source #

A wrapped CostingInteger that is supposed to be used as the degree 1 coefficient of a polynomial.

Constructors

Coefficient1 

Instances

Instances details
FromJSON Coefficient1 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient1

parseJSONList ∷ Value → Parser [Coefficient1]

omittedFieldMaybe Coefficient1

ToJSON Coefficient1 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient1 → Value

toEncodingCoefficient1 → Encoding

toJSONList ∷ [Coefficient1] → Value

toEncodingList ∷ [Coefficient1] → Encoding

omitFieldCoefficient1Bool

Generic Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient1TypeType Source #

Num Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient1 → () Source #

Eq Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient1 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient1Code m Coefficient1 Source #

type Rep Coefficient1 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient1 = D1 ('MetaData "Coefficient1" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient2 Source #

A wrapped CostingInteger that is supposed to be used as the degree 2 coefficient of a polynomial.

Constructors

Coefficient2 

Instances

Instances details
FromJSON Coefficient2 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient2

parseJSONList ∷ Value → Parser [Coefficient2]

omittedFieldMaybe Coefficient2

ToJSON Coefficient2 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient2 → Value

toEncodingCoefficient2 → Encoding

toJSONList ∷ [Coefficient2] → Value

toEncodingList ∷ [Coefficient2] → Encoding

omitFieldCoefficient2Bool

Generic Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient2TypeType Source #

Num Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient2 → () Source #

Eq Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient2 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient2Code m Coefficient2 Source #

type Rep Coefficient2 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient2 = D1 ('MetaData "Coefficient2" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient2" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient00 Source #

A wrapped CostingInteger that is supposed to be used as the degree (0,0) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient00 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient00

parseJSONList ∷ Value → Parser [Coefficient00]

omittedFieldMaybe Coefficient00

ToJSON Coefficient00 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient00 → Value

toEncodingCoefficient00 → Encoding

toJSONList ∷ [Coefficient00] → Value

toEncodingList ∷ [Coefficient00] → Encoding

omitFieldCoefficient00Bool

Generic Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient00TypeType Source #

Num Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient00 → () Source #

Eq Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient00 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient00Code m Coefficient00 Source #

type Rep Coefficient00 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient00 = D1 ('MetaData "Coefficient00" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient00" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient10 Source #

A wrapped CostingInteger that is supposed to be used as the degree (1,0) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient10 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient10

parseJSONList ∷ Value → Parser [Coefficient10]

omittedFieldMaybe Coefficient10

ToJSON Coefficient10 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient10 → Value

toEncodingCoefficient10 → Encoding

toJSONList ∷ [Coefficient10] → Value

toEncodingList ∷ [Coefficient10] → Encoding

omitFieldCoefficient10Bool

Generic Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient10TypeType Source #

Num Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient10 → () Source #

Eq Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient10 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient10Code m Coefficient10 Source #

type Rep Coefficient10 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient10 = D1 ('MetaData "Coefficient10" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient10" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient01 Source #

A wrapped CostingInteger that is supposed to be used as the degree (0,1) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient01 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient01

parseJSONList ∷ Value → Parser [Coefficient01]

omittedFieldMaybe Coefficient01

ToJSON Coefficient01 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient01 → Value

toEncodingCoefficient01 → Encoding

toJSONList ∷ [Coefficient01] → Value

toEncodingList ∷ [Coefficient01] → Encoding

omitFieldCoefficient01Bool

Generic Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient01TypeType Source #

Num Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient01 → () Source #

Eq Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient01 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient01Code m Coefficient01 Source #

type Rep Coefficient01 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient01 = D1 ('MetaData "Coefficient01" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient01" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient20 Source #

A wrapped CostingInteger that is supposed to be used as the degree (2,0) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient20 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient20

parseJSONList ∷ Value → Parser [Coefficient20]

omittedFieldMaybe Coefficient20

ToJSON Coefficient20 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient20 → Value

toEncodingCoefficient20 → Encoding

toJSONList ∷ [Coefficient20] → Value

toEncodingList ∷ [Coefficient20] → Encoding

omitFieldCoefficient20Bool

Generic Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient20TypeType Source #

Num Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient20 → () Source #

Eq Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient20 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient20Code m Coefficient20 Source #

type Rep Coefficient20 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient20 = D1 ('MetaData "Coefficient20" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient20" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient11 Source #

A wrapped CostingInteger that is supposed to be used as the degree (1,1) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient11 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient11

parseJSONList ∷ Value → Parser [Coefficient11]

omittedFieldMaybe Coefficient11

ToJSON Coefficient11 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient11 → Value

toEncodingCoefficient11 → Encoding

toJSONList ∷ [Coefficient11] → Value

toEncodingList ∷ [Coefficient11] → Encoding

omitFieldCoefficient11Bool

Generic Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient11TypeType Source #

Num Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient11 → () Source #

Eq Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient11 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient11Code m Coefficient11 Source #

type Rep Coefficient11 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient11 = D1 ('MetaData "Coefficient11" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient11" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

newtype Coefficient02 Source #

A wrapped CostingInteger that is supposed to be used as the degree (0,2) coefficient of a two-variable polynomial.

Instances

Instances details
FromJSON Coefficient02 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser Coefficient02

parseJSONList ∷ Value → Parser [Coefficient02]

omittedFieldMaybe Coefficient02

ToJSON Coefficient02 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

toJSONCoefficient02 → Value

toEncodingCoefficient02 → Encoding

toJSONList ∷ [Coefficient02] → Value

toEncodingList ∷ [Coefficient02] → Encoding

omitFieldCoefficient02Bool

Generic Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep Coefficient02TypeType Source #

Num Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Show Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfCoefficient02 → () Source #

Eq Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ Coefficient02 → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ Coefficient02Code m Coefficient02 Source #

type Rep Coefficient02 Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep Coefficient02 = D1 ('MetaData "Coefficient02" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'True) (C1 ('MetaCons "Coefficient02" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))

data OneVariableLinearFunction Source #

s * x + I

Instances

Instances details
FromJSON OneVariableLinearFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON OneVariableLinearFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableLinearFunctionTypeType Source #

Show OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep OneVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep OneVariableLinearFunction = D1 ('MetaData "OneVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "OneVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "oneVariableLinearFunctionSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope)))

data OneVariableQuadraticFunction Source #

c0 + c1*x + c2*x^2

Instances

Instances details
FromJSON OneVariableQuadraticFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON OneVariableQuadraticFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep OneVariableQuadraticFunctionTypeType Source #

Show OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep OneVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep OneVariableQuadraticFunction = D1 ('MetaData "OneVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "OneVariableQuadraticFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient0) :*: (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient1) :*: S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient2))))

data TwoVariableLinearFunction Source #

s1 * x + s2 * y + I

Instances

Instances details
FromJSON TwoVariableLinearFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON TwoVariableLinearFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableLinearFunctionTypeType Source #

Show TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep TwoVariableLinearFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep TwoVariableLinearFunction = D1 ('MetaData "TwoVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "TwoVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "twoVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "twoVariableLinearFunctionSlopeX") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope) :*: S1 ('MetaSel ('Just "twoVariableLinearFunctionSlopeY") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope))))

data TwoVariableQuadraticFunction Source #

c00 + c10*x + c01*y + c20*x^2 + c11*c*y + c02*y^2

Instances

Instances details
FromJSON TwoVariableQuadraticFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON TwoVariableQuadraticFunction 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep TwoVariableQuadraticFunctionTypeType Source #

Show TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep TwoVariableQuadraticFunction Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep TwoVariableQuadraticFunction = D1 ('MetaData "TwoVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "TwoVariableQuadraticFunction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient00) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient10))) :*: ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient01) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient20)) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient11) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Coefficient02)))))

data ModelSubtractedSizes Source #

s * (x - y) + I

Instances

Instances details
FromJSON ModelSubtractedSizes 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelSubtractedSizes 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSubtractedSizesTypeType Source #

Show ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelSubtractedSizes → () Source #

Eq ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelSubtractedSizes Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelSubtractedSizes = D1 ('MetaData "ModelSubtractedSizes" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelSubtractedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelSubtractedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "modelSubtractedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope) :*: S1 ('MetaSel ('Just "modelSubtractedSizesMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger))))

data ModelConstantOrOneArgument Source #

if p then f(x) else c; p depends on usage

Instances

Instances details
FromJSON ModelConstantOrOneArgument 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelConstantOrOneArgument 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrOneArgumentTypeType Source #

Show ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrOneArgument = D1 ('MetaData "ModelConstantOrOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelConstantOrOneArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrOneArgumentConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrOneArgumentModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelOneArgument)))

data ModelConstantOrTwoArguments Source #

if p then f(x,y) else c; p depends on usage

Instances

Instances details
FromJSON ModelConstantOrTwoArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelConstantOrTwoArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrTwoArgumentsTypeType Source #

Show ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Eq ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrTwoArguments = D1 ('MetaData "ModelConstantOrTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelConstantOrTwoArguments" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelTwoArguments)))

data ModelConstantOrLinear Source #

NB: this is subsumed by ModelConstantOrOneArgument, but we have to keep it for the time being. See Note [Backward compatibility for costing functions]. | if p then s*x else c; p depends on usage

Instances

Instances details
FromJSON ModelConstantOrLinear 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelConstantOrLinear 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelConstantOrLinearTypeType Source #

Show ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelConstantOrLinear → () Source #

Eq ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrLinear Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelConstantOrLinear = D1 ('MetaData "ModelConstantOrLinear" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelConstantOrLinear" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrLinearConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "modelConstantOrLinearIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "modelConstantOrLinearSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Slope))))

data ModelOneArgument Source #

Instances

Instances details
FromJSON ModelOneArgument 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Methods

parseJSON ∷ Value → Parser ModelOneArgument

parseJSONList ∷ Value → Parser [ModelOneArgument]

omittedFieldMaybe ModelOneArgument

ToJSON ModelOneArgument 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelOneArgumentTypeType Source #

Show ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelOneArgument → () Source #

Eq ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ ModelOneArgument → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ModelOneArgumentCode m ModelOneArgument Source #

type Rep ModelOneArgument Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelOneArgument = D1 ('MetaData "ModelOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelOneArgumentConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelOneArgumentLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))

data ModelTwoArguments Source #

Instances

Instances details
FromJSON ModelTwoArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelTwoArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelTwoArgumentsTypeType Source #

Show ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelTwoArguments → () Source #

Eq ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ ModelTwoArguments → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ModelTwoArgumentsCode m ModelTwoArguments Source #

type Rep ModelTwoArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelTwoArguments = D1 ('MetaData "ModelTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (((C1 ('MetaCons "ModelTwoArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsLinearInXAndY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsSubtractedSizes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelSubtractedSizes)) :+: C1 ('MetaCons "ModelTwoArgumentsMultipliedSizes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))))) :+: (((C1 ('MetaCons "ModelTwoArgumentsMinSize" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsMaxSize" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearOnDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrLinear)) :+: C1 ('MetaCons "ModelTwoArgumentsConstOffDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrOneArgument)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsConstAboveDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)) :+: C1 ('MetaCons "ModelTwoArgumentsConstBelowDiagonal" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments))) :+: (C1 ('MetaCons "ModelTwoArgumentsQuadraticInY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsQuadraticInXAndY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableQuadraticFunction))))))

data ModelThreeArguments Source #

Instances

Instances details
FromJSON ModelThreeArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelThreeArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelThreeArgumentsTypeType Source #

Show ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelThreeArguments → () Source #

Eq ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelThreeArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelThreeArguments = D1 ('MetaData "ModelThreeArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) ((C1 ('MetaCons "ModelThreeArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)) :+: (C1 ('MetaCons "ModelThreeArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))) :+: ((C1 ('MetaCons "ModelThreeArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInZ" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelThreeArgumentsQuadraticInZ" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsLiteralInYOrLinearInZ" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))))

data ModelFourArguments Source #

Instances

Instances details
FromJSON ModelFourArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelFourArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFourArgumentsTypeType Source #

Show ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelFourArguments → () Source #

Eq ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelFourArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelFourArguments = D1 ('MetaData "ModelFourArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelFourArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelFiveArguments Source #

Instances

Instances details
FromJSON ModelFiveArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelFiveArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelFiveArgumentsTypeType Source #

Show ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelFiveArguments → () Source #

Eq ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelFiveArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelFiveArguments = D1 ('MetaData "ModelFiveArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelFiveArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

data ModelSixArguments Source #

Instances

Instances details
FromJSON ModelSixArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

ToJSON ModelSixArguments 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.JSON

Generic ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Associated Types

type Rep ModelSixArgumentsTypeType Source #

Show ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Default ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

NFData ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

rnfModelSixArguments → () Source #

Eq ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

UnimplementedCostingFun ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Lift ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

Methods

liftQuote m ⇒ ModelSixArguments → m Exp Source #

liftTyped ∷ ∀ (m ∷ TypeType). Quote m ⇒ ModelSixArgumentsCode m ModelSixArguments Source #

type Rep ModelSixArguments Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostingFun.Core

type Rep ModelSixArguments = D1 ('MetaData "ModelSixArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.30.0.0-inplace" 'False) (C1 ('MetaCons "ModelSixArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 CostingInteger)))

class Eq a ⇒ Hashable a #

Instances

Instances details
Hashable Key 
Instance details

Defined in Data.Aeson.Key

Methods

hashWithSaltInt → Key → Int

hash ∷ Key → Int

Hashable Value 
Instance details

Defined in Data.Aeson.Types.Internal

Methods

hashWithSaltInt → Value → Int

hash ∷ Value → Int

Hashable ByteArray 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntByteArrayInt

hashByteArrayInt

Hashable SomeTypeRep 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntSomeTypeRepInt

hashSomeTypeRepInt

Hashable Unique 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntUniqueInt

hashUniqueInt

Hashable Version 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntVersionInt

hashVersionInt

Hashable IntPtr 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIntPtrInt

hashIntPtrInt

Hashable WordPtr 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWordPtrInt

hashWordPtrInt

Hashable Void 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntVoidInt

hashVoidInt

Hashable ThreadId 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntThreadIdInt

hashThreadIdInt

Hashable Fingerprint 
Instance details

Defined in Data.Hashab