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
- newtype ByronSpecGenTxErr = ByronSpecGenTxErr {}
- 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
Generic ByronSpecGenTxErr Source # | |||||
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types
Methods from ∷ ByronSpecGenTxErr → Rep ByronSpecGenTxErr x # to ∷ Rep ByronSpecGenTxErr x → ByronSpecGenTxErr # | |||||
Show ByronSpecGenTxErr Source # | |||||
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec ∷ Int → ByronSpecGenTxErr → ShowS # show ∷ ByronSpecGenTxErr → String # showList ∷ [ByronSpecGenTxErr] → ShowS # | |||||
Serialise ByronSpecGenTxErr Source # | |||||
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode ∷ ByronSpecGenTxErr → Encoding Source # decode ∷ Decoder s ByronSpecGenTxErr Source # | |||||
type Rep ByronSpecGenTxErr Source # | |||||
Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.25.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure CHAIN))))) |