module Hydra.Tx.BlueprintTx where

import Hydra.Tx.IsTx (UTxOType)

-- | _Blueprint/Draft_ transaction paired with the 'UTxO' which resolves it's inputs.
-- The transaction inputs are committed to a `Head` and the 'lookupUTxO' is expected
-- to contain these inputs.
data CommitBlueprintTx tx = CommitBlueprintTx {forall tx. CommitBlueprintTx tx -> UTxOType tx
lookupUTxO :: UTxOType tx, forall tx. CommitBlueprintTx tx -> tx
blueprintTx :: tx}