Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Plutus.ExUnits

Synopsis

txscriptfee ∷ Prices → ExUnits → Coin
pointWiseExUnits ∷ (Natural → Natural → Bool) → ExUnits → ExUnits → Bool
zipSemiExUnits ∷ Semigroup a ⇒ (Natural → Natural → a) → ExUnits → ExUnits → a
newtype ExUnits where
- WrapExUnits {
  - unWrapExUnits ∷ ExUnits' Natural
  }
- pattern ExUnits ∷ Natural → Natural → ExUnits
data ExUnits' a = ExUnits' {
- exUnitsMem' ∷ !a
- exUnitsSteps' ∷ !a
}
data Prices = Prices {
- prMem ∷ !NonNegativeInterval
- prSteps ∷ !NonNegativeInterval
}

Documentation

txscriptfee ∷ Prices → ExUnits → Coin Source #

Compute the cost of a script based upon prices and the number of execution units.

pointWiseExUnits ∷ (Natural → Natural → Bool) → ExUnits → ExUnits → Bool Source #

It is deliberate that there is no Ord instance for ExUnits. Use this function to compare if one ExUnit is pointwise compareable to another. In case when Ord instance like comparison is necessary you can use zipSemiExUnits compare

zipSemiExUnits ∷ Semigroup a ⇒ (Natural → Natural → a) → ExUnits → ExUnits → a Source #

Pointwise combine units into a semigroup and mappened the results.

newtype ExUnits Source #

This newtype wrapper of ExUnits' is used to hide an implementation detail inside the ExUnits pattern.

Constructors

WrapExUnits
Fields unWrapExUnits ∷ ExUnits' Natural

Bundled Patterns

pattern ExUnits ∷ Natural → Natural → ExUnits

Arbitrary execution unit in which we measure the cost of scripts in terms of space in memory and execution time.

This pattern hides the fact that ExUnits' is parametric in the underlying type. The ledger itself uses ExUnits Natural' exclusively.

We would have preferred to use a type alias for ExUnits Natural', but this is not possible: https://gitlab.haskell.org/ghc/ghc/-/issues/19507.

Instances

Instances details

FromJSON ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

parseJSON ∷ Value → Parser ExUnits Source #

parseJSONList ∷ Value → Parser [ExUnits] Source #

omittedField ∷ Maybe ExUnits Source #

ToJSON ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

toJSON ∷ ExUnits → Value Source #

toEncoding ∷ ExUnits → Encoding Source #

toJSONList ∷ [ExUnits] → Value Source #

toEncodingList ∷ [ExUnits] → Encoding Source #

omitField ∷ ExUnits → Bool Source #

DecCBOR ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

decCBOR ∷ Decoder s ExUnits Source #

dropCBOR ∷ Proxy ExUnits → Decoder s () Source #

label ∷ Proxy ExUnits → Text Source #

EncCBOR ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

encCBOR ∷ ExUnits → Encoding Source #

ToPlutusData ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData ∷ ExUnits → Data Source #

fromPlutusData ∷ Data → Maybe ExUnits Source #

NFData ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

rnf ∷ ExUnits → () #

Monoid ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

mempty ∷ ExUnits #

mappend ∷ ExUnits → ExUnits → ExUnits #

mconcat ∷ [ExUnits] → ExUnits #

Semigroup ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

(<>) ∷ ExUnits → ExUnits → ExUnits #

sconcat ∷ NonEmpty ExUnits → ExUnits #

stimes ∷ Integral b ⇒ b → ExUnits → ExUnits #

Generic ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Associated Types

type Rep ExUnits
Instance details Defined in Cardano.Ledger.Plutus.ExUnits type Rep ExUnits = D1 ('MetaData "ExUnits" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "WrapExUnits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrapExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExUnits' Natural))))

Methods

from ∷ ExUnits → Rep ExUnits x #

to ∷ Rep ExUnits x → ExUnits #

Show ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

showsPrec ∷ Int → ExUnits → ShowS #

show ∷ ExUnits → String #

showList ∷ [ExUnits] → ShowS #

Eq ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

(==) ∷ ExUnits → ExUnits → Bool #

(/=) ∷ ExUnits → ExUnits → Bool #

NoThunks ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

Methods

noThunks ∷ Context → ExUnits → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → ExUnits → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy ExUnits → String Source #

type Rep ExUnits Source #

Instance details

Defined in Cardano.Ledger.Plutus.ExUnits

type Rep ExUnits = D1 ('MetaData "ExUnits" "Cardano.Ledger.Plutus.ExUnits" "cardano-ledger-core-1.19.0.0-inplace" 'True) (C1 ('MetaCons "WrapExUnits" 'PrefixI 'True) (S1 ('MetaSel ('Just "unWrapExUnits") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ExUnits' Natural))))

data ExUnits' a Source #

Arbitrary execution unit in which we measure the cost of scripts in terms of space in memory and execution time.

The ledger itself uses ExUnits Natural' exclusively, but the flexibility here allows the consensus layer to translate the execution units into something equivalent to 'ExUnits (Inf Natural)'. This is needed in order to provide a BoundedMeasure instance, which itself is needed for the alonzo instance of TxLimits (in consensus).

Constructors