ouroboros-consensus-cardano-0.25.1.0: The instantation of the Ouroboros consensus layer used by Cardano
Safe HaskellNone
LanguageHaskell2010

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

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 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTx = D1 ('MetaData "ByronSpecGenTx" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.25.1.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))))

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.25.1.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

Instances

Instances details
Generic ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Associated Types

type Rep ByronSpecGenTxErr 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

type Rep ByronSpecGenTxErr = D1 ('MetaData "ByronSpecGenTxErr" "Ouroboros.Consensus.ByronSpec.Ledger.GenTx" "ouroboros-consensus-cardano-0.25.1.0-inplace-unstable-byronspec" 'True) (C1 ('MetaCons "ByronSpecGenTxErr" 'PrefixI 'True) (S1 ('MetaSel ('Just "unByronSpecGenTxErr") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (NonEmpty (PredicateFailure CHAIN)))))

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.25.1.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 #