Modulebyron-spec-ledger-1.1.0.1Haskell2010

Byron.Spec.Ledger.UTxO

7 types
12 values

Packagebyron-spec-ledger-1.1.0.1
Exports19
LanguageHaskell2010
LicenceApache-2.0
SourceUTxO.hs

newtypenewtype TxId

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

Constructors

TxId
- getTxId :: Hash

Instances9Eq, Data, Ord, Show, Generic, Hashable, …

Eq TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Ord TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps TxIdDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep TxId = D1 ('MetaData "TxId" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'True) (C1 ('MetaCons "TxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Hash)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

datadata TxIn

The input of a UTxO.

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

Constructors

TxIn TxId Natural

Instances9Eq, Data, Ord, Show, Generic, Hashable, …

Eq TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Ord TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps TxInDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep TxIn = D1 ('MetaData "TxIn" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'False) (C1 ('MetaCons "TxIn" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxId) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Natural)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

datadata TxOut

The output of a UTxO.

Constructors

TxOut
- addr :: Addr
- value :: Lovelace

Instances9Eq, Data, Ord, Show, Generic, Hashable, …

Eq TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Ord TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps TxOutDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep TxOut = D1 ('MetaData "TxOut" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'False) (C1 ('MetaCons "TxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "addr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Addr) :*: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Lovelace)))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

newtypenewtype UTxO

The unspent transaction outputs.

Constructors

UTxO
- unUTxO :: Map TxIn TxOut

Instances9Eq, Data, Show, Semigroup, Monoid, NoThunks, …

Eq UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Semigroup UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Monoid UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Relation UTxODefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Domain UTxO = Domain (Map TxIn TxOut)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Range UTxO = Range (Map TxIn TxOut)Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

valuemapUTxOValues :: (Lovelace -> Lovelace) -> UTxO -> UTxO

Apply function uniformly across all outputs

valueaddValue :: TxOut -> Lovelace -> TxOut

valuefromTxOuts :: [TxOut] -> UTxO

Construct a UTxO from initial TxOuts

datadata TxBody

A raw transaction

Constructors

TxBody
- inputs :: [TxIn]
- outputs :: [TxOut]

Instances10Eq, Data, Ord, Show, Generic, Hashable, …

Eq TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Ord TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasHash TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps TxBodyDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep TxBody = D1 ('MetaData "TxBody" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'False) (C1 ('MetaCons "TxBody" 'PrefixI 'True) (S1 ('MetaSel ('Just "inputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxIn]) :*: S1 ('MetaSel ('Just "outputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [TxOut])))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

valuetxid :: TxBody -> TxId

valuetxValue :: TxBody -> Lovelace

Total value of a transaction.

valuetxins :: TxBody -> [TxIn]

Compute the UTxO inputs of a transaction.

valuetxouts :: TxBody -> UTxO

Compute the UTxO outputs of a transaction.

valuebalance :: UTxO -> Lovelace

Determine the total balance contained in the UTxO.

valuepcMinFee :: PParams -> Tx -> Lovelace

valuetxsize :: Tx -> Int

datadata Wit

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

Constructors

Wit VKey (Sig TxBody)

Instances9Eq, Data, Ord, Show, Generic, Hashable, …

Eq WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Ord WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps WitDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep Wit = D1 ('MetaData "Wit" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'False) (C1 ('MetaCons "Wit" 'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 VKey) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Sig TxBody))))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

datadata Tx

A fully formed transaction.

Constructors

Tx
- body :: TxBody
- witnesses :: [Wit]

Instances9Eq, Data, Show, Generic, Hashable, NoThunks, …

Eq TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Data TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Show TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Generic TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
Hashable TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
NoThunks TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasTypeReps TxDefined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
HasHash [Tx]Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO
type Rep Tx = D1 ('MetaData "Tx" "Byron.Spec.Ledger.UTxO" "byron-spec-ledger-1.1.0.1-IG07fLX99Su7spby3aHJ3g" 'False) (C1 ('MetaCons "Tx" 'PrefixI 'True) (S1 ('MetaSel ('Just "body") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 TxBody) :*: S1 ('MetaSel ('Just "witnesses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 [Wit])))Defined in byron-spec-ledger-1.1.0.1 · Byron.Spec.Ledger.UTxO

valuemakeWitness :: KeyPair -> TxBody -> Wit

Create a witness for transaction

valuemakeTxWits :: UTxO -> TxBody -> Tx