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
}
newtype OrdExUnits = OrdExUnits {
- unOrdExUnits ∷ ExUnits
}
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, or the OrdExUnits newtype defined below.

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

FromJSON OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods parseJSON ∷ Value → Parser OrdExUnits Source # parseJSONList ∷ Value → Parser [OrdExUnits] Source # omittedField ∷ Maybe OrdExUnits Source #
ToJSON OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods toJSON ∷ OrdExUnits → Value Source # toEncoding ∷ OrdExUnits → Encoding Source # toJSONList ∷ [OrdExUnits] → Value Source # toEncodingList ∷ [OrdExUnits] → Encoding Source # omitField ∷ OrdExUnits → Bool Source #
DecCBOR OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods decCBOR ∷ Decoder s OrdExUnits Source # dropCBOR ∷ Proxy OrdExUnits → Decoder s () Source # label ∷ Proxy OrdExUnits → Text Source #
EncCBOR OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods encCBOR ∷ OrdExUnits → Encoding Source #
NFData OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods rnf ∷ OrdExUnits → () #
Show OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods showsPrec ∷ Int → OrdExUnits → ShowS # show ∷ OrdExUnits → String # showList ∷ [OrdExUnits] → ShowS #
Eq OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods (==) ∷ OrdExUnits → OrdExUnits → Bool # (/=) ∷ OrdExUnits → OrdExUnits → Bool #
Ord OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods compare ∷ OrdExUnits → OrdExUnits → Ordering # (<) ∷ OrdExUnits → OrdExUnits → Bool # (<=) ∷ OrdExUnits → OrdExUnits → Bool # (>) ∷ OrdExUnits → OrdExUnits → Bool # (>=) ∷ OrdExUnits → OrdExUnits → Bool # max ∷ OrdExUnits → OrdExUnits → OrdExUnits # min ∷ OrdExUnits → OrdExUnits → OrdExUnits #
NoThunks OrdExUnits Source #
Instance details Defined in Cardano.Ledger.Plutus.ExUnits Methods noThunks ∷ Context → OrdExUnits → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → OrdExUnits → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy OrdExUnits → String Source #

Prices
Fields prMem ∷ !NonNegativeInterval prSteps ∷ !NonNegativeInterval