Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.ByronSpec.Ledger.GenTx
Description
Combine all Byron transaction types into single union type
Intended for qualified import
import Ouroboros.Consensus.ByronSpec.Ledger.GenTx (ByronSpecGenTx(..), ByronSpecGenTxErr(..)) import qualified Ouroboros.Consensus.ByronSpec.Ledger.GenTx as GenTx
Synopsis
- data ByronSpecGenTx
- = ByronSpecGenTxDCert DCert
- | ByronSpecGenTxTx Tx
- | ByronSpecGenTxUProp UProp
- | ByronSpecGenTxVote Vote
- newtype ByronSpecGenTxErr = ByronSpecGenTxErr {
- unByronSpecGenTxErr ∷ [PredicateFailure CHAIN]
- apply ∷ ByronSpecGenesis → ByronSpecGenTx → State CHAIN → Except ByronSpecGenTxErr (State CHAIN)
- partition ∷ [ByronSpecGenTx] → ([DCert], [Tx], [UProp], [Vote])
Documentation
data ByronSpecGenTx Source #
Generalized transaction
The spec doesn't have a type for this, instead splitting the block body into separate lists
Constructors
ByronSpecGenTxDCert DCert | |
ByronSpecGenTxTx Tx | |
ByronSpecGenTxUProp UProp | |
ByronSpecGenTxVote Vote |
Instances
newtype ByronSpecGenTxErr Source #
Transaction errors
We don't distinguish these from any other kind of CHAIN failure.
Constructors
ByronSpecGenTxErr | |
Fields
|
Instances
Show ByronSpecGenTxErr Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx | |
Generic ByronSpecGenTxErr Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods | |
Serialise ByronSpecGenTxErr Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode ∷ ByronSpecGenTxErr → Encoding # decode ∷ Decoder s ByronSpecGenTxErr # encodeList ∷ [ByronSpecGenTxErr] → Encoding # decodeList ∷ Decoder s [ByronSpecGenTxErr] # | |
type Rep ByronSpecGenTxErr Source # | |
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-byronspec-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PredicateFailure CHAIN]))) |
apply ∷ ByronSpecGenesis → ByronSpecGenTx → State CHAIN → Except ByronSpecGenTxErr (State CHAIN) Source #
partition ∷ [ByronSpecGenTx] → ([DCert], [Tx], [UProp], [Vote]) Source #