Safe Haskell	Safe-Inferred
Language	Haskell2010

Byron.Spec.Ledger.UTxO

Synopsis

newtype TxId = TxId {
- getTxId ∷ Hash
}
data TxIn = TxIn TxId Natural
data TxOut = TxOut {
- addr ∷ Addr
- value ∷ Lovelace
}
newtype UTxO = UTxO {
- unUTxO ∷ Map TxIn TxOut
}
mapUTxOValues ∷ (Lovelace → Lovelace) → UTxO → UTxO
addValue ∷ TxOut → Lovelace → TxOut
fromTxOuts ∷ [TxOut] → UTxO
data TxBody = TxBody {
- inputs ∷ [TxIn]
- outputs ∷ [TxOut]
}
txid ∷ TxBody → TxId
txValue ∷ TxBody → Lovelace
txins ∷ TxBody → [TxIn]
txouts ∷ TxBody → UTxO
balance ∷ UTxO → Lovelace
pcMinFee ∷ PParams → Tx → Lovelace
txsize ∷ Tx → Int
data Wit = Wit VKey (Sig TxBody)
data Tx = Tx {
- body ∷ TxBody
- witnesses ∷ [Wit]
}
makeWitness ∷ KeyPair → TxBody → Wit
makeTxWits ∷ UTxO → TxBody → Tx

Documentation

newtype TxId Source #

A unique ID of a transaction, which is computable from the transaction.

Constructors

TxId
Fields getTxId ∷ Hash

Instances

Instances details

Data TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxId → c TxId Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxId Source # toConstr ∷ TxId → Constr Source # dataTypeOf ∷ TxId → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxId) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxId) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxId → TxId Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxId → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxId → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId Source #
Generic TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxId ∷ Type → Type Source # Methods from ∷ TxId → Rep TxId x Source # to ∷ Rep TxId x → TxId Source #
Show TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxId → ShowS Source # show ∷ TxId → String Source # showList ∷ [TxId] → ShowS Source #
HasTypeReps TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ TxId → Seq TypeRep Source #
Eq TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ TxId → TxId → Bool Source # (/=) ∷ TxId → TxId → Bool Source #
Ord TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxId → TxId → Ordering Source # (<) ∷ TxId → TxId → Bool Source # (<=) ∷ TxId → TxId → Bool Source # (>) ∷ TxId → TxId → Bool Source # (>=) ∷ TxId → TxId → Bool Source # max ∷ TxId → TxId → TxId Source # min ∷ TxId → TxId → TxId Source #
Hashable TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → TxId → Int Source # hash ∷ TxId → Int Source #
NoThunks TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → TxId → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxId → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxId → String Source #
type Rep TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep TxId = D1 ('MetaData "TxId" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)))

data TxIn Source #

The input of a UTxO.

TODO - is it okay to use list indices instead of implementing the Ix Type?

Constructors

TxIn TxId Natural

Instances

Instances details

Data TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxIn → c TxIn Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxIn Source # toConstr ∷ TxIn → Constr Source # dataTypeOf ∷ TxIn → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxIn) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxIn) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxIn → TxIn Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxIn → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxIn → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn Source #
Generic TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxIn ∷ Type → Type Source # Methods from ∷ TxIn → Rep TxIn x Source # to ∷ Rep TxIn x → TxIn Source #
Show TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxIn → ShowS Source # show ∷ TxIn → String Source # showList ∷ [TxIn] → ShowS Source #
HasTypeReps TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ TxIn → Seq TypeRep Source #
Eq TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ TxIn → TxIn → Bool Source # (/=) ∷ TxIn → TxIn → Bool Source #
Ord TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxIn → TxIn → Ordering Source # (<) ∷ TxIn → TxIn → Bool Source # (<=) ∷ TxIn → TxIn → Bool Source # (>) ∷ TxIn → TxIn → Bool Source # (>=) ∷ TxIn → TxIn → Bool Source # max ∷ TxIn → TxIn → TxIn Source # min ∷ TxIn → TxIn → TxIn Source #
Hashable TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → TxIn → Int Source # hash ∷ TxIn → Int Source #
NoThunks TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → TxIn → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxIn → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxIn → String Source #
type Rep TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep TxIn = D1 ('MetaData "TxIn" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural)))

data TxOut Source #

The output of a UTxO.

Constructors

TxOut
Fields addr ∷ Addr value ∷ Lovelace

Instances

Instances details

Data TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxOut → c TxOut Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxOut Source # toConstr ∷ TxOut → Constr Source # dataTypeOf ∷ TxOut → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxOut) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxOut) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxOut → TxOut Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxOut → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxOut → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut Source #
Generic TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxOut ∷ Type → Type Source # Methods from ∷ TxOut → Rep TxOut x Source # to ∷ Rep TxOut x → TxOut Source #
Show TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxOut → ShowS Source # show ∷ TxOut → String Source # showList ∷ [TxOut] → ShowS Source #
HasTypeReps TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ TxOut → Seq TypeRep Source #
Eq TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ TxOut → TxOut → Bool Source # (/=) ∷ TxOut → TxOut → Bool Source #
Ord TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxOut → TxOut → Ordering Source # (<) ∷ TxOut → TxOut → Bool Source # (<=) ∷ TxOut → TxOut → Bool Source # (>) ∷ TxOut → TxOut → Bool Source # (>=) ∷ TxOut → TxOut → Bool Source # max ∷ TxOut → TxOut → TxOut Source # min ∷ TxOut → TxOut → TxOut Source #
Hashable TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → TxOut → Int Source # hash ∷ TxOut → Int Source #
NoThunks TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → TxOut → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxOut → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxOut → String Source #
type Rep TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep TxOut = D1 ('MetaData "TxOut" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Addr) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lovelace)))

newtype UTxO Source #

The unspent transaction outputs.

Constructors

UTxO
Fields unUTxO ∷ Map TxIn TxOut

Instances

Instances details

Data UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → UTxO → c UTxO Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UTxO Source # toConstr ∷ UTxO → Constr Source # dataTypeOf ∷ UTxO → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UTxO) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UTxO) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → UTxO → UTxO Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UTxO → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UTxO → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO Source #
Monoid UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods mempty ∷ UTxO Source # mappend ∷ UTxO → UTxO → UTxO Source # mconcat ∷ [UTxO] → UTxO Source #
Semigroup UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (<>) ∷ UTxO → UTxO → UTxO Source # sconcat ∷ NonEmpty UTxO → UTxO Source # stimes ∷ Integral b ⇒ b → UTxO → UTxO Source #
Show UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → UTxO → ShowS Source # show ∷ UTxO → String Source # showList ∷ [UTxO] → ShowS Source #
Relation UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Domain UTxO Source # type Range UTxO Source # Methods singleton ∷ Domain UTxO → Range UTxO → UTxO Source # dom ∷ UTxO → Set (Domain UTxO) Source # range ∷ UTxO → Set (Range UTxO) Source # (◁) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source # (<\|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source # (⋪) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source # (</\|) ∷ (Ord (Domain UTxO), Foldable f) ⇒ f (Domain UTxO) → UTxO → UTxO Source # (▷) ∷ UTxO → Set (Range UTxO) → UTxO Source # (\|>) ∷ UTxO → Set (Range UTxO) → UTxO Source # (⋫) ∷ UTxO → Set (Range UTxO) → UTxO Source # (\|/>) ∷ UTxO → Set (Range UTxO) → UTxO Source # (∪) ∷ UTxO → UTxO → UTxO Source # (⨃) ∷ (Ord (Domain UTxO), Ord (Range UTxO), Foldable f) ⇒ UTxO → f (Domain UTxO, Range UTxO) → UTxO Source # (<=◁) ∷ Domain UTxO → UTxO → UTxO Source # (▷<=) ∷ UTxO → Range UTxO → UTxO Source # (▷>=) ∷ UTxO → Range UTxO → UTxO Source # size ∷ Integral n ⇒ UTxO → n Source #
Eq UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ UTxO → UTxO → Bool Source # (/=) ∷ UTxO → UTxO → Bool Source #
NoThunks UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → UTxO → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → UTxO → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy UTxO → String Source #
type Domain UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Domain UTxO = Domain (Map TxIn TxOut)
type Range UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Range UTxO = Range (Map TxIn TxOut)

mapUTxOValues ∷ (Lovelace → Lovelace) → UTxO → UTxO Source #

Apply function uniformly across all outputs

addValue ∷ TxOut → Lovelace → TxOut Source #

fromTxOuts ∷ [TxOut] → UTxO Source #

Construct a UTxO from initial TxOuts

data TxBody Source #

A raw transaction

Constructors

TxBody
Fields inputs ∷ [TxIn] outputs ∷ [TxOut]

Instances

Instances details

Data TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → TxBody → c TxBody Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxBody Source # toConstr ∷ TxBody → Constr Source # dataTypeOf ∷ TxBody → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxBody) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxBody) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxBody → TxBody Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxBody → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxBody → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody Source #
Generic TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxBody ∷ Type → Type Source # Methods from ∷ TxBody → Rep TxBody x Source # to ∷ Rep TxBody x → TxBody Source #
Show TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxBody → ShowS Source # show ∷ TxBody → String Source # showList ∷ [TxBody] → ShowS Source #
HasHash TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hash ∷ TxBody → Hash Source #
HasTypeReps TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ TxBody → Seq TypeRep Source #
Eq TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ TxBody → TxBody → Bool Source # (/=) ∷ TxBody → TxBody → Bool Source #
Ord TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxBody → TxBody → Ordering Source # (<) ∷ TxBody → TxBody → Bool Source # (<=) ∷ TxBody → TxBody → Bool Source # (>) ∷ TxBody → TxBody → Bool Source # (>=) ∷ TxBody → TxBody → Bool Source # max ∷ TxBody → TxBody → TxBody Source # min ∷ TxBody → TxBody → TxBody Source #
Hashable TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → TxBody → Int Source # hash ∷ TxBody → Int Source #
NoThunks TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → TxBody → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → TxBody → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy TxBody → String Source #
type Rep TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep TxBody = D1 ('MetaData "TxBody" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "TxBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxIn]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOut])))

txid ∷ TxBody → TxId Source #

txValue ∷ TxBody → Lovelace Source #

Total value of a transaction.

txins ∷ TxBody → [TxIn] Source #

Compute the UTxO inputs of a transaction.

txouts ∷ TxBody → UTxO Source #

Compute the UTxO outputs of a transaction.

balance ∷ UTxO → Lovelace Source #

Determine the total balance contained in the UTxO.

pcMinFee ∷ PParams → Tx → Lovelace Source #

txsize ∷ Tx → Int Source #

data Wit Source #

Proof/Witness that a transaction is authorized by the given key holder.

Constructors

Wit VKey (Sig TxBody)

Instances

Instances details

Data Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Wit → c Wit Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Wit Source # toConstr ∷ Wit → Constr Source # dataTypeOf ∷ Wit → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Wit) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Wit) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Wit → Wit Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Wit → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Wit → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit Source #
Generic Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Wit ∷ Type → Type Source # Methods from ∷ Wit → Rep Wit x Source # to ∷ Rep Wit x → Wit Source #
Show Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → Wit → ShowS Source # show ∷ Wit → String Source # showList ∷ [Wit] → ShowS Source #
HasTypeReps Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ Wit → Seq TypeRep Source #
Eq Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ Wit → Wit → Bool Source # (/=) ∷ Wit → Wit → Bool Source #
Ord Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ Wit → Wit → Ordering Source # (<) ∷ Wit → Wit → Bool Source # (<=) ∷ Wit → Wit → Bool Source # (>) ∷ Wit → Wit → Bool Source # (>=) ∷ Wit → Wit → Bool Source # max ∷ Wit → Wit → Wit Source # min ∷ Wit → Wit → Wit Source #
Hashable Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → Wit → Int Source # hash ∷ Wit → Int Source #
NoThunks Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → Wit → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Wit → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Wit → String Source #
type Rep Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep Wit = D1 ('MetaData "Wit" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Wit" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig TxBody))))

data Tx Source #

A fully formed transaction.

Constructors

Tx
Fields body ∷ TxBody witnesses ∷ [Wit]

Instances

Instances details

Data Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods gfoldl ∷ (∀ d b. Data d ⇒ c (d → b) → d → c b) → (∀ g. g → c g) → Tx → c Tx Source # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Tx Source # toConstr ∷ Tx → Constr Source # dataTypeOf ∷ Tx → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Tx) Source # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Tx) Source # gmapT ∷ (∀ b. Data b ⇒ b → b) → Tx → Tx Source # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r Source # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r Source # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Tx → [u] Source # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Tx → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx Source # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx Source #
Generic Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Tx ∷ Type → Type Source # Methods from ∷ Tx → Rep Tx x Source # to ∷ Rep Tx x → Tx Source #
Show Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → Tx → ShowS Source # show ∷ Tx → String Source # showList ∷ [Tx] → ShowS Source #
HasTypeReps Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods typeReps ∷ Tx → Seq TypeRep Source #
Eq Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (==) ∷ Tx → Tx → Bool Source # (/=) ∷ Tx → Tx → Bool Source #
Hashable Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hashWithSalt ∷ Int → Tx → Int Source # hash ∷ Tx → Int Source #
NoThunks Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods noThunks ∷ Context → Tx → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Tx → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy Tx → String Source #
HasHash [Tx] Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods hash ∷ [Tx] → Hash Source #
type Rep Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO type Rep Tx = D1 ('MetaData "Tx" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.0.1.0-inplace" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxBody) :*: S1 ('MetaSel ('Just "witnesses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Wit])))

makeWitness ∷ KeyPair → TxBody → Wit Source #

Create a witness for transaction

makeTxWits ∷ UTxO → TxBody → Tx Source #