Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Tx.Fanout

Contents

Creation
Observation

Synopsis

fanoutTx :: ScriptRegistry -> UTxO -> Maybe UTxO -> Maybe UTxO -> (TxIn, TxOut CtxUTxO) -> SlotNo -> PlutusScript -> Tx
newtype FanoutObservation = FanoutObservation {
- headId :: HeadId
}
observeFanoutTx :: UTxO -> Tx -> Maybe FanoutObservation

Creation

fanoutTx Source #

Arguments

:: ScriptRegistry	Published Hydra scripts to reference.
-> UTxO	Snapshotted UTxO to fanout on layer 1
-> Maybe UTxO	Snapshotted commit UTxO to fanout on layer 1
-> Maybe UTxO	Snapshotted decommit UTxO to fanout on layer 1
-> (TxIn, TxOut CtxUTxO)	Everything needed to spend the Head state-machine output.
-> SlotNo	Contestation deadline as SlotNo, used to set lower tx validity bound.
-> PlutusScript	Minting Policy script, made from initial seed
-> Tx

Create the fanout transaction, which distributes the closed state accordingly. The head validator allows fanout only > deadline, so we need to set the lower bound to be deadline + 1 slot.

Observation

newtype FanoutObservation Source #

Constructors

FanoutObservation
Fields headId :: HeadId

Instances

Instances details

Generic FanoutObservation Source #
Instance details Defined in Hydra.Tx.Fanout Associated Types type Rep FanoutObservation :: Type -> Type Source # Methods from :: FanoutObservation -> Rep FanoutObservation x Source # to :: Rep FanoutObservation x -> FanoutObservation Source #
Show FanoutObservation Source #
Instance details Defined in Hydra.Tx.Fanout Methods showsPrec :: Int -> FanoutObservation -> ShowS Source # show :: FanoutObservation -> String Source # showList :: [FanoutObservation] -> ShowS Source #
Eq FanoutObservation Source #
Instance details Defined in Hydra.Tx.Fanout Methods (==) :: FanoutObservation -> FanoutObservation -> Bool Source # (/=) :: FanoutObservation -> FanoutObservation -> Bool Source #
type Rep FanoutObservation Source #
Instance details Defined in Hydra.Tx.Fanout type Rep FanoutObservation = D1 ('MetaData "FanoutObservation" "Hydra.Tx.Fanout" "hydra-tx-0.20.0-b01Sd51Fpn1r0Mfj7XdB1" 'True) (C1 ('MetaCons "FanoutObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId)))

observeFanoutTx Source #

Arguments

:: UTxO	A UTxO set to lookup tx inputs
-> Tx
-> Maybe FanoutObservation

Identify a fanout tx by lookup up the input spending the Head output and decoding its redeemer.