Safe Haskell	Safe-Inferred
Language	Haskell2010

UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Synopsis

newtype ExBudgetMode cost uni fun = ExBudgetMode {
- unExBudgetMode ∷ ∀ s. ST s (ExBudgetInfo cost uni fun s)
}
newtype CountingSt = CountingSt ExBudget
newtype CekExTally fun = CekExTally (MonoidalHashMap (ExBudgetCategory fun) ExBudget)
data TallyingSt fun = TallyingSt (CekExTally fun) ExBudget
newtype RestrictingSt = RestrictingSt ExRestrictingBudget
class Eq a ⇒ Hashable a
monoidalBudgeting ∷ Monoid cost ⇒ (ExBudgetCategory fun → ExBudget → cost) → ExBudgetMode cost uni fun
counting ∷ ExBudgetMode CountingSt uni fun
enormousBudget ∷ ExRestrictingBudget
tallying ∷ Hashable fun ⇒ ExBudgetMode (TallyingSt fun) uni fun
restricting ∷ ThrowableBuiltins uni fun ⇒ ExRestrictingBudget → ExBudgetMode RestrictingSt uni fun
restrictingEnormous ∷ ThrowableBuiltins uni fun ⇒ ExBudgetMode RestrictingSt uni fun

Documentation

newtype ExBudgetMode cost uni fun Source #

A budgeting mode to execute the CEK machine in.

Constructors

ExBudgetMode
Fields unExBudgetMode ∷ ∀ s. ST s (ExBudgetInfo cost uni fun s)

newtype CountingSt Source #

For calculating the cost of execution by counting up using the Monoid instance of ExBudget.

Constructors

CountingSt ExBudget

Instances

Instances details

Monoid CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods mempty ∷ CountingSt Source # mappend ∷ CountingSt → CountingSt → CountingSt Source # mconcat ∷ [CountingSt] → CountingSt Source #
Semigroup CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (<>) ∷ CountingSt → CountingSt → CountingSt Source # sconcat ∷ NonEmpty CountingSt → CountingSt Source # stimes ∷ Integral b ⇒ b → CountingSt → CountingSt Source #
Show CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods showsPrec ∷ Int → CountingSt → ShowS Source # show ∷ CountingSt → String Source # showList ∷ [CountingSt] → ShowS Source #
NFData CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf ∷ CountingSt → () Source #
Eq CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) ∷ CountingSt → CountingSt → Bool Source # (/=) ∷ CountingSt → CountingSt → Bool Source #
Pretty CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CountingSt → Doc ann Source # prettyList ∷ [CountingSt] → Doc ann Source #
PrettyBy config CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy ∷ config → CountingSt → Doc ann Source # prettyListBy ∷ config → [CountingSt] → Doc ann Source #

newtype CekExTally fun Source #

For a detailed report on what costs how much + the same overall budget that Counting gives. The (derived) Monoid instance of CekExTally is the main piece of the machinery.

Constructors

CekExTally (MonoidalHashMap (ExBudgetCategory fun) ExBudget)

Instances

Instances details

(Show fun, Ord fun) ⇒ PrettyBy config (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy ∷ config → CekExTally fun → Doc ann Source # prettyListBy ∷ config → [CekExTally fun] → Doc ann Source #
Hashable fun ⇒ Monoid (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods mempty ∷ CekExTally fun Source # mappend ∷ CekExTally fun → CekExTally fun → CekExTally fun Source # mconcat ∷ [CekExTally fun] → CekExTally fun Source #
Hashable fun ⇒ Semigroup (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (<>) ∷ CekExTally fun → CekExTally fun → CekExTally fun Source # sconcat ∷ NonEmpty (CekExTally fun) → CekExTally fun Source # stimes ∷ Integral b ⇒ b → CekExTally fun → CekExTally fun Source #
Generic (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Associated Types type Rep (CekExTally fun) ∷ Type → Type Source # Methods from ∷ CekExTally fun → Rep (CekExTally fun) x Source # to ∷ Rep (CekExTally fun) x → CekExTally fun Source #
Show fun ⇒ Show (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods showsPrec ∷ Int → CekExTally fun → ShowS Source # show ∷ CekExTally fun → String Source # showList ∷ [CekExTally fun] → ShowS Source #
NFData fun ⇒ NFData (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf ∷ CekExTally fun → () Source #
Eq fun ⇒ Eq (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) ∷ CekExTally fun → CekExTally fun → Bool Source # (/=) ∷ CekExTally fun → CekExTally fun → Bool Source #
(Show fun, Ord fun) ⇒ Pretty (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CekExTally fun → Doc ann Source # prettyList ∷ [CekExTally fun] → Doc ann Source #
type Rep (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode type Rep (CekExTally fun) = D1 ('MetaData "CekExTally" "UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode" "plutus-core-1.39.0.0-inplace" 'True) (C1 ('MetaCons "CekExTally" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MonoidalHashMap (ExBudgetCategory fun) ExBudget))))

data TallyingSt fun Source #

Constructors

TallyingSt (CekExTally fun) ExBudget

Instances

Instances details

(Show fun, Ord fun) ⇒ PrettyBy config (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy ∷ config → TallyingSt fun → Doc ann Source # prettyListBy ∷ config → [TallyingSt fun] → Doc ann Source #
Hashable fun ⇒ Monoid (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods mempty ∷ TallyingSt fun Source # mappend ∷ TallyingSt fun → TallyingSt fun → TallyingSt fun Source # mconcat ∷ [TallyingSt fun] → TallyingSt fun Source #
Hashable fun ⇒ Semigroup (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (<>) ∷ TallyingSt fun → TallyingSt fun → TallyingSt fun Source # sconcat ∷ NonEmpty (TallyingSt fun) → TallyingSt fun Source # stimes ∷ Integral b ⇒ b → TallyingSt fun → TallyingSt fun Source #
Generic (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Associated Types type Rep (TallyingSt fun) ∷ Type → Type Source # Methods from ∷ TallyingSt fun → Rep (TallyingSt fun) x Source # to ∷ Rep (TallyingSt fun) x → TallyingSt fun Source #
Show fun ⇒ Show (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods showsPrec ∷ Int → TallyingSt fun → ShowS Source # show ∷ TallyingSt fun → String Source # showList ∷ [TallyingSt fun] → ShowS Source #
NFData fun ⇒ NFData (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf ∷ TallyingSt fun → () Source #
Eq fun ⇒ Eq (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) ∷ TallyingSt fun → TallyingSt fun → Bool Source # (/=) ∷ TallyingSt fun → TallyingSt fun → Bool Source #
(Show fun, Ord fun) ⇒ Pretty (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ TallyingSt fun → Doc ann Source # prettyList ∷ [TallyingSt fun] → Doc ann Source #
type Rep (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode type Rep (TallyingSt fun) = D1 ('MetaData "TallyingSt" "UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode" "plutus-core-1.39.0.0-inplace" 'False) (C1 ('MetaCons "TallyingSt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (CekExTally fun)) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget)))

newtype RestrictingSt Source #

Constructors

RestrictingSt ExRestrictingBudget

Instances

Instances details

Monoid RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods mempty ∷ RestrictingSt Source # mappend ∷ RestrictingSt → RestrictingSt → RestrictingSt Source # mconcat ∷ [RestrictingSt] → RestrictingSt Source #
Semigroup RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (<>) ∷ RestrictingSt → RestrictingSt → RestrictingSt Source # sconcat ∷ NonEmpty RestrictingSt → RestrictingSt Source # stimes ∷ Integral b ⇒ b → RestrictingSt → RestrictingSt Source #
Show RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods showsPrec ∷ Int → RestrictingSt → ShowS Source # show ∷ RestrictingSt → String Source # showList ∷ [RestrictingSt] → ShowS Source #
NFData RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf ∷ RestrictingSt → () Source #
Eq RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) ∷ RestrictingSt → RestrictingSt → Bool Source # (/=) ∷ RestrictingSt → RestrictingSt → Bool Source #
Pretty RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ RestrictingSt → Doc ann Source # prettyList ∷ [RestrictingSt] → Doc ann Source #
PrettyBy config RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy ∷ config → RestrictingSt → Doc ann Source # prettyListBy ∷ config → [RestrictingSt] → Doc ann Source #

class Eq a ⇒ Hashable a Source #

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

Instances

Instances details

Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt ∷ Int → Key → Int Source # hash ∷ Key → Int Source #
Hashable Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt ∷ Int → Value → Int Source # hash ∷ Value → Int Source #
Hashable ByteArray	This instance was available since 1.4.1.0 only for GHC-9.4+ Since: hashable-1.4.2.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → ByteArray → Int Source # hash ∷ ByteArray → Int Source #
Hashable SomeTypeRep
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → SomeTypeRep → Int Source # hash ∷ SomeTypeRep → Int Source #
Hashable Unique
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Unique → Int Source # hash ∷ Unique → Int Source #
Hashable Version
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Version → Int Source # hash ∷ Version → Int Source #
Hashable IntPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → IntPtr → Int Source # hash ∷ IntPtr → Int Source #
Hashable WordPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → WordPtr → Int Source # hash ∷ WordPtr → Int Source #
Hashable Void
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Void → Int Source # hash ∷ Void → Int Source #
Hashable ThreadId
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → ThreadId → Int Source # hash ∷ ThreadId → Int Source #
Hashable Fingerprint	Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Fingerprint → Int Source # hash ∷ Fingerprint → Int Source #
Hashable Int16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Int16 → Int Source # hash ∷ Int16 → Int Source #
Hashable Int32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Int32 → Int Source # hash ∷ Int32 → Int Source #
Hashable Int64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Int64 → Int Source # hash ∷ Int64 → Int Source #
Hashable Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Int8 → Int Source # hash ∷ Int8 → Int Source #
Hashable Word16
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Word16 → Int Source # hash ∷ Word16 → Int Source #
Hashable Word32
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Word32 → Int Source # hash ∷ Word32 → Int Source #
Hashable Word64
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Word64 → Int Source # hash ∷ Word64 → Int Source #
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Word8 → Int Source # hash ∷ Word8 → Int Source #
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → ByteString → Int Source # hash ∷ ByteString → Int Source #
Hashable ByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → ByteString → Int Source # hash ∷ ByteString → Int Source #
Hashable ShortByteString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → ShortByteString → Int Source # hash ∷ ShortByteString → Int Source #
Hashable IntSet	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → IntSet → Int Source # hash ∷ IntSet → Int Source #
Hashable OsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → OsString → Int Source # hash ∷ OsString → Int Source #
Hashable PosixString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → PosixString → Int Source # hash ∷ PosixString → Int Source #
Hashable WindowsString
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → WindowsString → Int Source # hash ∷ WindowsString → Int Source #
Hashable BigNat
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → BigNat → Int Source # hash ∷ BigNat → Int Source #
Hashable Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Ordering → Int Source # hash ∷ Ordering → Int Source #
Hashable OsString	Since: hashable-1.4.2.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → OsString → Int Source # hash ∷ OsString → Int Source #
Hashable PosixString	Since: hashable-1.4.2.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → PosixString → Int Source # hash ∷ PosixString → Int Source #
Hashable WindowsString	Since: hashable-1.4.2.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → WindowsString → Int Source # hash ∷ WindowsString → Int Source #
Hashable Ann Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt ∷ Int → Ann → Int Source # hash ∷ Ann → Int Source #
Hashable Inline Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt ∷ Int → Inline → Int Source # hash ∷ Inline → Int Source #
Hashable SrcSpan Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt ∷ Int → SrcSpan → Int Source # hash ∷ SrcSpan → Int Source #
Hashable SrcSpans Source #
Instance details Defined in PlutusCore.Annotation Methods hashWithSalt ∷ Int → SrcSpans → Int Source # hash ∷ SrcSpans → Int Source #
Hashable Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods hashWithSalt ∷ Int → Element → Int Source # hash ∷ Element → Int Source #
Hashable Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods hashWithSalt ∷ Int → Element → Int Source # hash ∷ Element → Int Source #
Hashable MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods hashWithSalt ∷ Int → MlResult → Int Source # hash ∷ MlResult → Int Source #
Hashable Data Source #
Instance details Defined in PlutusCore.Data Methods hashWithSalt ∷ Int → Data → Int Source # hash ∷ Data → Int Source #
Hashable DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt ∷ Int → DeBruijn → Int Source # hash ∷ DeBruijn → Int Source #
Hashable FakeNamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt ∷ Int → FakeNamedDeBruijn → Int Source # hash ∷ FakeNamedDeBruijn → Int Source #
Hashable Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt ∷ Int → Index → Int Source # hash ∷ Index → Int Source #
Hashable NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods hashWithSalt ∷ Int → NamedDeBruijn → Int Source # hash ∷ NamedDeBruijn → Int Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt ∷ Int → DefaultFun → Int Source # hash ∷ DefaultFun → Int Source #
Hashable ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt ∷ Int → ExtensionFun → Int Source # hash ∷ ExtensionFun → Int Source #
Hashable Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → Name → Int Source # hash ∷ Name → Int Source #
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TermUnique → Int Source # hash ∷ TermUnique → Int Source #
Hashable TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TyName → Int Source # hash ∷ TyName → Int Source #
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → TypeUnique → Int Source # hash ∷ TypeUnique → Int Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods hashWithSalt ∷ Int → Unique → Int Source # hash ∷ Unique → Int Source #
Hashable Version Source #
Instance details Defined in PlutusCore.Version Methods hashWithSalt ∷ Int → Version → Int Source # hash ∷ Version → Int Source #
Hashable StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt ∷ Int → StepKind → Int Source # hash ∷ StepKind → Int Source #
Hashable Scientific
Instance details Defined in Data.Scientific Methods hashWithSalt ∷ Int → Scientific → Int Source # hash ∷ Scientific → Int Source #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Text → Int Source # hash ∷ Text → Int Source #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Text → Int Source # hash ∷ Text → Int Source #
Hashable ShortText
Instance details Defined in Data.Text.Short.Internal Methods hashWithSalt ∷ Int → ShortText → Int Source # hash ∷ ShortText → Int Source #
Hashable UUID
Instance details Defined in Data.UUID.Types.Internal Methods hashWithSalt ∷ Int → UUID → Int Source # hash ∷ UUID → Int Source #
Hashable Integer
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Integer → Int Source # hash ∷ Integer → Int Source #
Hashable Natural
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Natural → Int Source # hash ∷ Natural → Int Source #
Hashable ()
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → () → Int Source # hash ∷ () → Int Source #
Hashable Bool
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Bool → Int Source # hash ∷ Bool → Int Source #
Hashable Char
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Char → Int Source # hash ∷ Char → Int Source #
Hashable Double	Note: prior to `hashable-1.3.0.0`, `hash 0.0 /= hash (-0.0)` The `hash` of NaN is not well defined. Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Double → Int Source # hash ∷ Double → Int Source #
Hashable Float	Note: prior to `hashable-1.3.0.0`, `hash 0.0 /= hash (-0.0)` The `hash` of NaN is not well defined. Since: hashable-1.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Float → Int Source # hash ∷ Float → Int Source #
Hashable Int
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Int → Int Source # hash ∷ Int → Int Source #
Hashable Word
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Word → Int Source # hash ∷ Word → Int Source #
Hashable v ⇒ Hashable (KeyMap v)
Instance details Defined in Data.Aeson.KeyMap Methods hashWithSalt ∷ Int → KeyMap v → Int Source # hash ∷ KeyMap v → Int Source #
Hashable a ⇒ Hashable (Complex a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Complex a → Int Source # hash ∷ Complex a → Int Source #
Hashable a ⇒ Hashable (Identity a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Identity a → Int Source # hash ∷ Identity a → Int Source #
Hashable a ⇒ Hashable (First a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → First a → Int Source # hash ∷ First a → Int Source #
Hashable a ⇒ Hashable (Last a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Last a → Int Source # hash ∷ Last a → Int Source #
Hashable a ⇒ Hashable (Max a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Max a → Int Source # hash ∷ Max a → Int Source #
Hashable a ⇒ Hashable (Min a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Min a → Int Source # hash ∷ Min a → Int Source #
Hashable a ⇒ Hashable (WrappedMonoid a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → WrappedMonoid a → Int Source # hash ∷ WrappedMonoid a → Int Source #
Hashable a ⇒ Hashable (NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → NonEmpty a → Int Source # hash ∷ NonEmpty a → Int Source #
Hashable (FunPtr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → FunPtr a → Int Source # hash ∷ FunPtr a → Int Source #
Hashable (Ptr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Ptr a → Int Source # hash ∷ Ptr a → Int Source #
Hashable a ⇒ Hashable (Ratio a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Ratio a → Int Source # hash ∷ Ratio a → Int Source #
Hashable (StableName a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → StableName a → Int Source # hash ∷ StableName a → Int Source #
Hashable v ⇒ Hashable (IntMap v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → IntMap v → Int Source # hash ∷ IntMap v → Int Source #
Hashable v ⇒ Hashable (Seq v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Seq v → Int Source # hash ∷ Seq v → Int Source #
Hashable v ⇒ Hashable (Set v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Set v → Int Source # hash ∷ Set v → Int Source #
Hashable v ⇒ Hashable (Tree v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Tree v → Int Source # hash ∷ Tree v → Int Source #
Hashable1 f ⇒ Hashable (Fix f)
Instance details Defined in Data.Fix Methods hashWithSalt ∷ Int → Fix f → Int Source # hash ∷ Fix f → Int Source #
Eq a ⇒ Hashable (Hashed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Hashed a → Int Source # hash ∷ Hashed a → Int Source #
Hashable ann ⇒ Hashable (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt ∷ Int → Kind ann → Int Source # hash ∷ Kind ann → Int Source #
(Closed uni, GEq uni) ⇒ Hashable (SomeTypeIn uni) Source #
Instance details Defined in Universe.Core Methods hashWithSalt ∷ Int → SomeTypeIn uni → Int Source # hash ∷ SomeTypeIn uni → Int Source #
Hashable fun ⇒ Hashable (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt ∷ Int → ExBudgetCategory fun → Int Source # hash ∷ ExBudgetCategory fun → Int Source #
Hashable a ⇒ Hashable (Leaf a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt ∷ Int → Leaf a → Int Source # hash ∷ Leaf a → Int Source #
Hashable a ⇒ Hashable (Maybe a)
Instance details Defined in Data.Strict.Maybe Methods hashWithSalt ∷ Int → Maybe a → Int Source # hash ∷ Maybe a → Int Source #
Hashable a ⇒ Hashable (HashSet a)
Instance details Defined in Data.HashSet.Internal Methods hashWithSalt ∷ Int → HashSet a → Int Source # hash ∷ HashSet a → Int Source #
Hashable a ⇒ Hashable (Vector a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Vector a → Int Source # hash ∷ Vector a → Int Source #
Hashable a ⇒ Hashable (Maybe a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Maybe a → Int Source # hash ∷ Maybe a → Int Source #
Hashable a ⇒ Hashable (a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a) → Int Source # hash ∷ (a) → Int Source #
Hashable a ⇒ Hashable [a]
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → [a] → Int Source # hash ∷ [a] → Int Source #
(Hashable a, Hashable b) ⇒ Hashable (Either a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Either a b → Int Source # hash ∷ Either a b → Int Source #
Hashable (Fixed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Fixed a → Int Source # hash ∷ Fixed a → Int Source #
Hashable (Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Proxy a → Int Source # hash ∷ Proxy a → Int Source #
Hashable a ⇒ Hashable (Arg a b)	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.3.0.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Arg a b → Int Source # hash ∷ Arg a b → Int Source #
Hashable (TypeRep a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → TypeRep a → Int Source # hash ∷ TypeRep a → Int Source #
(Hashable k, Hashable v) ⇒ Hashable (Map k v)	Since: hashable-1.3.4.0
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Map k v → Int Source # hash ∷ Map k v → Int Source #
(Hashable k, Hashable a) ⇒ Hashable (MonoidalHashMap k a)
Instance details Defined in Data.HashMap.Monoidal Methods hashWithSalt ∷ Int → MonoidalHashMap k a → Int Source # hash ∷ MonoidalHashMap k a → Int Source #
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) ⇒ Hashable (ValueOf uni a) Source #
Instance details Defined in Universe.Core Methods hashWithSalt ∷ Int → ValueOf uni a → Int Source # hash ∷ ValueOf uni a → Int Source #
Hashable (f a) ⇒ Hashable (Node f a)
Instance details Defined in Data.RAList.Tree.Internal Methods hashWithSalt ∷ Int → Node f a → Int Source # hash ∷ Node f a → Int Source #
(Closed uni, GEq uni, Everywhere uni Eq, Everywhere uni Hashable) ⇒ Hashable (Some (ValueOf uni)) Source #
Instance details Defined in Universe.Core Methods hashWithSalt ∷ Int → Some (ValueOf uni) → Int Source # hash ∷ Some (ValueOf uni) → Int Source #
(Hashable a, Hashable b) ⇒ Hashable (Either a b)
Instance details Defined in Data.Strict.Either Methods hashWithSalt ∷ Int → Either a b → Int Source # hash ∷ Either a b → Int Source #
(Hashable a, Hashable b) ⇒ Hashable (These a b)
Instance details Defined in Data.Strict.These Methods hashWithSalt ∷ Int → These a b → Int Source # hash ∷ These a b → Int Source #
(Hashable a, Hashable b) ⇒ Hashable (Pair a b)
Instance details Defined in Data.Strict.Tuple Methods hashWithSalt ∷ Int → Pair a b → Int Source # hash ∷ Pair a b → Int Source #
(Hashable a, Hashable b) ⇒ Hashable (These a b)
Instance details Defined in Data.These Methods hashWithSalt ∷ Int → These a b → Int Source # hash ∷ These a b → Int Source #
(Hashable k, Hashable v) ⇒ Hashable (HashMap k v)
Instance details Defined in Data.HashMap.Internal Methods hashWithSalt ∷ Int → HashMap k v → Int Source # hash ∷ HashMap k v → Int Source #
(Hashable a1, Hashable a2) ⇒ Hashable (a1, a2)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2) → Int Source # hash ∷ (a1, a2) → Int Source #
Hashable a ⇒ Hashable (Const a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Const a b → Int Source # hash ∷ Const a b → Int Source #
(Hashable a1, Hashable a2, Hashable a3) ⇒ Hashable (a1, a2, a3)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2, a3) → Int Source # hash ∷ (a1, a2, a3) → Int Source #
(Hashable1 f, Hashable1 g, Hashable a) ⇒ Hashable (Product f g a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Product f g a → Int Source # hash ∷ Product f g a → Int Source #
(Hashable1 f, Hashable1 g, Hashable a) ⇒ Hashable (Sum f g a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Sum f g a → Int Source # hash ∷ Sum f g a → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term DeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Term DeBruijn uni fun ann → Int Source # hash ∷ Term DeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term FakeNamedDeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Term FakeNamedDeBruijn uni fun ann → Int Source # hash ∷ Term FakeNamedDeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term NamedDeBruijn uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Term NamedDeBruijn uni fun ann → Int Source # hash ∷ Term NamedDeBruijn uni fun ann → Int Source #
HashableTermConstraints uni fun ann ⇒ Hashable (Term Name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Eq Methods hashWithSalt ∷ Int → Term Name uni fun ann → Int Source # hash ∷ Term Name uni fun ann → Int Source #
(Hashable a1, Hashable a2, Hashable a3, Hashable a4) ⇒ Hashable (a1, a2, a3, a4)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2, a3, a4) → Int Source # hash ∷ (a1, a2, a3, a4) → Int Source #
(Hashable1 f, Hashable1 g, Hashable a) ⇒ Hashable (Compose f g a)	In general, `hash (Compose x) ≠ hash x`. However, `hashWithSalt` satisfies its variant of this equivalence.
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Compose f g a → Int Source # hash ∷ Compose f g a → Int Source #
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5) ⇒ Hashable (a1, a2, a3, a4, a5)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2, a3, a4, a5) → Int Source # hash ∷ (a1, a2, a3, a4, a5) → Int Source #
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6) ⇒ Hashable (a1, a2, a3, a4, a5, a6)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2, a3, a4, a5, a6) → Int Source # hash ∷ (a1, a2, a3, a4, a5, a6) → Int Source #
(Hashable a1, Hashable a2, Hashable a3, Hashable a4, Hashable a5, Hashable a6, Hashable a7) ⇒ Hashable (a1, a2, a3, a4, a5, a6, a7)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → (a1, a2, a3, a4, a5, a6, a7) → Int Source # hash ∷ (a1, a2, a3, a4, a5, a6, a7) → Int Source #

monoidalBudgeting ∷ Monoid cost ⇒ (ExBudgetCategory fun → ExBudget → cost) → ExBudgetMode cost uni fun Source #

Construct an ExBudgetMode out of a function returning a value of the budgeting state type. The value then gets added to the current state via (<>).

counting ∷ ExBudgetMode CountingSt uni fun Source #

For calculating the cost of execution.

enormousBudget ∷ ExRestrictingBudget Source #

When we want to just evaluate the program we use the Restricting mode with an enormous budget, so that evaluation costs of on-chain budgeting are reflected accurately in benchmarks.

tallying ∷ Hashable fun ⇒ ExBudgetMode (TallyingSt fun) uni fun Source #

For a detailed report on what costs how much + the same overall budget that Counting gives.

restricting ∷ ThrowableBuiltins uni fun ⇒ ExRestrictingBudget → ExBudgetMode RestrictingSt uni fun Source #

For execution, to avoid overruns.

restrictingEnormous ∷ ThrowableBuiltins uni fun ⇒ ExBudgetMode RestrictingSt uni fun Source #

restricting instantiated at enormousBudget.