hydra-tx-0.20.0: Hydra transaction library
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Tx.Abort

Synopsis

Creation

data AbortTxError Source #

Constructors

OverlappingInputs 
CannotFindHeadOutputToAbort 

Instances

Instances details
Show AbortTxError Source # 
Instance details

Defined in Hydra.Tx.Abort

Methods

showsPrec :: Int -> AbortTxError -> ShowS Source #

show :: AbortTxError -> String Source #

showList :: [AbortTxError] -> ShowS Source #

abortTx Source #

Arguments

:: UTxO

Committed UTxOs to reimburse.

-> ScriptRegistry

Published Hydra scripts to reference.

-> VerificationKey PaymentKey

Party who's authorizing this transaction

-> (TxIn, TxOut CtxUTxO)

Everything needed to spend the Head state-machine output.

-> PlutusScript

Script for monetary policy to burn tokens

-> Map TxIn (TxOut CtxUTxO)

Data needed to spend the initial output sent to each party to the Head. Should contain the PT and is locked by initial script.

-> Map TxIn (TxOut CtxUTxO)

Data needed to spend commit outputs. Should contain the PT and is locked by commit script.

-> Either AbortTxError Tx 

Create transaction which aborts a head by spending the Head output and all other "initial" outputs.

Observation

newtype AbortObservation Source #

Constructors

AbortObservation 

Fields

Instances

Instances details
Generic AbortObservation Source # 
Instance details

Defined in Hydra.Tx.Abort

Associated Types

type Rep AbortObservation :: Type -> Type Source #

Methods

from :: AbortObservation -> Rep AbortObservation x Source #

to :: Rep AbortObservation x -> AbortObservation Source #

Show AbortObservation Source # 
Instance details

Defined in Hydra.Tx.Abort

Methods

showsPrec :: Int -> AbortObservation -> ShowS Source #

show :: AbortObservation -> String Source #

showList :: [AbortObservation] -> ShowS Source #

Eq AbortObservation Source # 
Instance details

Defined in Hydra.Tx.Abort

Methods

(==) :: AbortObservation -> AbortObservation -> Bool Source #

(/=) :: AbortObservation -> AbortObservation -> Bool Source #

type Rep AbortObservation Source # 
Instance details

Defined in Hydra.Tx.Abort

type Rep AbortObservation = D1 ('MetaData "AbortObservation" "Hydra.Tx.Abort" "hydra-tx-0.20.0-b01Sd51Fpn1r0Mfj7XdB1" 'True) (C1 ('MetaCons "AbortObservation" 'PrefixI 'True) (S1 ('MetaSel ('Just "headId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 HeadId)))

observeAbortTx Source #

Arguments

:: UTxO

A UTxO set to lookup tx inputs

-> Tx 
-> Maybe AbortObservation 

Identify an abort tx by looking up the input spending the Head output and decoding its redeemer.