cooked-validators-4.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Cooked.ShowBS

Description

This module exposes on-chain pretty-printing function for all the types that occur on the ScriptContext to BuiltinString. This is useful for debugging of validators. You probably do not want to use this in production code, as many of the functions in this module are wildly inefficient due to limitations of the BuiltinString type.

If the script execution on your transactions go over budget by using this module, consider using txOptEmulatorParamsModification to temporarily loosen the limits (at the cost of breaking compatibility with mainnet)

Synopsis

Documentation

class ShowBS a where Source #

analogue of Haskell's Show class to be use in Plutus scripts.

Methods

showBS :: a -> BuiltinString Source #

analogue of show

Instances

Instances details
ShowBS Address Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Credential Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS StakingCredential Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS PubKeyHash Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Datum Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS DatumHash Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Redeemer Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ScriptHash Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS POSIXTime Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS CurrencySymbol Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Lovelace Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TokenName Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Value Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS OutputDatum Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxOut Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ChangedParameters Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ColdCommitteeCredential Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Committee Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Constitution Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS DRep Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS DRepCredential Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Delegatee Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS GovernanceAction Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS GovernanceActionId Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS HotCommitteeCredential Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ProposalProcedure Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ProtocolVersion Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ScriptContext Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS ScriptPurpose Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxCert Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxInInfo Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxInfo Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Vote Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Voter Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxId Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS TxOutRef Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS BuiltinByteString Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS BuiltinData Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Rational Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Integer Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS Bool Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS (Extended a) Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS (Interval a) Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS (LowerBound a) Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS (UpperBound a) Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS (Maybe a) Source # 
Instance details

Defined in Cooked.ShowBS

ShowBS a => ShowBS [a] Source # 
Instance details

Defined in Cooked.ShowBS

Methods

showBS :: [a] -> BuiltinString Source #

(ShowBS k, ShowBS v) => ShowBS (Map k v) Source # 
Instance details

Defined in Cooked.ShowBS

Methods

showBS :: Map k v -> BuiltinString Source #

(ShowBS a, ShowBS b) => ShowBS (a, b) Source # 
Instance details

Defined in Cooked.ShowBS

Methods

showBS :: (a, b) -> BuiltinString Source #