ouroboros-consensus-byronspec-0.1.0.0: ByronSpec ledger integration in the Ouroboros consensus layer
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

Instances

Instances details
Show ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Generic ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Associated Types

type Rep ByronSpecGenTxTypeType Source #

Serialise ByronSpecGenTx Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

encodeByronSpecGenTx → 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 ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DCert)) :+: C1 ('MetaCons "ByronSpecGenTxTx" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Tx))) :+: (C1 ('MetaCons "ByronSpecGenTxUProp" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UProp)) :+: C1 ('MetaCons "ByronSpecGenTxVote" 'PrefixI 'False) (S1 ('MetaSel ('NothingMaybe 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
Show ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Generic ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Associated Types

type Rep ByronSpecGenTxErrTypeType Source #

Serialise ByronSpecGenTxErr Source # 
Instance details

Defined in Ouroboros.Consensus.ByronSpec.Ledger.GenTx

Methods

encodeByronSpecGenTxErr → 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])))

applyByronSpecGenesisByronSpecGenTx → State CHAIN → Except ByronSpecGenTxErr (State CHAIN) Source #

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