Safe Haskell	Safe-Inferred
Language	Haskell2010

Cooked.Skeleton.Datum

Synopsis

Documentation

On transaction outputs, we have the options to use

These four options are also what the type TxSkelOutDatum records. The following table explains their differences.

	datum stored in in the simulated chain state	datum resolved on the `txInfoData`	`OutputDatum` constructor seen by the validator
`TxSkelOutNoDatum`	no	no	`NoOutputDatum`
`TxSkelOutDatumHash`	yes	no	`OutputDatumHash`
`TxSkelOutDatum`	yes	yes	`OutputDatumHash`
`TxSkelOutInlineDatum`	yes	no	`OutputDatum`

That is:

Whenever there is a datum, we'll store it in the state of our simulated chain. This will make it possible to retrieve it later, using functions such as datumFromHash.
Both of the TxSkelOutDatumHash and TxSkelOutDatum constructors will create an output that scripts see on the txInfo as having a datum hash. The difference is whether that hash will be resolvable using validator functions like findDatum.

Constructors

TxSkelOutNoDatum :: TxSkelOutDatum	use no datum
TxSkelOutDatumHash :: TxSkelOutDatumConstrs a => a -> TxSkelOutDatum	only include the hash on the transaction
TxSkelOutDatum :: TxSkelOutDatumConstrs a => a -> TxSkelOutDatum	use a `OutputDatumHash` on the transaction output, but generate the transaction in such a way that the complete datum is included in the `txInfoData` seen by validators
TxSkelOutInlineDatum :: TxSkelOutDatumConstrs a => a -> TxSkelOutDatum	use an inline datum

Instances details

Show TxSkelOutDatum Source #
Instance details Defined in Cooked.Skeleton.Datum Methods showsPrec :: Int -> TxSkelOutDatum -> ShowS # show :: TxSkelOutDatum -> String # showList :: [TxSkelOutDatum] -> ShowS #
ToOutputDatum TxSkelOutDatum Source #
Instance details Defined in Cooked.Skeleton.Datum Methods toOutputDatum :: TxSkelOutDatum -> OutputDatum Source #
PrettyCooked TxSkelOutDatum Source #	The `PrettyCooked` instance for `TxSkelOutDatum` prints the datum it contains according to its own `PrettyCooked` instance.
Instance details Defined in Cooked.Pretty.Cooked Methods prettyCooked :: TxSkelOutDatum -> DocCooked Source # prettyCookedOpt :: PrettyCookedOpts -> TxSkelOutDatum -> DocCooked Source #
Eq TxSkelOutDatum Source #
Instance details Defined in Cooked.Skeleton.Datum Methods (==) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool # (/=) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool #
Ord TxSkelOutDatum Source #
Instance details Defined in Cooked.Skeleton.Datum Methods compare :: TxSkelOutDatum -> TxSkelOutDatum -> Ordering # (<) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool # (<=) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool # (>) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool # (>=) :: TxSkelOutDatum -> TxSkelOutDatum -> Bool # max :: TxSkelOutDatum -> TxSkelOutDatum -> TxSkelOutDatum # min :: TxSkelOutDatum -> TxSkelOutDatum -> TxSkelOutDatum #