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

Instances details

Show ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec ∷ Int → ByronSpecGenTx → ShowS Source # show ∷ ByronSpecGenTx → String Source # showList ∷ [ByronSpecGenTx] → ShowS Source #
Generic ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTx ∷ Type → Type Source # Methods from ∷ ByronSpecGenTx → Rep ByronSpecGenTx x Source # to ∷ Rep ByronSpecGenTx x → ByronSpecGenTx Source #
Serialise ByronSpecGenTx Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods encode ∷ ByronSpecGenTx → Encoding # decode ∷ Decoder s ByronSpecGenTx # encodeList ∷ [ByronSpecGenTx] → Encoding # decodeList ∷ Decoder s [ByronSpecGenTx] #
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-byronspec-0.1.0.0-inplace" '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 ∷ [PredicateFailure CHAIN]

Instances

Instances details

Show ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Methods showsPrec ∷ Int → ByronSpecGenTxErr → ShowS Source # show ∷ ByronSpecGenTxErr → String Source # showList ∷ [ByronSpecGenTxErr] → ShowS Source #
Generic ByronSpecGenTxErr Source #
Instance details Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx Associated Types type Rep ByronSpecGenTxErr ∷ Type → Type Source # Methods from ∷ ByronSpecGenTxErr → Rep ByronSpecGenTxErr x Source # to ∷ Rep ByronSpecGenTxErr x → ByronSpecGenTxErr Source #
Serialise ByronSpecGenTxErr Source #
Instance details 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 #
Instance details 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 #