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 {
- 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

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

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

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