Cardano.Ledger.Shelley.Internal · cardano-ledger-shelley-1.19.0.1

valueconsumedTxBody

:: (EraTxBody era, EraCertState era)
=> TxBody l era
-> PParams era
-> CertState era
-> UTxO era
-> Consumed

#

valueproducedTxBody

:: (EraTxBody era, EraCertState era)
=> TxBody TopTx era
-> PParams era
-> CertState era
-> Produced

#

valuetotalAdaPotsES

:: (EraTxOut era, EraGov era, EraCertState era)
=> EpochState era
-> AdaPots

#

valuecompareAdaPots :: String -> AdaPots -> String -> AdaPots -> String

#

valueshowCred :: Credential x -> String

#

valueshowIR :: InstantaneousRewards -> String

#

valueshowKeyHash :: KeyHash x -> String

#

valueshowListy :: Foldable t => (a -> String) -> t a -> String

#

valueshowMap :: (t1 -> [Char]) -> (t2 -> [Char]) -> Map t1 t2 -> String

#

valueshowSafeHash :: SafeHash i -> String

#

valueshowTxCerts :: EraTxBody era => TxBody t era -> String

#

valueshowWithdrawal :: Withdrawals -> String

#

valuesynopsisCoinMap :: Maybe (Map k Coin) -> String

#

valuetrace :: String -> a -> a

#

The trace function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of f x and outputs the message to stderr. Depending on your terminal (settings), they may or may not be mixed.

Example2 expressions

>>> let x = 123; f = show>>> trace ("calling f with x = " ++ show x) (f x)calling f with x = 123"123"

The trace function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.