Moduleplutus-core-1.70.0.0

PlutusCore.Evaluation.Machine.CostingFun.Core

29 types
2 classes
6 values

Packageplutus-core-1.70.0.0
Exports37
LicenceApache-2.0
SourceClass.hs

valuerunCostingFunFiveArguments

:: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5)
=> CostingFun ModelFiveArguments
-> a1
-> a2
-> a3
-> a4
-> a5
-> ExBudgetStream

valuerunCostingFunFourArguments

:: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4)
=> CostingFun ModelFourArguments
-> a1
-> a2
-> a3
-> a4
-> ExBudgetStream

valuerunCostingFunOneArgument

valuerunCostingFunSixArguments

:: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3, ExMemoryUsage a4, ExMemoryUsage a5, ExMemoryUsage a6)
=> CostingFun ModelSixArguments
-> a1
-> a2
-> a3
-> a4
-> a5
-> a6
-> ExBudgetStream

valuerunCostingFunThreeArguments

:: (ExMemoryUsage a1, ExMemoryUsage a2, ExMemoryUsage a3)
=> CostingFun ModelThreeArguments
-> a1
-> a2
-> a3
-> ExBudgetStream

valuerunCostingFunTwoArguments

:: (ExMemoryUsage a1, ExMemoryUsage a2)
=> CostingFun ModelTwoArguments
-> a1
-> a2
-> ExBudgetStream

classclass Eq a => Hashable a where

The class of types that can be converted to a hash value.

Minimal implementation: hashWithSalt.

Hashable is intended exclusively for use in in-memory data structures. . Hashable does not have a fixed standard. This allows it to improve over time. . Because it does not have a fixed standard, different computers or computers on different versions of the code will observe different hash values. As such, Hashable is not recommended for use other than in-memory datastructures. Specifically, Hashable is not intended for network use or in applications which persist hashed values. For stable hashing use named hashes: sha256, crc32, xxhash etc.

If you are looking for Hashable instance in time package, check time-compat

Instances160Lifting2, Lifting, Hashable, …

Hashable KeyDefined in aeson-2.2.5.1 · Data.Aeson.Key
Hashable ValueDefined in aeson-2.2.5.1 · Data.Aeson.Types.Internal
Hashable ByteArrayDefined in hashable-1.5.1.0 · Data.Hashable.Class
This instance was available since 1.4.1.0 only for GHC-9.4+
Hashable BinDefined in bin-0.1.4.1 · Data.Bin
Hashable BinPDefined in bin-0.1.4.1 · Data.BinP
Hashable ByteStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable ByteStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable ShortByteStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable IntSetDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable NatDefined in fin-0.3.2 · Data.Nat
Hashable VoidDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable BigNatDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable IntegerDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable NaturalDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable ThreadIdDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable SomeTypeRepDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable UniqueDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable VersionDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable FingerprintDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable IntPtrDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable WordPtrDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Int16Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Int32Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Int64Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Int8Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable BoolDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable CharDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable DoubleDefined in hashable-1.5.1.0 · Data.Hashable.Class
Note: prior to hashable-1.3.0.0, hash 0.0 /= hash (-0.0)
The hash of NaN is not well defined.
Hashable FloatDefined in hashable-1.5.1.0 · Data.Hashable.Class
Note: prior to hashable-1.3.0.0, hash 0.0 /= hash (-0.0)
The hash of NaN is not well defined.
Hashable IntDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable OrderingDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable WordDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Word16Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Word32Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Word64Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable Word8Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable OsStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable PosixStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable WindowsStringDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable AnnDefined in plutus-core-1.70.0.0 · PlutusCore.Annotation
Hashable CaseDefined in plutus-core-1.70.0.0 · PlutusCore.Annotation
Hashable InlineDefined in plutus-core-1.70.0.0 · PlutusCore.Annotation
Hashable SrcSpanDefined in plutus-core-1.70.0.0 · PlutusCore.Annotation
Hashable SrcSpansDefined in plutus-core-1.70.0.0 · PlutusCore.Annotation
Hashable ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Crypto.BLS12_381.G1
Hashable ElementDefined in plutus-core-1.70.0.0 · PlutusCore.Crypto.BLS12_381.G2
Hashable MlResultDefined in plutus-core-1.70.0.0 · PlutusCore.Crypto.BLS12_381.Pairing
Hashable DataDefined in plutus-core-1.70.0.0 · PlutusCore.Data
Hashable DeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable FakeNamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable IndexDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable NamedDeBruijnDefined in plutus-core-1.70.0.0 · PlutusCore.DeBruijn.Internal
Hashable DefaultFunDefined in plutus-core-1.70.0.0 · PlutusCore.Default.Builtins
Hashable ExtensionFunDefined in plutus-core-1.70.0.0 · PlutusCore.Examples.Builtins
Hashable NameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Hashable TermUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Hashable TyNameDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Hashable TypeUniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Hashable UniqueDefined in plutus-core-1.70.0.0 · PlutusCore.Name.Unique
Hashable KDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable QuantityDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable ValueDefined in plutus-core-1.70.0.0 · PlutusCore.Value
Hashable VersionDefined in plutus-core-1.70.0.0 · PlutusCore.Version
Hashable StepKindDefined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
Hashable ScientificDefined in scientific-0.3.9.0 · Data.Scientific
A hash can be safely calculated from a Scientific. No magnitude 10^e is calculated so there's no risk of a blowup in space or time when hashing scientific numbers coming from untrusted sources.
Example4 expressions
```
>>> import Data.Hashable (hash)>>> let x = scientific 1 2>>> let y = scientific 100 0>>> (x == y, hash x == hash y)(True,True)
```
Hashable TextDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable TextDefined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable ShortTextDefined in text-short-0.1.6.1 · Data.Text.Short.Internal
Hashable DayDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable MonthDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable QuarterDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable QuarterOfYearDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable DayOfWeekDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable DiffTimeDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable NominalDiffTimeDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable UTCTimeDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable UniversalTimeDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable TimeLocaleDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable LocalTimeDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable TimeOfDayDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable TimeZoneDefined in time-compat-1.9.9 · Data.Time.Orphans · orphan
Hashable UUIDDefined in uuid-types-1.0.6.1 · Data.UUID.Types.Internal
Hashable ()Defined in hashable-1.5.1.0 · Data.Hashable.Class
Lifting Hashable MaybeDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting Hashable []Defined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Hashable EitherDefined in constraints-0.14.4 · Data.Constraint.Lifting
Lifting2 Hashable Tuple2Defined in constraints-0.14.4 · Data.Constraint.Lifting
Hashable a => Lifting Hashable (Either a)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Hashable a => Lifting Hashable (Tuple2 a)Defined in constraints-0.14.4 · Data.Constraint.Lifting
Eq a => Hashable (Hashed a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (Async a)Defined in async-2.2.6 · Control.Concurrent.Async.Internal
Hashable (Wrd n)Defined in bin-0.1.4.1 · Data.Wrd
Hashable (Fin n)Defined in fin-0.3.2 · Data.Fin
Hashable (FunPtr a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (Ptr a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (StableName a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Complex a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (First a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Last a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Max a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Min a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (WrappedMonoid a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (NonEmpty a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Identity a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Maybe a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (Ratio a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (RAList a)Defined in ral-0.2.2 · Data.RAList.Internal
Hashable a => Hashable (NERAList a)Defined in ral-0.2.2 · Data.RAList.NonEmpty.Internal
Hashable a => Hashable (Leaf a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
Hashable a => Hashable (Maybe a)Defined in strict-0.5.1 · Data.Strict.Maybe
Hashable a => Hashable (HashSet a)Defined in unordered-containers-0.2.21 · Data.HashSet.Internal
Hashable a => Hashable (Vector a)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
Hashable a => Hashable (Vector a)Defined in plutus-core-1.70.0.0 · Data.Vector.Orphans · orphan
Hashable a => Hashable (a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable [a]Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable ann => Hashable (Kind ann)Defined in plutus-core-1.70.0.0 · PlutusCore.Core.Type
Hashable fun => Hashable (ExBudgetCategory fun)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Evaluation.Machine.Cek.Internal
Hashable s => Hashable (CI s)Defined in case-insensitive-1.2.1.0 · Data.CaseInsensitive.Internal
Hashable v => Hashable (KeyMap v)Defined in aeson-2.2.5.1 · Data.Aeson.KeyMap
Hashable v => Hashable (IntMap v)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable v => Hashable (Seq v)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable v => Hashable (Set v)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable v => Hashable (Tree v)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable1 f => Hashable (Fix f)Defined in data-fix-0.3.4 · Data.Fix
(Closed uni, GEq uni) => Hashable (SomeTypeIn uni)Defined in plutus-core-1.70.0.0 · Universe.Core
Hashable (Fixed a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (Proxy a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (TypeRep a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (f a) => Hashable (Node f a)Defined in ral-0.2.2 · Data.RAList.Tree.Internal
Hashable (t a) => Hashable (NERAList' t a)Defined in ral-0.2.2 · Data.RAList.NonEmpty.Internal
Hashable a => Hashable (Arg a b)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Note: Prior to hashable-1.3.0.0 the hash computation included the second argument of Arg which wasn't consistent with its Eq instance.
Since hashable-1.5.0.0, hash (Semi.arg a _) = hash a
Hashable a => Hashable (RAVec b a)Defined in ral-0.2.2 · Data.RAVec
Hashable a => Hashable (NERAVec b a)Defined in ral-0.2.2 · Data.RAVec.NonEmpty
Hashable a => Hashable (Tree n a)Defined in ral-0.2.2 · Data.RAVec.Tree
(Hashable a, SNatI n) => Hashable (Tree n a)Defined in ral-0.2.2 · Data.RAVec.Tree.DF
(Hashable a, Hashable b) => Hashable (Either a b)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a, Hashable b) => Hashable (Either a b)Defined in strict-0.5.1 · Data.Strict.Either
(Hashable a, Hashable b) => Hashable (These a b)Defined in strict-0.5.1 · Data.Strict.These
(Hashable a, Hashable b) => Hashable (Pair a b)Defined in strict-0.5.1 · Data.Strict.Tuple
(Hashable a, Hashable b) => Hashable (These a b)Defined in these-1.2.1 · Data.These
(Hashable a1, Hashable a2) => Hashable (a1, a2)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable k, Hashable a) => Hashable (MonoidalHashMap k a)Defined in monoidal-containers-0.6.8.0 · Data.HashMap.Monoidal
(Hashable k, Hashable v) => Hashable (Map k v)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable k, Hashable v) => Hashable (HashMap k v)Defined in unordered-containers-0.2.21 · Data.HashMap.Internal
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (ValueOf uni a)Defined in plutus-core-1.70.0.0 · Universe.Core
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) => Hashable (Some (ValueOf uni))Defined in plutus-core-1.70.0.0 · Universe.Core
Hashable a => Hashable (Const a b)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable a => Hashable (NERAVec' n b a)Defined in ral-0.2.2 · Data.RAVec.NonEmpty
(Hashable a1, Hashable a2, Hashable a3) => Hashable (a1, a2, a3)Defined in hashable-1.5.1.0 · Data.Hashable.Class
HashableTermConstraints uni fun ann => Hashable (Term DeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term FakeNamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term NamedDeBruijn uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
HashableTermConstraints uni fun ann => Hashable (Term Name uni fun ann)Defined in plutus-core-1.70.0.0 · UntypedPlutusCore.Core.Instance.Eq · orphan
(Hashable (f a), Hashable (g a)) => Hashable (Product f g a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable (f a), Hashable (g a)) => Hashable (Sum f g a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2, Hashable a3, Hashable a4) => Hashable (a1, a2, a3, a4)Defined in hashable-1.5.1.0 · Data.Hashable.Class
Hashable (f (g a)) => Hashable (Compose f g a)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) => Hashable (a1, a2, a3, a4, a5)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) => Hashable (a1, a2, a3, a4, a5, a6)Defined in hashable-1.5.1.0 · Data.Hashable.Class
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6, Hashable a7) => Hashable (a1, a2, a3, a4, a5, a6, a7)Defined in hashable-1.5.1.0 · Data.Hashable.Class

newtypenewtype Coefficient0

Constructors

Coefficient0
- unCoefficient0 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient0Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient0 = D1 ('MetaData "Coefficient0" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient0" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient00

Constructors

Coefficient00
- unCoefficient00 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient00Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient00 = D1 ('MetaData "Coefficient00" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient00" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient01

Constructors

Coefficient01
- unCoefficient01 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient01Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient01 = D1 ('MetaData "Coefficient01" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient01" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient02

Constructors

Coefficient02
- unCoefficient02 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient02Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient02 = D1 ('MetaData "Coefficient02" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient02" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient1

Constructors

Coefficient1
- unCoefficient1 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient1Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient1 = D1 ('MetaData "Coefficient1" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient1" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient10

Constructors

Coefficient10
- unCoefficient10 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient10Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient10 = D1 ('MetaData "Coefficient10" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient10" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient11

Constructors

Coefficient11
- unCoefficient11 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient11Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient11 = D1 ('MetaData "Coefficient11" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient11" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient12

Constructors

Coefficient12
- unCoefficient12 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient12Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient12 = D1 ('MetaData "Coefficient12" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient12" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient2

Constructors

Coefficient2
- unCoefficient2 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient2Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient2 = D1 ('MetaData "Coefficient2" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient2" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Coefficient20

Constructors

Coefficient20
- unCoefficient20 :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift Coefficient20Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Coefficient20 = D1 ('MetaData "Coefficient20" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Coefficient20" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoefficient20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata CostingFun model

Constructors

CostingFun
- costingFunCpu :: model
- costingFunMemory :: model

Instances11Lift, Eq, Show, Generic, NFData, FromJSON, …

Lift model => Lift (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Eq model => Eq (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show model => Show (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData model => NFData (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON (BuiltinCostModelBase CostingFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.BuiltinCostModel
FromJSON model => FromJSON (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON (BuiltinCostModelBase CostingFun)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.BuiltinCostModel
ToJSON model => ToJSON (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default model => Default (CostingFun model)Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep (CostingFun model) = D1 ('MetaData "CostingFun" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "CostingFun" 'PrefixI 'True) (S1 ('MetaSel ('Just "costingFunCpu") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model) :*: S1 ('MetaSel ('Just "costingFunMemory") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 model)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ExpModCostingFunction

Constructors

ExpModCostingFunction
- coefficient00 :: Coefficient00
- coefficient11 :: Coefficient11
- coefficient12 :: Coefficient12

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift ExpModCostingFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ExpModCostingFunction = D1 ('MetaData "ExpModCostingFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ExpModCostingFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "coefficient00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient00) :*: (S1 ('MetaSel ('Just "coefficient11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient11) :*: S1 ('MetaSel ('Just "coefficient12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient12))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Intercept

Constructors

Intercept
- unIntercept :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift InterceptDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Intercept = D1 ('MetaData "Intercept" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Intercept" 'PrefixI 'True) (S1 ('MetaSel ('Just "unIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelConstantOrLinear

Constructors

ModelConstantOrLinear
- modelConstantOrLinearConstant :: CostingInteger
- modelConstantOrLinearIntercept :: Intercept
- modelConstantOrLinearSlope :: Slope

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift ModelConstantOrLinearDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelConstantOrLinear = D1 ('MetaData "ModelConstantOrLinear" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelConstantOrLinear" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrLinearConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "modelConstantOrLinearIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "modelConstantOrLinearSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slope))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelConstantOrOneArgument

Constructors

ModelConstantOrOneArgument
- modelConstantOrOneArgumentConstant :: CostingInteger
- modelConstantOrOneArgumentModel :: ModelOneArgument

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift ModelConstantOrOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelConstantOrOneArgument = D1 ('MetaData "ModelConstantOrOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelConstantOrOneArgument" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrOneArgumentConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrOneArgumentModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelOneArgument)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelConstantOrTwoArguments

Constructors

ModelConstantOrTwoArguments
- modelConstantOrTwoArgumentsConstant :: CostingInteger
- modelConstantOrTwoArgumentsModel :: ModelTwoArguments

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift ModelConstantOrTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelConstantOrTwoArguments = D1 ('MetaData "ModelConstantOrTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelConstantOrTwoArguments" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsConstant") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger) :*: S1 ('MetaSel ('Just "modelConstantOrTwoArgumentsModel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelTwoArguments)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelFiveArguments

Constructors

ModelFiveArgumentsConstantCost CostingInteger

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelFiveArguments = D1 ('MetaData "ModelFiveArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelFiveArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelFourArguments

Constructors

ModelFourArgumentsConstantCost CostingInteger
ModelFourArgumentsLinearInU OneVariableLinearFunction

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelFourArguments = D1 ('MetaData "ModelFourArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelFourArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelFourArgumentsLinearInU" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelOneArgument

Constructors

ModelOneArgumentConstantCost CostingInteger
ModelOneArgumentLinearInX OneVariableLinearFunction
ModelOneArgumentQuadraticInX OneVariableQuadraticFunction

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelOneArgument = D1 ('MetaData "ModelOneArgument" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelOneArgumentConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)) :+: (C1 ('MetaCons "ModelOneArgumentLinearInX" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelOneArgumentQuadraticInX" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelSixArguments

Constructors

ModelSixArgumentsConstantCost CostingInteger

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelSixArguments = D1 ('MetaData "ModelSixArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelSixArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelSubtractedSizes

Constructors

ModelSubtractedSizes
- modelSubtractedSizesIntercept :: Intercept
- modelSubtractedSizesSlope :: Slope
- modelSubtractedSizesMinimum :: CostingInteger

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift ModelSubtractedSizesDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelSubtractedSizes = D1 ('MetaData "ModelSubtractedSizes" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "ModelSubtractedSizes" 'PrefixI 'True) (S1 ('MetaSel ('Just "modelSubtractedSizesIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "modelSubtractedSizesSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slope) :*: S1 ('MetaSel ('Just "modelSubtractedSizesMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelThreeArguments

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelThreeArguments = D1 ('MetaData "ModelThreeArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (((C1 ('MetaCons "ModelThreeArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsQuadraticInZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction))))) :+: ((C1 ('MetaCons "ModelThreeArgumentsLiteralInYOrLinearInZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsLinearInMaxYZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelThreeArgumentsLinearInYAndZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableLinearFunction)) :+: (C1 ('MetaCons "ModelThreeArgumentsQuadraticInYAndZ" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableQuadraticFunction)) :+: C1 ('MetaCons "ModelThreeArgumentsExpModCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExpModCostingFunction))))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata ModelTwoArguments

Constructors

ModelTwoArgumentsConstantCost CostingInteger
ModelTwoArgumentsLinearInX OneVariableLinearFunction
ModelTwoArgumentsLinearInY OneVariableLinearFunction
ModelTwoArgumentsLinearInY2 ModelSubtractedSizes
ModelTwoArgumentsLinearInXAndY TwoVariableLinearFunction
ModelTwoArgumentsAddedSizes OneVariableLinearFunction
ModelTwoArgumentsSubtractedSizes ModelSubtractedSizes
ModelTwoArgumentsMultipliedSizes OneVariableLinearFunction
ModelTwoArgumentsMinSize OneVariableLinearFunction
ModelTwoArgumentsMaxSize OneVariableLinearFunction
ModelTwoArgumentsLinearOnDiagonal ModelConstantOrLinear
ModelTwoArgumentsConstOffDiagonal ModelConstantOrOneArgument
ModelTwoArgumentsConstAboveDiagonal ModelConstantOrTwoArguments
ModelTwoArgumentsConstBelowDiagonal ModelConstantOrTwoArguments
ModelTwoArgumentsQuadraticInY OneVariableQuadraticFunction
ModelTwoArgumentsQuadraticInXAndY TwoVariableQuadraticFunction
ModelTwoArgumentsWithInteractionInXAndY TwoVariableWithInteractionFunction
ModelTwoArgumentsAboveAndBelowDiagonal ModelConstantOrTwoArguments

Instances10Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Default ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Lift ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep ModelTwoArguments = D1 ('MetaData "ModelTwoArguments" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) ((((C1 ('MetaCons "ModelTwoArgumentsConstantCost" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInX" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsLinearInY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearInY2" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelSubtractedSizes)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsLinearInXAndY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsAddedSizes" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsSubtractedSizes" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelSubtractedSizes)) :+: (C1 ('MetaCons "ModelTwoArgumentsMultipliedSizes" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsMinSize" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)))))) :+: (((C1 ('MetaCons "ModelTwoArgumentsMaxSize" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableLinearFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsLinearOnDiagonal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrLinear))) :+: (C1 ('MetaCons "ModelTwoArgumentsConstOffDiagonal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrOneArgument)) :+: C1 ('MetaCons "ModelTwoArgumentsConstAboveDiagonal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)))) :+: ((C1 ('MetaCons "ModelTwoArgumentsConstBelowDiagonal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)) :+: C1 ('MetaCons "ModelTwoArgumentsQuadraticInY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 OneVariableQuadraticFunction))) :+: (C1 ('MetaCons "ModelTwoArgumentsQuadraticInXAndY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableQuadraticFunction)) :+: (C1 ('MetaCons "ModelTwoArgumentsWithInteractionInXAndY" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TwoVariableWithInteractionFunction)) :+: C1 ('MetaCons "ModelTwoArgumentsAboveAndBelowDiagonal" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ModelConstantOrTwoArguments)))))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata OneVariableLinearFunction

Constructors

OneVariableLinearFunction
- oneVariableLinearFunctionIntercept :: Intercept
- oneVariableLinearFunctionSlope :: Slope

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift OneVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep OneVariableLinearFunction = D1 ('MetaData "OneVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "OneVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Intercept) :*: S1 ('MetaSel ('Just "oneVariableLinearFunctionSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slope)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata OneVariableQuadraticFunction

Constructors

OneVariableQuadraticFunction

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift OneVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep OneVariableQuadraticFunction = D1 ('MetaData "OneVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "OneVariableQuadraticFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient0) :*: (S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient1) :*: S1 ('MetaSel ('Just "oneVariableQuadraticFunctionC2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient2))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

newtypenewtype Slope

Constructors

Slope
- unSlope :: CostingInteger

Instances9Eq, Num, Show, Generic, NFData, FromJSON, …

Eq SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Num SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift SlopeDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep Slope = D1 ('MetaData "Slope" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'True) (C1 ('MetaCons "Slope" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSlope") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CostingInteger)))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata TwoVariableLinearFunction

Constructors

TwoVariableLinearFunction

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift TwoVariableLinearFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep TwoVariableLinearFunction = D1 ('MetaData "TwoVariableLinearFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "TwoVariableLinearFunction" 'PrefixI 'True) (S1 ('MetaSel ('Just "twoVariableLinearFunctionIntercept") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Intercept) :*: (S1 ('MetaSel ('Just "twoVariableLinearFunctionSlope1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slope) :*: S1 ('MetaSel ('Just "twoVariableLinearFunctionSlope2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Slope))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata TwoVariableQuadraticFunction

Constructors

TwoVariableQuadraticFunction

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift TwoVariableQuadraticFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep TwoVariableQuadraticFunction = D1 ('MetaData "TwoVariableQuadraticFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "TwoVariableQuadraticFunction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionMinimum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 CostingInteger) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient00) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient10))) :*: ((S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient01) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC20") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient20)) :*: (S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient11) :*: S1 ('MetaSel ('Just "twoVariableQuadraticFunctionC02") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient02)))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

datadata TwoVariableWithInteractionFunction

Constructors

TwoVariableWithInteractionFunction

Instances8Eq, Show, Generic, NFData, FromJSON, ToJSON, …

Eq TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Show TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
Generic TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
NFData TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
FromJSON TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
ToJSON TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.JSON · orphan
Lift TwoVariableWithInteractionFunctionDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
type Rep TwoVariableWithInteractionFunction = D1 ('MetaData "TwoVariableWithInteractionFunction" "PlutusCore.Evaluation.Machine.CostingFun.Core" "plutus-core-1.70.0.0-AjXwyzfmVfT8tKfEB70hFt" 'False) (C1 ('MetaCons "TwoVariableWithInteractionFunction" 'PrefixI 'True) ((S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC00") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient00) :*: S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC10") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient10)) :*: (S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC01") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient01) :*: S1 ('MetaSel ('Just "twoVariableWithInteractionFunctionC11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedUnpack) (Rec0 Coefficient11))))Defined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core

classclass UnimplementedCostingFun a where

Methods

unimplementedCostingFun :: b -> CostingFun a

Instances6UnimplementedCostingFun

UnimplementedCostingFun ModelFiveArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelFourArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelOneArgumentDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelSixArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelThreeArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core
UnimplementedCostingFun ModelTwoArgumentsDefined in plutus-core-1.70.0.0 · PlutusCore.Evaluation.Machine.CostingFun.Core