Safe Haskell	Safe-Inferred
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 {
- unByronSpecGenTxErr ∷ NonEmpty (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

Instances details

Generic ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTx ∷ Type → Type # Methods from ∷ ByronSpecGenTx → Rep ByronSpecGenTx x # to ∷ Rep ByronSpecGenTx x → ByronSpecGenTx #
Show ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec ∷ Int → ByronSpecGenTx → ShowS # show ∷ ByronSpecGenTx → String # showList ∷ [ByronSpecGenTx] → ShowS #
Serialise ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode ∷ ByronSpecGenTx → Encoding Source # decode ∷ Decoder s ByronSpecGenTx Source # encodeList ∷ [ByronSpecGenTx] → Encoding Source # decodeList ∷ Decoder s [ByronSpecGenTx] Source #
type Rep ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTx = D1 ('MetaData "ByronSpecGenTx" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.16.0.0-inplace-unstable-byronspec" 'False) ((C1 ('MetaCons "ByronSpecGenTxDCert" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert)) :+: C1 ('MetaCons "ByronSpecGenTxTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ByronSpecGenTxUProp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UProp)) :+: C1 ('MetaCons "ByronSpecGenTxVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vote))))

newtype ByronSpecGenTxErr Source #

Transaction errors

We don't distinguish these from any other kind of CHAIN failure.

Constructors

ByronSpecGenTxErr
Fields unByronSpecGenTxErr ∷ NonEmpty (PredicateFailure CHAIN)

Instances

Instances details

Generic ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTxErr ∷ Type → Type # Methods from ∷ ByronSpecGenTxErr → Rep ByronSpecGenTxErr x # to ∷ Rep ByronSpecGenTxErr x → ByronSpecGenTxErr #
Show ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec ∷ Int → ByronSpecGenTxErr → ShowS # show ∷ ByronSpecGenTxErr → String # showList ∷ [ByronSpecGenTxErr] → ShowS #
Serialise ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode ∷ ByronSpecGenTxErr → Encoding Source # decode ∷ Decoder s ByronSpecGenTxErr Source # encodeList ∷ [ByronSpecGenTxErr] → Encoding Source # decodeList ∷ Decoder s [ByronSpecGenTxErr] Source #
type Rep ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.16.0.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure CHAIN)))))

apply ∷ ByronSpecGenesis → ByronSpecGenTx → State CHAIN → Except ByronSpecGenTxErr (State CHAIN) Source #

partition ∷ [ByronSpecGenTx] → ([DCert], [Tx], [UProp], [Vote]) Source #