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

PlutusCore.Evaluation.Machine.CostingFun.Core

Synopsis

Documentation

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 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 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 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.Hashable.Class

Methods

hashWithSaltIntFingerprintInt

hashFingerprintInt

Hashable Int16 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntInt16Int

hashInt16Int

Hashable Int32 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntInt32Int

hashInt32Int

Hashable Int64 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntInt64Int

hashInt64Int

Hashable Int8 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntInt8Int

hashInt8Int

Hashable Word16 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWord16Int

hashWord16Int

Hashable Word32 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWord32Int

hashWord32Int

Hashable Word64 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWord64Int

hashWord64Int

Hashable Word8 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWord8Int

hashWord8Int

Hashable ByteString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → ByteString → Int

hash ∷ ByteString → Int

Hashable ByteString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → ByteString → Int

hash ∷ ByteString → Int

Hashable ShortByteString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → ShortByteString → Int

hash ∷ ShortByteString → Int

Hashable IntSet 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → IntSet → Int

hash ∷ IntSet → Int

Hashable OsString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → OsString → Int

hash ∷ OsString → Int

Hashable PosixString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → PosixString → Int

hash ∷ PosixString → Int

Hashable WindowsString 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → WindowsString → Int

hash ∷ WindowsString → Int

Hashable BigNat 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntBigNatInt

hashBigNatInt

Hashable Ordering 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntOrderingInt

hashOrderingInt

Hashable Ann Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

hashWithSaltIntAnnInt

hashAnnInt

Hashable Inline Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

hashWithSaltIntInlineInt

hashInlineInt

Hashable SrcSpan Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

hashWithSaltIntSrcSpanInt

hashSrcSpanInt

Hashable SrcSpans Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

hashWithSaltIntSrcSpansInt

hashSrcSpansInt

Hashable Element Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G1

Methods

hashWithSaltIntElementInt

hashElementInt

Hashable Element Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G2

Methods

hashWithSaltIntElementInt

hashElementInt

Hashable MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

hashWithSaltIntMlResultInt

hashMlResultInt

Hashable Data Source # 
Instance details

Defined in PlutusCore.Data

Methods

hashWithSaltIntDataInt

hashDataInt

Hashable DeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

hashWithSaltIntDeBruijnInt

hashDeBruijnInt

Hashable FakeNamedDeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Hashable Index Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

hashWithSaltIntIndexInt

hashIndexInt

Hashable NamedDeBruijn Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Hashable DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

hashWithSaltIntDefaultFunInt

hashDefaultFunInt

Hashable ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Hashable Name Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSaltIntNameInt

hashNameInt

Hashable TermUnique Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSaltIntTermUniqueInt

hashTermUniqueInt

Hashable TyName Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSaltIntTyNameInt

hashTyNameInt

Hashable TypeUnique Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSaltIntTypeUniqueInt

hashTypeUniqueInt

Hashable Unique Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

hashWithSaltIntUniqueInt

hashUniqueInt

Hashable Version Source # 
Instance details

Defined in PlutusCore.Version

Methods

hashWithSaltIntVersionInt

hashVersionInt

Hashable StepKind Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

hashWithSaltIntStepKindInt

hashStepKindInt

Hashable Scientific 
Instance details

Defined in Data.Scientific

Methods

hashWithSaltInt → Scientific → Int

hash ∷ Scientific → Int

Hashable Text 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Text → Int

hash ∷ Text → Int

Hashable Text 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Text → Int

hash ∷ Text → Int

Hashable ShortText 
Instance details

Defined in Data.Text.Short.Internal

Methods

hashWithSaltInt → ShortText → Int

hash ∷ ShortText → Int

Hashable UUID 
Instance details

Defined in Data.UUID.Types.Internal

Methods

hashWithSaltInt → UUID → Int

hash ∷ UUID → Int

Hashable Integer 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIntegerInt

hashIntegerInt

Hashable Natural 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntNaturalInt

hashNaturalInt

Hashable () 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → () → Int

hash ∷ () → Int

Hashable Bool 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntBoolInt

hashBoolInt

Hashable Char 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntCharInt

hashCharInt

Hashable Double 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntDoubleInt

hashDoubleInt

Hashable Float 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntFloatInt

hashFloatInt

Hashable Int 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIntInt

hashIntInt

Hashable Word 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWordInt

hashWordInt

Hashable v ⇒ Hashable (KeyMap v) 
Instance details

Defined in Data.Aeson.KeyMap

Methods

hashWithSaltInt → KeyMap v → Int

hash ∷ KeyMap v → Int

Hashable a ⇒ Hashable (Complex a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntComplex a → Int

hashComplex a → Int

Hashable a ⇒ Hashable (Identity a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntIdentity a → Int

hashIdentity a → Int

Hashable a ⇒ Hashable (First a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntFirst a → Int

hashFirst a → Int

Hashable a ⇒ Hashable (Last a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntLast a → Int

hashLast a → Int

Hashable a ⇒ Hashable (Max a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntMax a → Int

hashMax a → Int

Hashable a ⇒ Hashable (Min a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntMin a → Int

hashMin a → Int

Hashable a ⇒ Hashable (WrappedMonoid a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntWrappedMonoid a → Int

hashWrappedMonoid a → Int

Hashable a ⇒ Hashable (NonEmpty a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntNonEmpty a → Int

hashNonEmpty a → Int

Hashable (FunPtr a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntFunPtr a → Int

hashFunPtr a → Int

Hashable (Ptr a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntPtr a → Int

hashPtr a → Int

Hashable a ⇒ Hashable (Ratio a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntRatio a → Int

hashRatio a → Int

Hashable (StableName a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntStableName a → Int

hashStableName a → Int

Hashable v ⇒ Hashable (IntMap v) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → IntMap v → Int

hash ∷ IntMap v → Int

Hashable v ⇒ Hashable (Seq v) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Seq v → Int

hash ∷ Seq v → Int

Hashable v ⇒ Hashable (Set v) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Set v → Int

hash ∷ Set v → Int

Hashable v ⇒ Hashable (Tree v) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Tree v → Int

hash ∷ Tree v → Int

Hashable1 f ⇒ Hashable (Fix f) 
Instance details

Defined in Data.Fix

Methods

hashWithSaltInt → Fix f → Int

hash ∷ Fix f → Int

Eq a ⇒ Hashable (Hashed a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Hashed a → Int

hash ∷ Hashed a → Int

Hashable ann ⇒ Hashable (Kind ann) Source # 
Instance details

Defined in PlutusCore.Core.Type

Methods

hashWithSaltIntKind ann → Int

hashKind ann → Int

(Closed uni, GEq uni) ⇒ Hashable (SomeTypeIn uni) Source # 
Instance details

Defined in Universe.Core

Methods

hashWithSaltIntSomeTypeIn uni → Int

hashSomeTypeIn uni → Int

Hashable fun ⇒ Hashable (ExBudgetCategory fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

hashWithSaltIntExBudgetCategory fun → Int

hashExBudgetCategory fun → Int

Hashable a ⇒ Hashable (Leaf a) 
Instance details

Defined in Data.RAList.Tree.Internal

Methods

hashWithSaltInt → Leaf a → Int

hash ∷ Leaf a → Int

Hashable a ⇒ Hashable (Maybe a) 
Instance details

Defined in Data.Strict.Maybe

Methods

hashWithSaltInt → Maybe a → Int

hash ∷ Maybe a → Int

Hashable a ⇒ Hashable (HashSet a) 
Instance details

Defined in Data.HashSet.Internal

Methods

hashWithSaltInt → HashSet a → Int

hash ∷ HashSet a → Int

Hashable a ⇒ Hashable (Vector a) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Eq

Methods

hashWithSaltInt → Vector a → Int

hash ∷ Vector a → Int

Hashable a ⇒ Hashable (Maybe a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntMaybe a → Int

hashMaybe a → Int

Hashable a ⇒ Hashable (a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → (a) → Int

hash ∷ (a) → Int

Hashable a ⇒ Hashable [a] 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → [a] → Int

hash ∷ [a] → Int

(Hashable a, Hashable b) ⇒ Hashable (Either a b) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntEither a b → Int

hashEither a b → Int

Hashable (Fixed a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntFixed a → Int

hashFixed a → Int

Hashable (Proxy a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntProxy a → Int

hashProxy a → Int

Hashable a ⇒ Hashable (Arg a b) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntArg a b → Int

hashArg a b → Int

Hashable (TypeRep a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntTypeRep a → Int

hashTypeRep a → Int

(Hashable k, Hashable v) ⇒ Hashable (Map k v) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → Map k v → Int

hash ∷ Map k v → Int

(Hashable k, Hashable a) ⇒ Hashable (MonoidalHashMap k a) 
Instance details

Defined in Data.HashMap.Monoidal

Methods

hashWithSaltInt → MonoidalHashMap k a → Int

hash ∷ MonoidalHashMap k a → Int

(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) ⇒ Hashable (ValueOf uni a) Source # 
Instance details

Defined in Universe.Core

Methods

hashWithSaltIntValueOf uni a → Int

hashValueOf uni a → Int

Hashable (f a) ⇒ Hashable (Node f a) 
Instance details

Defined in Data.RAList.Tree.Internal

Methods

hashWithSaltInt → Node f a → Int

hash ∷ Node f a → Int

(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) ⇒ Hashable (Some (ValueOf uni)) Source # 
Instance details

Defined in Universe.Core

Methods

hashWithSaltIntSome (ValueOf uni) → Int

hashSome (ValueOf uni) → Int

(Hashable a, Hashable b) ⇒ Hashable (Either a b) 
Instance details

Defined in Data.Strict.Either

Methods

hashWithSaltInt → Either a b → Int

hash ∷ Either a b → Int

(Hashable a, Hashable b) ⇒ Hashable (These a b) 
Instance details

Defined in Data.Strict.These

Methods

hashWithSaltInt → These a b → Int

hash ∷ These a b → Int

(Hashable a, Hashable b) ⇒ Hashable (Pair a b) 
Instance details

Defined in Data.Strict.Tuple

Methods

hashWithSaltInt → Pair a b → Int

hash ∷ Pair a b → Int

(Hashable a, Hashable b) ⇒ Hashable (These a b) 
Instance details

Defined in Data.These

Methods

hashWithSaltInt → These a b → Int

hash ∷ These a b → Int

(Hashable k, Hashable v) ⇒ Hashable (HashMap k v) 
Instance details

Defined in Data.HashMap.Internal

Methods

hashWithSaltInt → HashMap k v → Int

hash ∷ HashMap k v → Int

(Hashable a1, Hashable a2) ⇒ Hashable (a1, a2) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → (a1, a2) → Int

hash ∷ (a1, a2) → Int

Hashable a ⇒ Hashable (Const a b) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntConst a b → Int

hashConst a b → Int

(Hashable a1, Hashable a2, Hashable a3) ⇒ Hashable (a1, a2, a3) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → (a1, a2, a3) → Int

hash ∷ (a1, a2, a3) → Int

(Hashable1 f, Hashable1 g, Hashable a) ⇒ Hashable (Product f g a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntProduct f g a → Int

hashProduct f g a → Int

(Hashable1 f, Hashable1 g, Hashable a) ⇒ Hashable (Sum f g a) 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSaltIntSum f g a → Int

hashSum f g a → Int

HashableTermConstraints uni fun ann ⇒ Hashable (Term DeBruijn uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Eq

Methods

hashWithSaltIntTerm DeBruijn uni fun ann → Int

hashTerm DeBruijn uni fun ann → Int

HashableTermConstraints uni fun ann ⇒ Hashable (Term FakeNamedDeBruijn uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Eq

Methods

hashWithSaltIntTerm FakeNamedDeBruijn uni fun ann → Int

hashTerm FakeNamedDeBruijn uni fun ann → Int

HashableTermConstraints uni fun ann ⇒ Hashable (Term NamedDeBruijn uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Eq

Methods

hashWithSaltIntTerm NamedDeBruijn uni fun ann → Int

hashTerm NamedDeBruijn uni fun ann → Int

HashableTermConstraints uni fun ann ⇒ Hashable (Term Name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Eq

Methods

hashWithSaltIntTerm Name uni fun ann → Int

hashTerm Name uni fun ann → Int

(