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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxId # toConstr ∷ TxId → Constr # dataTypeOf ∷ TxId → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxId) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxId) # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxId → TxId # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxId → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxId → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxId → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxId → m TxId #
Generic TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxId ∷ Type → Type # Methods from ∷ TxId → Rep TxId x # to ∷ Rep TxId x → TxId #
Show TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxId → ShowS # show ∷ TxId → String # showList ∷ [TxId] → ShowS #
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 # (/=) ∷ TxId → TxId → Bool #
Ord TxId Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxId → TxId → Ordering # (<) ∷ TxId → TxId → Bool # (<=) ∷ TxId → TxId → Bool # (>) ∷ TxId → TxId → Bool # (>=) ∷ TxId → TxId → Bool # max ∷ TxId → TxId → TxId # min ∷ TxId → TxId → TxId #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxIn # toConstr ∷ TxIn → Constr # dataTypeOf ∷ TxIn → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxIn) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxIn) # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxIn → TxIn # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxIn → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxIn → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxIn → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxIn → m TxIn #
Generic TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxIn ∷ Type → Type # Methods from ∷ TxIn → Rep TxIn x # to ∷ Rep TxIn x → TxIn #
Show TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxIn → ShowS # show ∷ TxIn → String # showList ∷ [TxIn] → ShowS #
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 # (/=) ∷ TxIn → TxIn → Bool #
Ord TxIn Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxIn → TxIn → Ordering # (<) ∷ TxIn → TxIn → Bool # (<=) ∷ TxIn → TxIn → Bool # (>) ∷ TxIn → TxIn → Bool # (>=) ∷ TxIn → TxIn → Bool # max ∷ TxIn → TxIn → TxIn # min ∷ TxIn → TxIn → TxIn #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxOut # toConstr ∷ TxOut → Constr # dataTypeOf ∷ TxOut → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxOut) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxOut) # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxOut → TxOut # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxOut → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxOut → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxOut → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxOut → m TxOut #
Generic TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxOut ∷ Type → Type # Methods from ∷ TxOut → Rep TxOut x # to ∷ Rep TxOut x → TxOut #
Show TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxOut → ShowS # show ∷ TxOut → String # showList ∷ [TxOut] → ShowS #
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 # (/=) ∷ TxOut → TxOut → Bool #
Ord TxOut Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxOut → TxOut → Ordering # (<) ∷ TxOut → TxOut → Bool # (<=) ∷ TxOut → TxOut → Bool # (>) ∷ TxOut → TxOut → Bool # (>=) ∷ TxOut → TxOut → Bool # max ∷ TxOut → TxOut → TxOut # min ∷ TxOut → TxOut → TxOut #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c UTxO # toConstr ∷ UTxO → Constr # dataTypeOf ∷ UTxO → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c UTxO) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c UTxO) # gmapT ∷ (∀ b. Data b ⇒ b → b) → UTxO → UTxO # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → UTxO → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → UTxO → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → UTxO → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → UTxO → m UTxO #
Monoid UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods mempty ∷ UTxO # mappend ∷ UTxO → UTxO → UTxO # mconcat ∷ [UTxO] → UTxO #
Semigroup UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods (<>) ∷ UTxO → UTxO → UTxO # sconcat ∷ NonEmpty UTxO → UTxO # stimes ∷ Integral b ⇒ b → UTxO → UTxO #
Show UTxO Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → UTxO → ShowS # show ∷ UTxO → String # showList ∷ [UTxO] → ShowS #
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 # (/=) ∷ UTxO → UTxO → Bool #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c TxBody # toConstr ∷ TxBody → Constr # dataTypeOf ∷ TxBody → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c TxBody) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c TxBody) # gmapT ∷ (∀ b. Data b ⇒ b → b) → TxBody → TxBody # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → TxBody → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → TxBody → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → TxBody → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → TxBody → m TxBody #
Generic TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep TxBody ∷ Type → Type # Methods from ∷ TxBody → Rep TxBody x # to ∷ Rep TxBody x → TxBody #
Show TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → TxBody → ShowS # show ∷ TxBody → String # showList ∷ [TxBody] → ShowS #
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 # (/=) ∷ TxBody → TxBody → Bool #
Ord TxBody Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ TxBody → TxBody → Ordering # (<) ∷ TxBody → TxBody → Bool # (<=) ∷ TxBody → TxBody → Bool # (>) ∷ TxBody → TxBody → Bool # (>=) ∷ TxBody → TxBody → Bool # max ∷ TxBody → TxBody → TxBody # min ∷ TxBody → TxBody → TxBody #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Wit # toConstr ∷ Wit → Constr # dataTypeOf ∷ Wit → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Wit) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Wit) # gmapT ∷ (∀ b. Data b ⇒ b → b) → Wit → Wit # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Wit → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Wit → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Wit → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Wit → m Wit #
Generic Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Wit ∷ Type → Type # Methods from ∷ Wit → Rep Wit x # to ∷ Rep Wit x → Wit #
Show Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → Wit → ShowS # show ∷ Wit → String # showList ∷ [Wit] → ShowS #
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 # (/=) ∷ Wit → Wit → Bool #
Ord Wit Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods compare ∷ Wit → Wit → Ordering # (<) ∷ Wit → Wit → Bool # (<=) ∷ Wit → Wit → Bool # (>) ∷ Wit → Wit → Bool # (>=) ∷ Wit → Wit → Bool # max ∷ Wit → Wit → Wit # min ∷ Wit → Wit → Wit #
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 # gunfold ∷ (∀ b r. Data b ⇒ c (b → r) → c r) → (∀ r. r → c r) → Constr → c Tx # toConstr ∷ Tx → Constr # dataTypeOf ∷ Tx → DataType # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c Tx) # dataCast2 ∷ Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c Tx) # gmapT ∷ (∀ b. Data b ⇒ b → b) → Tx → Tx # gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r # gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Tx → r # gmapQ ∷ (∀ d. Data d ⇒ d → u) → Tx → [u] # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Tx → u # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx # gmapMo ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tx → m Tx #
Generic Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Associated Types type Rep Tx ∷ Type → Type # Methods from ∷ Tx → Rep Tx x # to ∷ Rep Tx x → Tx #
Show Tx Source #
Instance details Defined in Byron.Spec.Ledger.UTxO Methods showsPrec ∷ Int → Tx → ShowS # show ∷ Tx → String # showList ∷ [Tx] → ShowS #
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 # (/=) ∷ Tx → Tx → Bool #
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 #