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

UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Synopsis

Documentation

newtype ExBudgetMode cost uni fun Source #

A budgeting mode to execute the CEK machine in.

Constructors

ExBudgetMode 

Fields

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

Semigroup CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Show CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

NFData CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

rnfCountingSt → () Source #

Eq CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Pretty CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyCountingStDoc ann #

prettyList ∷ [CountingSt] → Doc ann #

PrettyBy config CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyBy ∷ config → CountingStDoc 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

memptyCekExTally fun Source #

mappendCekExTally 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 #

sconcatNonEmpty (CekExTally fun) → CekExTally fun Source #

stimesIntegral 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) ∷ TypeType Source #

Methods

fromCekExTally fun → Rep (CekExTally fun) x Source #

toRep (CekExTally fun) x → CekExTally fun Source #

Show fun ⇒ Show (CekExTally fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

showsPrecIntCekExTally fun → ShowS Source #

showCekExTally fun → String Source #

showList ∷ [CekExTally fun] → ShowS Source #

NFData fun ⇒ NFData (CekExTally fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

rnfCekExTally 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

prettyCekExTally fun → Doc ann #

prettyList ∷ [CekExTally fun] → Doc ann #

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.30.0.0-inplace" 'True) (C1 ('MetaCons "CekExTally" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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

memptyTallyingSt fun Source #

mappendTallyingSt 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 #

sconcatNonEmpty (TallyingSt fun) → TallyingSt fun Source #

stimesIntegral 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) ∷ TypeType Source #

Methods

fromTallyingSt fun → Rep (TallyingSt fun) x Source #

toRep (TallyingSt fun) x → TallyingSt fun Source #

Show fun ⇒ Show (TallyingSt fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

showsPrecIntTallyingSt fun → ShowS Source #

showTallyingSt fun → String Source #

showList ∷ [TallyingSt fun] → ShowS Source #

NFData fun ⇒ NFData (TallyingSt fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

rnfTallyingSt 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

prettyTallyingSt fun → Doc ann #

prettyList ∷ [TallyingSt fun] → Doc ann #

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.30.0.0-inplace" 'False) (C1 ('MetaCons "TallyingSt" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (CekExTally fun)) :*: S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ExBudget)))

newtype RestrictingSt Source #

Instances

Instances details
Monoid RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Semigroup RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Show RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

NFData RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

rnfRestrictingSt → () Source #

Eq RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Pretty RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyRestrictingStDoc ann #

prettyList ∷ [RestrictingSt] → Doc ann #

PrettyBy config RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyBy ∷ config → RestrictingStDoc ann Source #

prettyListBy ∷ config → [RestrictingSt] → Doc ann Source #

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

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

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → (a1, a2, a3, a4) → Int

hash ∷ (a1, a2, a3, a4) → Int

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

Defined in Data.Hashable.Class

Methods

hashWithSaltIntCompose f g a → Int

hashCompose f g a → Int

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

Defined in Data.Hashable.Class

Methods

hashWithSaltInt → (a1, a2, a3, a4, a5) → Int

hash ∷ (a1, a2, a3, a4, a5) → Int

(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

hashWithSaltInt → (a1, a2, a3, a4, a5, a6) → Int

hash ∷ (a1, a2, a3, a4, a5, a6) → Int

(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

hashWithSaltInt → (a1, a2, a3, a4, a5, a6, a7) → Int

hash ∷ (a1, a2, a3, a4, a5, a6, a7) → Int

monoidalBudgetingMonoid 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 (<>).

countingExBudgetMode CountingSt uni fun Source #

For calculating the cost of execution.

enormousBudgetExRestrictingBudget 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.

tallyingHashable fun ⇒ ExBudgetMode (TallyingSt fun) uni fun Source #

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

restrictingThrowableBuiltins uni fun ⇒ ExRestrictingBudgetExBudgetMode RestrictingSt uni fun Source #

For execution, to avoid overruns.