Safe Haskell	None
Language	Haskell2010

UntypedPlutusCore.Evaluation.Machine.Cek

Contents

Running the machine
Errors
Costing
- Costing modes
Emitter modes
Misc

Description

The API to the CEK machine.

Synopsis

runCek :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> EmitterMode uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), cost, [ Text ])
runCekDeBruijn :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> EmitterMode uni fun -> Term NamedDeBruijn uni fun () -> ( Either ( CekEvaluationException NamedDeBruijn uni fun) ( Term NamedDeBruijn uni fun ()), cost, [ Text ])
runCekNoEmit :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), cost)
unsafeRunCekNoEmit :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> Term Name uni fun () -> ( EvaluationResult ( Term Name uni fun ()), cost)
evaluateCek :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => EmitterMode uni fun -> MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), [ Text ])
evaluateCekNoEmit :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ())
unsafeEvaluateCek :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => EmitterMode uni fun -> MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> ( EvaluationResult ( Term Name uni fun ()), [ Text ])
unsafeEvaluateCekNoEmit :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> EvaluationResult ( Term Name uni fun ())
data EvaluationResult a
- = EvaluationSuccess a
- | EvaluationFailure
extractEvaluationResult :: Either ( EvaluationException user internal term) a -> Either ( ErrorWithCause internal term) ( EvaluationResult a)
unsafeExtractEvaluationResult :: ( PrettyPlc internal, PrettyPlc term, Typeable internal, Typeable term) => Either ( EvaluationException user internal term) a -> EvaluationResult a
data CekUserError
- = CekOutOfExError ExRestrictingBudget
- | CekEvaluationFailure
data ErrorWithCause err cause = ErrorWithCause {
- _ewcError :: err
- _ewcCause :: Maybe cause
}
type CekEvaluationException name uni fun = EvaluationException CekUserError ( MachineError fun) ( Term name uni fun ())
data EvaluationError user internal
- = InternalEvaluationError internal
- | UserEvaluationError user
data ExBudgetCategory fun
- = BStep StepKind
- | BBuiltinApp fun
- | BStartup
newtype CekBudgetSpender uni fun s = CekBudgetSpender {
- unCekBudgetSpender :: ExBudgetCategory fun -> ExBudget -> CekM uni fun s ()
}
newtype ExBudgetMode cost uni fun = ExBudgetMode {
- unExBudgetMode :: forall s. ST s ( ExBudgetInfo cost uni fun s)
}
data StepKind
- = BConst
- | BVar
- | BLamAbs
- | BApply
- | BDelay
- | BForce
- | BBuiltin
newtype CekExTally fun = CekExTally ( MonoidalHashMap ( ExBudgetCategory fun) ExBudget )
newtype CountingSt = CountingSt ExBudget
data TallyingSt fun = TallyingSt ( CekExTally fun) ExBudget
newtype RestrictingSt = RestrictingSt ExRestrictingBudget
data CekMachineCosts
counting :: ExBudgetMode CountingSt uni fun
tallying :: ( Eq fun, Hashable fun) => ExBudgetMode ( TallyingSt fun) uni fun
restricting :: forall uni fun. PrettyUni uni fun => ExRestrictingBudget -> ExBudgetMode RestrictingSt uni fun
restrictingEnormous :: PrettyUni uni fun => ExBudgetMode RestrictingSt uni fun
enormousBudget :: ExRestrictingBudget
noEmitter :: EmitterMode uni fun
logEmitter :: EmitterMode uni fun
logWithTimeEmitter :: EmitterMode uni fun
logWithBudgetEmitter :: EmitterMode uni fun
data CekValue uni fun
- = VCon !( Some ( ValueOf uni))
- | VDelay ( Term NamedDeBruijn uni fun ()) !(CekValEnv uni fun)
- | VLamAbs NamedDeBruijn ( Term NamedDeBruijn uni fun ()) !(CekValEnv uni fun)
- | VBuiltin !fun ( Term NamedDeBruijn uni fun ()) (CekValEnv uni fun) !( BuiltinRuntime ( CekValue uni fun))
readKnownCek :: (uni `Everywhere` ExMemoryUsage , ReadKnown ( Term Name uni fun ()) a, Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> Either ( CekEvaluationException Name uni fun) a
class Hashable a
type PrettyUni uni fun = ( GShow uni, Closed uni, Pretty fun, Typeable uni, Typeable fun, Everywhere uni PrettyConst )

Running the machine

runCek :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> EmitterMode uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), cost, [ Text ]) Source #

Evaluate a term using the CEK machine with logging enabled and keep track of costing. A wrapper around the internal runCek to debruijn input and undebruijn output. *THIS FUNCTION IS PARTIAL if the input term contains free variables*

runCekDeBruijn :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> EmitterMode uni fun -> Term NamedDeBruijn uni fun () -> ( Either ( CekEvaluationException NamedDeBruijn uni fun) ( Term NamedDeBruijn uni fun ()), cost, [ Text ]) Source #

Evaluate a term using the CEK machine and keep track of costing, logging is optional.

runCekNoEmit :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), cost) Source #

Evaluate a term using the CEK machine with logging disabled and keep track of costing. *THIS FUNCTION IS PARTIAL if the input term contains free variables*

unsafeRunCekNoEmit :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => MachineParameters CekMachineCosts CekValue uni fun -> ExBudgetMode cost uni fun -> Term Name uni fun () -> ( EvaluationResult ( Term Name uni fun ()), cost) Source #

Unsafely evaluate a term using the CEK machine with logging disabled and keep track of costing. May throw a CekMachineException . *THIS FUNCTION IS PARTIAL if the input term contains free variables*

evaluateCek :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => EmitterMode uni fun -> MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> ( Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()), [ Text ]) Source #

Evaluate a term using the CEK machine with logging enabled. *THIS FUNCTION IS PARTIAL if the input term contains free variables*

evaluateCekNoEmit :: (uni `Everywhere` ExMemoryUsage , Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> Either ( CekEvaluationException Name uni fun) ( Term Name uni fun ()) Source #

Evaluate a term using the CEK machine with logging disabled. *THIS FUNCTION IS PARTIAL if the input term contains free variables*

unsafeEvaluateCek :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => EmitterMode uni fun -> MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> ( EvaluationResult ( Term Name uni fun ()), [ Text ]) Source #

Evaluate a term using the CEK machine with logging enabled. May throw a CekMachineException . *THIS FUNCTION IS PARTIAL if the input term contains free variables*

unsafeEvaluateCekNoEmit :: ( GShow uni, Typeable uni, Closed uni, uni `EverywhereAll` '[ ExMemoryUsage , PrettyConst ], Ix fun, Pretty fun, Typeable fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> EvaluationResult ( Term Name uni fun ()) Source #

Evaluate a term using the CEK machine with logging disabled. May throw a CekMachineException . *THIS FUNCTION IS PARTIAL if the input term contains free variables*

data EvaluationResult a Source #

The parameterized type of results various evaluation engines return. On the PLC side this becomes (via makeKnown ) either a call to Error or a value of the PLC counterpart of type a .

Constructors

EvaluationSuccess a
EvaluationFailure

Instances

Instances details

Monad EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (>>=) :: EvaluationResult a -> (a -> EvaluationResult b) -> EvaluationResult b Source # (>>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source # return :: a -> EvaluationResult a Source #
Functor EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fmap :: (a -> b) -> EvaluationResult a -> EvaluationResult b Source # (<$) :: a -> EvaluationResult b -> EvaluationResult a Source #
MonadFail EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fail :: String -> EvaluationResult a Source #
Applicative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pure :: a -> EvaluationResult a Source # (<>) :: EvaluationResult (a -> b) -> EvaluationResult a -> EvaluationResult b Source # liftA2 :: (a -> b -> c) -> EvaluationResult a -> EvaluationResult b -> EvaluationResult c Source # (>) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult b Source # (<*) :: EvaluationResult a -> EvaluationResult b -> EvaluationResult a Source #
Foldable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods fold :: Monoid m => EvaluationResult m -> m Source # foldMap :: Monoid m => (a -> m) -> EvaluationResult a -> m Source # foldMap' :: Monoid m => (a -> m) -> EvaluationResult a -> m Source # foldr :: (a -> b -> b) -> b -> EvaluationResult a -> b Source # foldr' :: (a -> b -> b) -> b -> EvaluationResult a -> b Source # foldl :: (b -> a -> b) -> b -> EvaluationResult a -> b Source # foldl' :: (b -> a -> b) -> b -> EvaluationResult a -> b Source # foldr1 :: (a -> a -> a) -> EvaluationResult a -> a Source # foldl1 :: (a -> a -> a) -> EvaluationResult a -> a Source # toList :: EvaluationResult a -> [a] Source # null :: EvaluationResult a -> Bool Source # length :: EvaluationResult a -> Int Source # elem :: Eq a => a -> EvaluationResult a -> Bool Source # maximum :: Ord a => EvaluationResult a -> a Source # minimum :: Ord a => EvaluationResult a -> a Source # sum :: Num a => EvaluationResult a -> a Source # product :: Num a => EvaluationResult a -> a Source #
Traversable EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods traverse :: Applicative f => (a -> f b) -> EvaluationResult a -> f ( EvaluationResult b) Source # sequenceA :: Applicative f => EvaluationResult (f a) -> f ( EvaluationResult a) Source # mapM :: Monad m => (a -> m b) -> EvaluationResult a -> m ( EvaluationResult b) Source # sequence :: Monad m => EvaluationResult (m a) -> m ( EvaluationResult a) Source #
Alternative EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods empty :: EvaluationResult a Source # (<\|>) :: EvaluationResult a -> EvaluationResult a -> EvaluationResult a Source # some :: EvaluationResult a -> EvaluationResult [a] Source # many :: EvaluationResult a -> EvaluationResult [a] Source #
MonadError () EvaluationResult Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods throwError :: () -> EvaluationResult a Source # catchError :: EvaluationResult a -> (() -> EvaluationResult a) -> EvaluationResult a Source #
( TypeError (' Text "\8216EvaluationResult\8217 cannot appear in the type of an argument") :: Constraint , uni ~ UniOf val) => ReadKnownIn uni val ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods readKnown :: Maybe cause -> val -> ReadKnownM cause ( EvaluationResult a) Source #
MakeKnownIn uni val a => MakeKnownIn uni val ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods makeKnown :: Maybe cause -> EvaluationResult a -> MakeKnownM cause val Source #
PrettyBy config a => PrettyBy config ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods prettyBy :: config -> EvaluationResult a -> Doc ann Source # prettyListBy :: config -> [ EvaluationResult a] -> Doc ann Source #
Eq a => Eq ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods (==) :: EvaluationResult a -> EvaluationResult a -> Bool Source # (/=) :: EvaluationResult a -> EvaluationResult a -> Bool Source #
Show a => Show ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods showsPrec :: Int -> EvaluationResult a -> ShowS Source # show :: EvaluationResult a -> String Source # showList :: [ EvaluationResult a] -> ShowS Source #
Generic ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Associated Types type Rep ( EvaluationResult a) :: Type -> Type Source # Methods from :: EvaluationResult a -> Rep ( EvaluationResult a) x Source # to :: Rep ( EvaluationResult a) x -> EvaluationResult a Source #
NFData a => NFData ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods rnf :: EvaluationResult a -> () Source #
PrettyClassic a => Pretty ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty :: EvaluationResult a -> Doc ann Source # prettyList :: [ EvaluationResult a] -> Doc ann Source #
KnownTypeAst uni a => KnownTypeAst uni ( EvaluationResult a :: Type ) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst Associated Types type ToHoles ( EvaluationResult a) :: [ Hole ] Source # type ToBinds ( EvaluationResult a) :: [ Some TyNameRep ] Source # Methods toTypeAst :: proxy ( EvaluationResult a) -> Type0 TyName uni () Source #
type Rep ( EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result type Rep ( EvaluationResult a) = D1 (' MetaData "EvaluationResult" "PlutusCore.Evaluation.Result" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "EvaluationSuccess" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 a)) :+: C1 (' MetaCons "EvaluationFailure" ' PrefixI ' False ) ( U1 :: Type -> Type ))
type ToHoles ( EvaluationResult a :: Type ) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToHoles ( EvaluationResult a :: Type ) = '[ TypeHole a :: Hole ]
type ToBinds ( EvaluationResult a :: Type ) Source #
Instance details Defined in PlutusCore.Builtin.KnownTypeAst type ToBinds ( EvaluationResult a :: Type ) = ToBinds a

extractEvaluationResult :: Either ( EvaluationException user internal term) a -> Either ( ErrorWithCause internal term) ( EvaluationResult a) Source #

Turn any UserEvaluationError into an EvaluationFailure .

unsafeExtractEvaluationResult :: ( PrettyPlc internal, PrettyPlc term, Typeable internal, Typeable term) => Either ( EvaluationException user internal term) a -> EvaluationResult a Source #

Errors

data CekUserError Source #

Constructors

CekOutOfExError ExRestrictingBudget	The final overspent (i.e. negative) budget.
CekEvaluationFailure	Error has been called or a builtin application has failed

Instances

Instances details

Eq CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods (==) :: CekUserError -> CekUserError -> Bool Source # (/=) :: CekUserError -> CekUserError -> Bool Source #
Show CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods showsPrec :: Int -> CekUserError -> ShowS Source # show :: CekUserError -> String Source # showList :: [ CekUserError ] -> ShowS Source #
Generic CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep CekUserError :: Type -> Type Source # Methods from :: CekUserError -> Rep CekUserError x Source # to :: Rep CekUserError x -> CekUserError Source #
NFData CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: CekUserError -> () Source #
Pretty CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: CekUserError -> Doc ann Source # prettyList :: [ CekUserError ] -> Doc ann Source #
HasErrorCode CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods errorCode :: CekUserError -> ErrorCode Source #
AsEvaluationFailure CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods _EvaluationFailure :: Prism' CekUserError () Source #
PrettyUni uni fun => MonadError ( CekEvaluationException NamedDeBruijn uni fun) ( CekM uni fun s) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source # catchError :: CekM uni fun s a -> ( CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source #
type Rep CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type Rep CekUserError = D1 (' MetaData "CekUserError" "UntypedPlutusCore.Evaluation.Machine.Cek.Internal" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "CekOutOfExError" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ExRestrictingBudget )) :+: C1 (' MetaCons "CekEvaluationFailure" ' PrefixI ' False ) ( U1 :: Type -> Type ))

data ErrorWithCause err cause Source #

An error and (optionally) what caused it.

Constructors

ErrorWithCause
Fields _ewcError :: err _ewcCause :: Maybe cause

Instances

Instances details

Bifunctor ErrorWithCause Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods bimap :: (a -> b) -> (c -> d) -> ErrorWithCause a c -> ErrorWithCause b d Source # first :: (a -> b) -> ErrorWithCause a c -> ErrorWithCause b c Source # second :: (b -> c) -> ErrorWithCause a b -> ErrorWithCause a c Source #
( PrettyBy config cause, PrettyBy config err) => PrettyBy config ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> ErrorWithCause err cause -> Doc ann Source # prettyListBy :: config -> [ ErrorWithCause err cause] -> Doc ann Source #
Functor ( ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods fmap :: (a -> b) -> ErrorWithCause err a -> ErrorWithCause err b Source # (<$) :: a -> ErrorWithCause err b -> ErrorWithCause err a Source #
Foldable ( ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods fold :: Monoid m => ErrorWithCause err m -> m Source # foldMap :: Monoid m => (a -> m) -> ErrorWithCause err a -> m Source # foldMap' :: Monoid m => (a -> m) -> ErrorWithCause err a -> m Source # foldr :: (a -> b -> b) -> b -> ErrorWithCause err a -> b Source # foldr' :: (a -> b -> b) -> b -> ErrorWithCause err a -> b Source # foldl :: (b -> a -> b) -> b -> ErrorWithCause err a -> b Source # foldl' :: (b -> a -> b) -> b -> ErrorWithCause err a -> b Source # foldr1 :: (a -> a -> a) -> ErrorWithCause err a -> a Source # foldl1 :: (a -> a -> a) -> ErrorWithCause err a -> a Source # toList :: ErrorWithCause err a -> [a] Source # null :: ErrorWithCause err a -> Bool Source # length :: ErrorWithCause err a -> Int Source # elem :: Eq a => a -> ErrorWithCause err a -> Bool Source # maximum :: Ord a => ErrorWithCause err a -> a Source # minimum :: Ord a => ErrorWithCause err a -> a Source # sum :: Num a => ErrorWithCause err a -> a Source # product :: Num a => ErrorWithCause err a -> a Source #
Traversable ( ErrorWithCause err) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods traverse :: Applicative f => (a -> f b) -> ErrorWithCause err a -> f ( ErrorWithCause err b) Source # sequenceA :: Applicative f => ErrorWithCause err (f a) -> f ( ErrorWithCause err a) Source # mapM :: Monad m => (a -> m b) -> ErrorWithCause err a -> m ( ErrorWithCause err b) Source # sequence :: Monad m => ErrorWithCause err (m a) -> m ( ErrorWithCause err a) Source #
( Eq err, Eq cause) => Eq ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods (==) :: ErrorWithCause err cause -> ErrorWithCause err cause -> Bool Source # (/=) :: ErrorWithCause err cause -> ErrorWithCause err cause -> Bool Source #
( PrettyPlc cause, PrettyPlc err) => Show ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods showsPrec :: Int -> ErrorWithCause err cause -> ShowS Source # show :: ErrorWithCause err cause -> String Source # showList :: [ ErrorWithCause err cause] -> ShowS Source #
Generic ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Associated Types type Rep ( ErrorWithCause err cause) :: Type -> Type Source # Methods from :: ErrorWithCause err cause -> Rep ( ErrorWithCause err cause) x Source # to :: Rep ( ErrorWithCause err cause) x -> ErrorWithCause err cause Source #
( PrettyPlc cause, PrettyPlc err, Typeable cause, Typeable err) => Exception ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods toException :: ErrorWithCause err cause -> SomeException Source # fromException :: SomeException -> Maybe ( ErrorWithCause err cause) Source # displayException :: ErrorWithCause err cause -> String Source #
( NFData err, NFData cause) => NFData ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: ErrorWithCause err cause -> () Source #
( Pretty err, Pretty cause) => Pretty ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods pretty :: ErrorWithCause err cause -> Doc ann Source # prettyList :: [ ErrorWithCause err cause] -> Doc ann Source #
HasErrorCode err => HasErrorCode ( ErrorWithCause err t) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: ErrorWithCause err t -> ErrorCode Source #
AsEvaluationFailure err => AsEvaluationFailure ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods _EvaluationFailure :: Prism' ( ErrorWithCause err cause) () Source #
PrettyUni uni fun => MonadError ( CekEvaluationException NamedDeBruijn uni fun) ( CekM uni fun s) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source # catchError :: CekM uni fun s a -> ( CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source #
type Rep ( ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception type Rep ( ErrorWithCause err cause) = D1 (' MetaData "ErrorWithCause" "PlutusCore.Evaluation.Machine.Exception" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "ErrorWithCause" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "_ewcError") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 err) :*: S1 (' MetaSel (' Just "_ewcCause") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( Maybe cause))))

type CekEvaluationException name uni fun = EvaluationException CekUserError ( MachineError fun) ( Term name uni fun ()) Source #

The CEK machine-specific EvaluationException .

data EvaluationError user internal Source #

The type of errors (all of them) which can occur during evaluation (some are used-caused, some are internal).

Constructors

InternalEvaluationError internal	Indicates bugs.
UserEvaluationError user	Indicates user errors.

Instances

Instances details

( HasPrettyDefaults config ~ ' True , PrettyBy config internal, Pretty user) => PrettyBy config ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> EvaluationError user internal -> Doc ann Source # prettyListBy :: config -> [ EvaluationError user internal] -> Doc ann Source #
Functor ( EvaluationError user) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods fmap :: (a -> b) -> EvaluationError user a -> EvaluationError user b Source # (<$) :: a -> EvaluationError user b -> EvaluationError user a Source #
( Eq internal, Eq user) => Eq ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods (==) :: EvaluationError user internal -> EvaluationError user internal -> Bool Source # (/=) :: EvaluationError user internal -> EvaluationError user internal -> Bool Source #
( Show internal, Show user) => Show ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods showsPrec :: Int -> EvaluationError user internal -> ShowS Source # show :: EvaluationError user internal -> String Source # showList :: [ EvaluationError user internal] -> ShowS Source #
Generic ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Associated Types type Rep ( EvaluationError user internal) :: Type -> Type Source # Methods from :: EvaluationError user internal -> Rep ( EvaluationError user internal) x Source # to :: Rep ( EvaluationError user internal) x -> EvaluationError user internal Source #
( NFData internal, NFData user) => NFData ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods rnf :: EvaluationError user internal -> () Source #
( HasErrorCode user, HasErrorCode internal) => HasErrorCode ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods errorCode :: EvaluationError user internal -> ErrorCode Source #
AsEvaluationFailure user => AsEvaluationFailure ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods _EvaluationFailure :: Prism' ( EvaluationError user internal) () Source #
AsUnliftingError internal => AsUnliftingError ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods _UnliftingError :: Prism' ( EvaluationError user internal) UnliftingError Source # _UnliftingErrorE :: Prism' ( EvaluationError user internal) Text Source #
internal ~ MachineError fun => AsMachineError ( EvaluationError user internal) fun Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods _MachineError :: Prism' ( EvaluationError user internal) ( MachineError fun) Source # _NonPolymorphicInstantiationMachineError :: Prism' ( EvaluationError user internal) () Source # _NonWrapUnwrappedMachineError :: Prism' ( EvaluationError user internal) () Source # _NonFunctionalApplicationMachineError :: Prism' ( EvaluationError user internal) () Source # _OpenTermEvaluatedMachineError :: Prism' ( EvaluationError user internal) () Source # _UnliftingMachineError :: Prism' ( EvaluationError user internal) UnliftingError Source # _BuiltinTermArgumentExpectedMachineError :: Prism' ( EvaluationError user internal) () Source # _UnexpectedBuiltinTermArgumentMachineError :: Prism' ( EvaluationError user internal) () Source # _EmptyBuiltinArityMachineError :: Prism' ( EvaluationError user internal) () Source # _UnknownBuiltin :: Prism' ( EvaluationError user internal) fun Source #
AsEvaluationError ( EvaluationError user internal) user internal Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods _EvaluationError :: Prism' ( EvaluationError user internal) ( EvaluationError user internal) Source # _InternalEvaluationError :: Prism' ( EvaluationError user internal) internal Source # _UserEvaluationError :: Prism' ( EvaluationError user internal) user Source #
PrettyUni uni fun => MonadError ( CekEvaluationException NamedDeBruijn uni fun) ( CekM uni fun s) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods throwError :: CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a Source # catchError :: CekM uni fun s a -> ( CekEvaluationException NamedDeBruijn uni fun -> CekM uni fun s a) -> CekM uni fun s a Source #
type Rep ( EvaluationError user internal) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception type Rep ( EvaluationError user internal) = D1 (' MetaData "EvaluationError" "PlutusCore.Evaluation.Machine.Exception" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "InternalEvaluationError" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 internal)) :+: C1 (' MetaCons "UserEvaluationError" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 user)))

Costing

data ExBudgetCategory fun Source #

Constructors

BStep StepKind
BBuiltinApp fun
BStartup

Instances

Instances details

ExBudgetBuiltin fun ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods exBudgetBuiltin :: fun -> ExBudgetCategory fun Source #
Eq fun => Eq ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods (==) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source # (/=) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source #
Ord fun => Ord ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods compare :: ExBudgetCategory fun -> ExBudgetCategory fun -> Ordering Source # (<) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source # (<=) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source # (>) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source # (>=) :: ExBudgetCategory fun -> ExBudgetCategory fun -> Bool Source # max :: ExBudgetCategory fun -> ExBudgetCategory fun -> ExBudgetCategory fun Source # min :: ExBudgetCategory fun -> ExBudgetCategory fun -> ExBudgetCategory fun Source #
Show fun => Show ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods showsPrec :: Int -> ExBudgetCategory fun -> ShowS Source # show :: ExBudgetCategory fun -> String Source # showList :: [ ExBudgetCategory fun] -> ShowS Source #
Generic ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep ( ExBudgetCategory fun) :: Type -> Type Source # Methods from :: ExBudgetCategory fun -> Rep ( ExBudgetCategory fun) x Source # to :: Rep ( ExBudgetCategory fun) x -> ExBudgetCategory fun 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 #
NFData fun => NFData ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: ExBudgetCategory fun -> () Source #
Show fun => Pretty ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: ExBudgetCategory fun -> Doc ann Source # prettyList :: [ ExBudgetCategory fun] -> Doc ann Source #
type Rep ( ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type Rep ( ExBudgetCategory fun) = D1 (' MetaData "ExBudgetCategory" "UntypedPlutusCore.Evaluation.Machine.Cek.Internal" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "BStep" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 StepKind )) :+: ( C1 (' MetaCons "BBuiltinApp" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 fun)) :+: C1 (' MetaCons "BStartup" ' PrefixI ' False ) ( U1 :: Type -> Type )))

newtype CekBudgetSpender uni fun s Source #

The CEK machine is parameterized over a spendBudget function. This makes the budgeting machinery extensible and allows us to separate budgeting logic from evaluation logic and avoid branching on the union of all possible budgeting state types during evaluation.

Constructors

CekBudgetSpender
Fields unCekBudgetSpender :: ExBudgetCategory fun -> ExBudget -> CekM uni fun s ()

newtype ExBudgetMode cost uni fun Source #

A budgeting mode to execute the CEK machine in.

Constructors

ExBudgetMode
Fields unExBudgetMode :: forall s. ST s ( ExBudgetInfo cost uni fun s)

data StepKind Source #

Constructors

BConst
BVar
BLamAbs
BApply
BDelay
BForce
BBuiltin

Instances

Instances details

Bounded StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods minBound :: StepKind Source # maxBound :: StepKind Source #
Enum StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods succ :: StepKind -> StepKind Source # pred :: StepKind -> StepKind Source # toEnum :: Int -> StepKind Source # fromEnum :: StepKind -> Int Source # enumFrom :: StepKind -> [ StepKind ] Source # enumFromThen :: StepKind -> StepKind -> [ StepKind ] Source # enumFromTo :: StepKind -> StepKind -> [ StepKind ] Source # enumFromThenTo :: StepKind -> StepKind -> StepKind -> [ StepKind ] Source #
Eq StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods (==) :: StepKind -> StepKind -> Bool Source # (/=) :: StepKind -> StepKind -> Bool Source #
Ord StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods compare :: StepKind -> StepKind -> Ordering Source # (<) :: StepKind -> StepKind -> Bool Source # (<=) :: StepKind -> StepKind -> Bool Source # (>) :: StepKind -> StepKind -> Bool Source # (>=) :: StepKind -> StepKind -> Bool Source # max :: StepKind -> StepKind -> StepKind Source # min :: StepKind -> StepKind -> StepKind Source #
Show StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods showsPrec :: Int -> StepKind -> ShowS Source # show :: StepKind -> String Source # showList :: [ StepKind ] -> ShowS Source #
Generic StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Associated Types type Rep StepKind :: Type -> Type Source # Methods from :: StepKind -> Rep StepKind x Source # to :: Rep StepKind x -> StepKind Source #
Hashable StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods hashWithSalt :: Int -> StepKind -> Int Source # hash :: StepKind -> Int Source #
NFData StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods rnf :: StepKind -> () Source #
type Rep StepKind Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type Rep StepKind = D1 (' MetaData "StepKind" "UntypedPlutusCore.Evaluation.Machine.Cek.Internal" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) (( C1 (' MetaCons "BConst" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: ( C1 (' MetaCons "BVar" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "BLamAbs" ' PrefixI ' False ) ( U1 :: Type -> Type ))) :+: (( C1 (' MetaCons "BApply" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "BDelay" ' PrefixI ' False ) ( U1 :: Type -> Type )) :+: ( C1 (' MetaCons "BForce" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "BBuiltin" ' PrefixI ' False ) ( U1 :: Type -> Type ))))

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 #
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 => 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 #
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 #
( Eq fun, 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 #
( Eq fun, 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 #
NFData fun => NFData ( CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: CekExTally fun -> () 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.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' True ) ( C1 (' MetaCons "CekExTally" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 ( MonoidalHashMap ( ExBudgetCategory fun) ExBudget ))))

newtype CountingSt Source #

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

Constructors

CountingSt ExBudget

Instances

Instances details

Eq CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) :: CountingSt -> CountingSt -> Bool Source # (/=) :: CountingSt -> CountingSt -> Bool 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 #
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 #
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 #
NFData CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: CountingSt -> () 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 #

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 #
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 => 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 #
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 #
( Eq fun, 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 #
( Eq fun, 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 #
NFData fun => NFData ( TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: TallyingSt fun -> () 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.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' 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

Eq RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods (==) :: RestrictingSt -> RestrictingSt -> Bool Source # (/=) :: RestrictingSt -> RestrictingSt -> Bool 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 #
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 #
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 #
NFData RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods rnf :: RestrictingSt -> () 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 #

data CekMachineCosts Source #

Costs for evaluating AST nodes. Times should be specified in picoseconds, memory sizes in bytes.

Instances

Instances details

Eq CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods (==) :: CekMachineCosts -> CekMachineCosts -> Bool Source # (/=) :: CekMachineCosts -> CekMachineCosts -> Bool Source #
Show CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods showsPrec :: Int -> CekMachineCosts -> ShowS Source # show :: CekMachineCosts -> String Source # showList :: [ CekMachineCosts ] -> ShowS Source #
Generic CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Associated Types type Rep CekMachineCosts :: Type -> Type Source # Methods from :: CekMachineCosts -> Rep CekMachineCosts x Source # to :: Rep CekMachineCosts x -> CekMachineCosts Source #
ToJSON CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods toJSON :: CekMachineCosts -> Value Source # toEncoding :: CekMachineCosts -> Encoding Source # toJSONList :: [ CekMachineCosts ] -> Value Source # toEncodingList :: [ CekMachineCosts ] -> Encoding Source #
FromJSON CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods parseJSON :: Value -> Parser CekMachineCosts Source # parseJSONList :: Value -> Parser [ CekMachineCosts ] Source #
NFData CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods rnf :: CekMachineCosts -> () Source #
NoThunks CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods noThunks :: Context -> CekMachineCosts -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> CekMachineCosts -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy CekMachineCosts -> String Source #
Lift CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts Methods lift :: CekMachineCosts -> Q Exp Source # liftTyped :: CekMachineCosts -> Q ( TExp CekMachineCosts ) Source #
type Rep CekMachineCosts Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts type Rep CekMachineCosts = D1 (' MetaData "CekMachineCosts" "UntypedPlutusCore.Evaluation.Machine.Cek.CekMachineCosts" "plutus-core-1.0.0.1-76bWF9ZEWyb4eDyjHx0kCS" ' False ) ( C1 (' MetaCons "CekMachineCosts" ' PrefixI ' True ) ((( S1 (' MetaSel (' Just "cekStartupCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget ) :: S1 (' MetaSel (' Just "cekVarCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget )) :: ( S1 (' MetaSel (' Just "cekConstCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget ) :: S1 (' MetaSel (' Just "cekLamCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget ))) :: (( S1 (' MetaSel (' Just "cekDelayCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget ) :: S1 (' MetaSel (' Just "cekForceCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget )) :: ( S1 (' MetaSel (' Just "cekApplyCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget ) :*: S1 (' MetaSel (' Just "cekBuiltinCost") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedStrict ) ( Rec0 ExBudget )))))

Costing modes

counting :: ExBudgetMode CountingSt uni fun Source #

For calculating the cost of execution.

tallying :: ( Eq fun, 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 :: forall uni fun. PrettyUni uni fun => ExRestrictingBudget -> ExBudgetMode RestrictingSt uni fun Source #

For execution, to avoid overruns.

restrictingEnormous :: PrettyUni uni fun => ExBudgetMode RestrictingSt uni fun Source #

restricting instantiated at enormousBudget .

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.

Emitter modes

noEmitter :: EmitterMode uni fun Source #

No emitter.

logEmitter :: EmitterMode uni fun Source #

Emits log only.

logWithTimeEmitter :: EmitterMode uni fun Source #

Emits log with timestamp.

logWithBudgetEmitter :: EmitterMode uni fun Source #

Emits log with the budget.

Misc

data CekValue uni fun Source #

Constructors

VCon !( Some ( ValueOf uni))
VDelay ( Term NamedDeBruijn uni fun ()) !(CekValEnv uni fun)
VLamAbs NamedDeBruijn ( Term NamedDeBruijn uni fun ()) !(CekValEnv uni fun)
VBuiltin !fun ( Term NamedDeBruijn uni fun ()) (CekValEnv uni fun) !( BuiltinRuntime ( CekValue uni fun))

Instances

Instances details

( Closed uni, GShow uni, Everywhere uni PrettyConst , Pretty fun) => PrettyBy PrettyConfigPlc ( CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> CekValue uni fun -> Doc ann Source # prettyListBy :: PrettyConfigPlc -> [ CekValue uni fun] -> Doc ann Source #
Show ( BuiltinRuntime ( CekValue uni fun)) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods showsPrec :: Int -> BuiltinRuntime ( CekValue uni fun) -> ShowS Source # show :: BuiltinRuntime ( CekValue uni fun) -> String Source # showList :: [ BuiltinRuntime ( CekValue uni fun)] -> ShowS Source #
( Everywhere uni Show , GShow uni, Closed uni, Show fun) => Show ( CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods showsPrec :: Int -> CekValue uni fun -> ShowS Source # show :: CekValue uni fun -> String Source # showList :: [ CekValue uni fun] -> ShowS Source #
HasConstant ( CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods asConstant :: AsUnliftingError err => Maybe cause -> CekValue uni fun -> Either ( ErrorWithCause err cause) ( Some ( ValueOf ( UniOf ( CekValue uni fun)))) Source # fromConstant :: Some ( ValueOf ( UniOf ( CekValue uni fun))) -> CekValue uni fun Source #
type UniOf ( CekValue uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal type UniOf ( CekValue uni fun) = uni

readKnownCek :: (uni `Everywhere` ExMemoryUsage , ReadKnown ( Term Name uni fun ()) a, Ix fun, PrettyUni uni fun) => MachineParameters CekMachineCosts CekValue uni fun -> Term Name uni fun () -> Either ( CekEvaluationException Name uni fun) a Source #

Unlift a value using the CEK machine. *THIS FUNCTION IS PARTIAL if the input term contains free variables*

class Hashable a Source #

The class of types that can be converted to a hash value.

Minimal implementation: hashWithSalt .

Note: the hash is not guaranteed to be stable across library versions, operating systems or architectures. For stable hashing use named hashes: SHA256, CRC32 etc.

If you are looking for Hashable instance in time package, check time-compat

Instances

Instances details

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 Int8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Int8 -> Int Source # hash :: Int8 -> 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 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 Ordering
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ordering -> Int Source # hash :: Ordering -> Int Source #
Hashable Word
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word -> Int Source # hash :: Word -> Int Source #
Hashable Word8
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Word8 -> Int Source # hash :: Word8 -> 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 SomeTypeRep
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> SomeTypeRep -> Int Source # hash :: SomeTypeRep -> Int Source #
Hashable ()
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> () -> Int Source # hash :: () -> Int Source #
Hashable Version
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Version -> Int Source # hash :: Version -> 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 Scientific	A hash can be safely calculated from a `Scientific` . No magnitude `10^e` is calculated so there's no risk of a blowup in space or time when hashing scientific numbers coming from untrusted sources. `>>>` `import Data.Hashable (hash)``>>>` `let x = scientific 1 2``>>>` `let y = scientific 100 0``>>>` `(x == y, hash x == hash y)`(True,True)
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 Value
Instance details Defined in Data.Aeson.Types.Internal Methods hashWithSalt :: Int -> Value -> Int Source # hash :: Value -> Int Source #
Hashable Key
Instance details Defined in Data.Aeson.Key Methods hashWithSalt :: Int -> Key -> Int Source # hash :: Key -> Int Source #
Hashable ThreadId
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> ThreadId -> Int Source # hash :: ThreadId -> Int Source #
Hashable Text
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Text -> Int Source # hash :: Text -> Int Source #
Hashable Void
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Void -> Int Source # hash :: Void -> Int Source #
Hashable Unique
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Unique -> Int Source # hash :: Unique -> Int Source #
Hashable WordPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WordPtr -> Int Source # hash :: WordPtr -> Int Source #
Hashable IntPtr
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> IntPtr -> Int Source # hash :: IntPtr -> 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 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 BigNat
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> BigNat -> Int Source # hash :: BigNat -> Int Source #
Hashable ShortText
Instance details Defined in Data.Text.Short.Internal Methods hashWithSalt :: Int -> ShortText -> Int Source # hash :: ShortText -> Int Source #
Hashable QuarterOfYear
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> QuarterOfYear -> Int Source # hash :: QuarterOfYear -> Int Source #
Hashable Quarter
Instance details Defined in Data.Time.Calendar.Quarter.Compat Methods hashWithSalt :: Int -> Quarter -> Int Source # hash :: Quarter -> Int Source #
Hashable Month
Instance details Defined in Data.Time.Calendar.Month.Compat Methods hashWithSalt :: Int -> Month -> Int Source # hash :: Month -> Int Source #
Hashable UUID
Instance details Defined in Data.UUID.Types.Internal Methods hashWithSalt :: Int -> UUID -> Int Source # hash :: UUID -> Int Source #
Hashable TermUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TermUnique -> Int Source # hash :: TermUnique -> Int Source #
Hashable TypeUnique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TypeUnique -> Int Source # hash :: TypeUnique -> Int Source #
Hashable Unique Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Unique -> Int Source # hash :: Unique -> Int Source #
Hashable TyName Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> TyName -> Int Source # hash :: TyName -> Int Source #
Hashable Name Source #
Instance details Defined in PlutusCore.Name Methods hashWithSalt :: Int -> Name -> Int Source # hash :: Name -> Int Source #
Hashable DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods hashWithSalt :: Int -> DefaultFun -> Int Source # hash :: DefaultFun -> 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 ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods hashWithSalt :: Int -> ExtensionFun -> Int Source # hash :: ExtensionFun -> 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 ( Maybe a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Maybe a -> Int Source # hash :: Maybe 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 ( Ptr a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Ptr a -> Int Source # hash :: Ptr 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 a => Hashable ( Solo a)	Since: OneTuple-0.3.1
Instance details Defined in Data.Tuple.Solo Methods hashWithSalt :: Int -> Solo a -> Int Source # hash :: Solo a -> 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 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 #
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 ( Complex a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Complex a -> Int Source # hash :: Complex 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 ( Max a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Max a -> Int Source # hash :: Max 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 ( WrappedMonoid a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> WrappedMonoid a -> Int Source # hash :: WrappedMonoid a -> Int Source #
Hashable a => Hashable ( Option a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Option a -> Int Source # hash :: Option 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 a => Hashable ( NonEmpty a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> NonEmpty a -> Int Source # hash :: NonEmpty a -> 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 ( 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 ( 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 #
Hashable1 f => Hashable ( Fix f)
Instance details Defined in Data.Fix Methods hashWithSalt :: Int -> Fix f -> Int Source # hash :: Fix f -> Int Source #
Hashable ( Hashed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Hashed a -> Int Source # hash :: Hashed 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 ( RAList a)
Instance details Defined in Data.RAList.Internal Methods hashWithSalt :: Int -> RAList a -> Int Source # hash :: RAList a -> 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 ann => Hashable ( Version ann) Source #
Instance details Defined in PlutusCore.Core.Type Methods hashWithSalt :: Int -> Version ann -> Int Source # hash :: Version ann -> 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 #
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 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 ( TypeRep a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> TypeRep a -> Int Source # hash :: TypeRep a -> 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 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 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 ( Fixed a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Fixed a -> Int Source # hash :: Fixed 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 ( Proxy a)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt :: Int -> Proxy a -> Int Source # hash :: Proxy a -> 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 #
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 #
( 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 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.Strict.These Methods hashWithSalt :: Int -> These a b -> Int Source # hash :: These a b -> 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 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 #
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 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 ( 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 #
( 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 #
( 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 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 #

type PrettyUni uni fun = ( GShow uni, Closed uni, Pretty fun, Typeable uni, Typeable fun, Everywhere uni PrettyConst ) Source #

The set of constraints we need to be able to print things in universes, which we need in order to throw exceptions.