Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.Cardano.Block

Contents

Eras
Block
Headers
Generalised transactions
LedgerError
OtherEnvelopeError
TipInfo
Query
CodecConfig
BlockConfig
StorageConfig
ConsensusConfig
LedgerConfig
LedgerState
ChainDepState
EraMismatch

Synopsis

type CardanoEras c = ByronBlock ': CardanoShelleyEras c
type CardanoShelleyEras c = '[ShelleyBlock (TPraos c) (ShelleyEra c), ShelleyBlock (TPraos c) (AllegraEra c), ShelleyBlock (TPraos c) (MaryEra c), ShelleyBlock (TPraos c) (AlonzoEra c), ShelleyBlock (Praos c) (BabbageEra c)]
module Ouroboros.Consensus.Shelley.Eras
type CardanoBlock c = HardForkBlock (CardanoEras c)
data HardForkBlock (xs ∷ [Type]) where
- pattern BlockAllegra ∷ ShelleyBlock (TPraos c) (AllegraEra c) → CardanoBlock c
- pattern BlockAlonzo ∷ ShelleyBlock (TPraos c) (AlonzoEra c) → CardanoBlock c
- pattern BlockByron ∷ ByronBlock → CardanoBlock c
- pattern BlockMary ∷ ShelleyBlock (TPraos c) (MaryEra c) → CardanoBlock c
- pattern BlockShelley ∷ ShelleyBlock (TPraos c) (ShelleyEra c) → CardanoBlock c
- pattern BlockBabbage ∷ ShelleyBlock (Praos c) (BabbageEra c) → CardanoBlock c
type CardanoHeader c = Header (CardanoBlock c)
data family Header blk
type CardanoApplyTxErr c = HardForkApplyTxErr (CardanoEras c)
type CardanoGenTx c = GenTx (CardanoBlock c)
type CardanoGenTxId c = GenTxId (CardanoBlock c)
data family GenTx blk
data HardForkApplyTxErr (xs ∷ [Type]) where
- pattern ApplyTxErrAllegra ∷ ApplyTxErr (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoApplyTxErr c
- pattern ApplyTxErrAlonzo ∷ ApplyTxErr (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoApplyTxErr c
- pattern ApplyTxErrByron ∷ ApplyTxErr ByronBlock → CardanoApplyTxErr c
- pattern ApplyTxErrMary ∷ ApplyTxErr (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoApplyTxErr c
- pattern ApplyTxErrShelley ∷ ApplyTxErr (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoApplyTxErr c
- pattern ApplyTxErrWrongEra ∷ EraMismatch → CardanoApplyTxErr c
- pattern ApplyTxErrBabbage ∷ ApplyTxErr (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoApplyTxErr c
data family TxId tx
type CardanoLedgerError c = HardForkLedgerError (CardanoEras c)
data HardForkLedgerError (xs ∷ [Type]) where
- pattern LedgerErrorAllegra ∷ LedgerError (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoLedgerError c
- pattern LedgerErrorAlonzo ∷ LedgerError (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoLedgerError c
- pattern LedgerErrorByron ∷ LedgerError ByronBlock → CardanoLedgerError c
- pattern LedgerErrorMary ∷ LedgerError (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoLedgerError c
- pattern LedgerErrorShelley ∷ LedgerError (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoLedgerError c
- pattern LedgerErrorWrongEra ∷ EraMismatch → CardanoLedgerError c
- pattern LedgerErrorBabbage ∷ LedgerError (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoLedgerError c
type CardanoOtherHeaderEnvelopeError c = HardForkEnvelopeErr (CardanoEras c)
data HardForkEnvelopeErr (xs ∷ [Type]) where
- pattern OtherHeaderEnvelopeErrorAllegra ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorBabbage ∷ OtherHeaderEnvelopeError (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorAlonzo ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorByron ∷ OtherHeaderEnvelopeError ByronBlock → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorMary ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorShelley ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoOtherHeaderEnvelopeError c
- pattern OtherHeaderEnvelopeErrorWrongEra ∷ EraMismatch → CardanoOtherHeaderEnvelopeError c
type CardanoTipInfo c = OneEraTipInfo (CardanoEras c)
data OneEraTipInfo (xs ∷ [Type]) where
- pattern TipInfoAllegra ∷ TipInfo (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoTipInfo c
- pattern TipInfoAlonzo ∷ TipInfo (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoTipInfo c
- pattern TipInfoByron ∷ TipInfo ByronBlock → CardanoTipInfo c
- pattern TipInfoBabbage ∷ TipInfo (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoTipInfo c
- pattern TipInfoMary ∷ TipInfo (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoTipInfo c
- pattern TipInfoShelley ∷ TipInfo (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoTipInfo c
data family BlockQuery blk ∷ Type → Type
type CardanoQuery c = BlockQuery (CardanoBlock c)
type CardanoQueryResult c = HardForkQueryResult (CardanoEras c)
data Either a b where
- pattern QueryResultSuccess ∷ result → CardanoQueryResult c result
- pattern QueryResultEraMismatch ∷ EraMismatch → CardanoQueryResult c result
type CardanoCodecConfig c = CodecConfig (CardanoBlock c)
data family CodecConfig blk
data family BlockConfig blk
type CardanoBlockConfig c = BlockConfig (CardanoBlock c)
type CardanoStorageConfig c = StorageConfig (CardanoBlock c)
data family StorageConfig blk
type CardanoConsensusConfig c = ConsensusConfig (HardForkProtocol (CardanoEras c))
data family ConsensusConfig p
type CardanoLedgerConfig c = HardForkLedgerConfig (CardanoEras c)
data HardForkLedgerConfig (xs ∷ [Type]) where
- pattern CardanoLedgerConfig ∷ PartialLedgerConfig ByronBlock → PartialLedgerConfig (ShelleyBlock (TPraos c) (ShelleyEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (AllegraEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (MaryEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (AlonzoEra c)) → PartialLedgerConfig (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoLedgerConfig c
type CardanoLedgerState c = LedgerState (CardanoBlock c)
data family LedgerState blk
type CardanoChainDepState c = HardForkChainDepState (CardanoEras c)
data HardForkState (f ∷ Type → Type) (xs ∷ [Type]) where
- pattern ChainDepStateAllegra ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (AllegraEra c))) → CardanoChainDepState c
- pattern ChainDepStateAlonzo ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (AlonzoEra c))) → CardanoChainDepState c
- pattern ChainDepStateBabbage ∷ ChainDepState (BlockProtocol (ShelleyBlock (Praos c) (BabbageEra c))) → CardanoChainDepState c
- pattern ChainDepStateByron ∷ ChainDepState (BlockProtocol ByronBlock) → CardanoChainDepState c
- pattern ChainDepStateMary ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (MaryEra c))) → CardanoChainDepState c
- pattern ChainDepStateShelley ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (ShelleyEra c))) → CardanoChainDepState c
data EraMismatch = EraMismatch {
- ledgerEraName ∷ !Text
- otherEraName ∷ !Text
}

Eras

type CardanoEras c = ByronBlock ': CardanoShelleyEras c Source #

The eras in the Cardano blockchain.

We parameterise over the crypto used in the post-Byron eras: c.

TODO: parameterise ByronBlock over crypto too

type CardanoShelleyEras c = '[ShelleyBlock (TPraos c) (ShelleyEra c), ShelleyBlock (TPraos c) (AllegraEra c), ShelleyBlock (TPraos c) (MaryEra c), ShelleyBlock (TPraos c) (AlonzoEra c), ShelleyBlock (Praos c) (BabbageEra c)] Source #

module Ouroboros.Consensus.Shelley.Eras

Block

type CardanoBlock c = HardForkBlock (CardanoEras c) Source #

The Cardano block.

Thanks to the pattern synonyms, you can treat this as a sum type with constructors BlockByron and BlockShelley.

f :: CardanoBlock c -> _
f (BlockByron   b) = _
f (BlockShelley s) = _
f (BlockAllegra a) = _
f (BlockMary    m) = _
f (BlockAlonzo  m) = _

data HardForkBlock (xs ∷ [Type]) where Source #

Bundled Patterns

pattern BlockAllegra ∷ ShelleyBlock (TPraos c) (AllegraEra c) → CardanoBlock c
pattern BlockAlonzo ∷ ShelleyBlock (TPraos c) (AlonzoEra c) → CardanoBlock c
pattern BlockByron ∷ ByronBlock → CardanoBlock c
pattern BlockMary ∷ ShelleyBlock (TPraos c) (MaryEra c) → CardanoBlock c
pattern BlockShelley ∷ ShelleyBlock (TPraos c) (ShelleyEra c) → CardanoBlock c
pattern BlockBabbage ∷ ShelleyBlock (Praos c) (BabbageEra c) → CardanoBlock c

Instances

Instances details

SupportedNetworkProtocolVersion ByronBlockHFC Source #	Forward to the ByronBlock instance. Only supports `HardForkNodeToNodeDisabled`, which is compatible with nodes running with `ByronBlock`.
Instance details Defined in Ouroboros.Consensus.Cardano.ByronHFC Methods supportedNodeToNodeVersions ∷ Proxy ByronBlockHFC → Map NodeToNodeVersion (BlockNodeToNodeVersion ByronBlockHFC) Source # supportedNodeToClientVersions ∷ Proxy ByronBlockHFC → Map NodeToClientVersion (BlockNodeToClientVersion ByronBlockHFC) Source # latestReleasedNodeVersion ∷ Proxy ByronBlockHFC → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source #
CanHardFork xs ⇒ Show (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → HardForkBlock xs → ShowS Source # show ∷ HardForkBlock xs → String Source # showList ∷ [HardForkBlock xs] → ShowS Source #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS Source # show ∷ LedgerState (HardForkBlock xs) → String Source # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS Source #
CardanoHardForkConstraints c ⇒ CondenseConstraints (CardanoBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Condense
CardanoHardForkConstraints c ⇒ SupportedNetworkProtocolVersion (CardanoBlock c) Source #
Instance details Defined in Ouroboros.Consensus.Cardano.Node Methods supportedNodeToNodeVersions ∷ Proxy (CardanoBlock c) → Map NodeToNodeVersion (BlockNodeToNodeVersion (CardanoBlock c)) Source # supportedNodeToClientVersions ∷ Proxy (CardanoBlock c) → Map NodeToClientVersion (BlockNodeToClientVersion (CardanoBlock c)) Source # latestReleasedNodeVersion ∷ Proxy (CardanoBlock c) → (Maybe NodeToNodeVersion, Maybe NodeToClientVersion) Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String #
CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String #
CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String #
CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String #
Typeable xs ⇒ ShowProxy (HardForkBlock xs ∷ Type)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showProxy ∷ Proxy (HardForkBlock xs) → String Source #
type Rep (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (Ticked (LedgerState (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
data BlockQuery (HardForkBlock xs) a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
type HardForkIndices (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type HardForkIndices (HardForkBlock xs) = xs
type LedgerUpdate (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerUpdate (HardForkBlock xs) = HardForkLedgerUpdate xs
type LedgerWarning (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerWarning (HardForkBlock xs) = HardForkLedgerWarning xs
type TipInfo (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block type TipInfo (HardForkBlock xs) = OneEraTipInfo xs
type OtherHeaderEnvelopeError (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type OtherHeaderEnvelopeError (HardForkBlock xs) = HardForkEnvelopeErr xs
type CannotForge (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type CannotForge (HardForkBlock xs) = HardForkCannotForge xs
type ForgeStateInfo (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateInfo (HardForkBlock xs) = HardForkForgeStateInfo xs
type ForgeStateUpdateError (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Forging type ForgeStateUpdateError (HardForkBlock xs) = HardForkForgeStateUpdateError xs
newtype GenTx (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
type ApplyTxErr (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type ApplyTxErr (HardForkBlock xs) = HardForkApplyTxErr xs
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
type LedgerCfg (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type LedgerErr (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
newtype LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
type BlockProtocol (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type BlockProtocol (HardForkBlock xs) = HardForkProtocol xs
newtype BlockConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
newtype CodecConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
newtype StorageConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }
newtype Header (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
data NestedCtxt_ (HardForkBlock xs) a b
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block data NestedCtxt_ (HardForkBlock xs) a b where NCZ ∷ ∀ x (a ∷ Type → Type) b (xs1 ∷ [Type]). !(NestedCtxt_ x a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b NCS ∷ ∀ (xs1 ∷ [Type]) (a ∷ Type → Type) b x. !(NestedCtxt_ (HardForkBlock xs1) a b) → NestedCtxt_ (HardForkBlock (x ': xs1)) a b
data Ticked (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
type BlockNodeToClientVersion (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common type BlockNodeToClientVersion (HardForkBlock xs) = HardForkNodeToClientVersion xs
type BlockNodeToNodeVersion (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.Common type BlockNodeToNodeVersion (HardForkBlock xs) = HardForkNodeToNodeVersion xs
type HeaderHash (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type HeaderHash (HardForkBlock xs) = OneEraHash xs

Headers

type CardanoHeader c = Header (CardanoBlock c) Source #

The Cardano header.

data family Header blk Source #

Instances

Instances details

Inject Header
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → Header x → Header (HardForkBlock xs) Source #
ShowProxy (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showProxy ∷ Proxy (Header ByronBlock) → String Source #
(Typeable era, Typeable proto) ⇒ ShowProxy (Header (ShelleyBlock proto era) ∷ Type)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showProxy ∷ Proxy (Header (ShelleyBlock proto era)) → String Source #
Eq (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods (==) ∷ Header ByronBlock → Header ByronBlock → Bool Source # (/=) ∷ Header ByronBlock → Header ByronBlock → Bool Source #
ShelleyCompatible proto era ⇒ Eq (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods (==) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool Source # (/=) ∷ Header (ShelleyBlock proto era) → Header (ShelleyBlock proto era) → Bool Source #
Show (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods showsPrec ∷ Int → Header ByronBlock → ShowS Source # show ∷ Header ByronBlock → String Source # showList ∷ [Header ByronBlock] → ShowS Source #
ShelleyCompatible proto era ⇒ Show (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods showsPrec ∷ Int → Header (ShelleyBlock proto era) → ShowS Source # show ∷ Header (ShelleyBlock proto era) → String Source # showList ∷ [Header (ShelleyBlock proto era)] → ShowS Source #
Generic (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Associated Types type Rep (Header ByronBlock) ∷ Type → Type Source # Methods from ∷ Header ByronBlock → Rep (Header ByronBlock) x Source # to ∷ Rep (Header ByronBlock) x → Header ByronBlock Source #
Generic (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Associated Types type Rep (Header (ShelleyBlock proto era)) ∷ Type → Type Source # Methods from ∷ Header (ShelleyBlock proto era) → Rep (Header (ShelleyBlock proto era)) x Source # to ∷ Rep (Header (ShelleyBlock proto era)) x → Header (ShelleyBlock proto era) Source #
Condense (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods condense ∷ Header ByronBlock → String Source #
ShelleyCompatible proto era ⇒ Condense (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods condense ∷ Header (ShelleyBlock proto era) → String Source #
NoThunks (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods noThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Header ByronBlock → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Header ByronBlock) → String #
ShelleyCompatible proto era ⇒ NoThunks (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods noThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Header (ShelleyBlock proto era) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Header (ShelleyBlock proto era)) → String #
HasHeader blk ⇒ StandardHash (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract
HasHeader (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block Methods getHeaderFields ∷ Header ByronBlock → HeaderFields (Header ByronBlock) Source #
ShelleyCompatible proto era ⇒ HasHeader (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods getHeaderFields ∷ Header (ShelleyBlock proto era) → HeaderFields (Header (ShelleyBlock proto era)) Source #
ShelleyCompatible proto era ⇒ FromCBOR (Annotator (Header (ShelleyBlock proto era)))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods fromCBOR ∷ Decoder s (Annotator (Header (ShelleyBlock proto era))) label ∷ Proxy (Annotator (Header (ShelleyBlock proto era))) → Text
ShelleyCompatible proto era ⇒ ToCBOR (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block Methods toCBOR ∷ Header (ShelleyBlock proto era) → Encoding encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Header (ShelleyBlock proto era)) → Size encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Header (ShelleyBlock proto era)] → Size
data Header ByronBlock	Byron header See `ByronBlock` for comments on why we cache certain values.
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block data Header ByronBlock = ByronHeader { byronHeaderRaw ∷ !(ABlockOrBoundaryHdr ByteString) byronHeaderSlotNo ∷ !SlotNo byronHeaderHash ∷ !ByronHash byronHeaderBlockSizeHint ∷ !SizeInBytes }
type Rep (Header ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Block type Rep (Header ByronBlock) = D1 ('MetaData "Header" "Ouroboros.Consensus.Byron.Ledger.Block" "ouroboros-consensus-byron-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ByronHeader" 'PrefixI 'True) ((S1 ('MetaSel ('Just "byronHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ABlockOrBoundaryHdr ByteString)) :: S1 ('MetaSel ('Just "byronHeaderSlotNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SlotNo)) :: (S1 ('MetaSel ('Just "byronHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronHash) :*: S1 ('MetaSel ('Just "byronHeaderBlockSizeHint") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SizeInBytes))))
type Rep (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block type Rep (Header (ShelleyBlock proto era)) = D1 ('MetaData "Header" "Ouroboros.Consensus.Shelley.Ledger.Block" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyHeader" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyHeaderRaw") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyProtocolHeader proto)) :*: S1 ('MetaSel ('Just "shelleyHeaderHash") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ShelleyHash (ProtoCrypto proto)))))
type BlockProtocol (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type BlockProtocol (Header blk) = BlockProtocol blk
newtype Header (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Block newtype Header (HardForkBlock xs) = HardForkHeader { getHardForkHeader ∷ OneEraHeader xs }
type Signed (Header (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Protocol type Signed (Header (ShelleyBlock proto era)) = Signed (ShelleyProtocolHeader proto)
type HeaderHash (Header blk)
Instance details Defined in Ouroboros.Consensus.Block.Abstract type HeaderHash (Header blk) = HeaderHash blk
data Header (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Block data Header (ShelleyBlock proto era) = ShelleyHeader { shelleyHeaderRaw ∷ !(ShelleyProtocolHeader proto) shelleyHeaderHash ∷ !(ShelleyHash (ProtoCrypto proto)) }

Generalised transactions

type CardanoApplyTxErr c = HardForkApplyTxErr (CardanoEras c) Source #

An error resulting from applying a CardanoGenTx to the ledger.

Thanks to the pattern synonyms, you can treat this as a sum type with constructors ApplyTxByronErr, ApplyTxErrShelley, and ApplyTxErrWrongEra.

toText :: CardanoApplyTxErr c -> Text
toText (ApplyTxErrByron b) = byronApplyTxErrToText b
toText (ApplyTxErrShelley s) = shelleyApplyTxErrToText s
toText (ApplyTxErrAllegra a) = allegraApplyTxErrToText a
toText (ApplyTxErrMary m) = maryApplyTxErrToText m
toText (ApplyTxErrWrongEra eraMismatch) =
  "Transaction from the " <> otherEraName eraMismatch <>
  " era applied to a ledger from the " <>
  ledgerEraName eraMismatch <> " era"

type CardanoGenTx c = GenTx (CardanoBlock c) Source #

The Cardano transaction.

type CardanoGenTxId c = GenTxId (CardanoBlock c) Source #

The ID of a Cardano transaction.

data family GenTx blk Source #

Generalized transaction

The mempool (and, accordingly, blocks) consist of "generalized transactions"; this could be "proper" transactions (transferring funds) but also other kinds of things such as update proposals, delegations, etc.

Instances

Instances details

Inject GenTx
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → GenTx x → GenTx (HardForkBlock xs) Source #
data GenTx ByronBlock	Generalized transactions in Byron This is effectively the same as `AMempoolPayload` but we cache the transaction ID (a hash).
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data GenTx ByronBlock = ByronTx !TxId !(ATxAux ByteString) \| ByronDlg !CertificateId !(ACertificate ByteString) \| ByronUpdateProposal !UpId !(AProposal ByteString) \| ByronUpdateVote !VoteId !(AVote ByteString)
type TranslationError era (GenTx :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (GenTx :.: ShelleyBlock proto) = TranslationError era WrapTx
type Rep (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (GenTx (HardForkBlock xs)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTx xs))))
type Rep (GenTx ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (GenTx ByronBlock) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-byron-0.1.0.0-inplace" 'False) ((C1 ('MetaCons "ByronTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TxId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ATxAux ByteString))) :+: C1 ('MetaCons "ByronDlg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 CertificateId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (ACertificate ByteString)))) :+: (C1 ('MetaCons "ByronUpdateProposal" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 UpId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AProposal ByteString))) :+: C1 ('MetaCons "ByronUpdateVote" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 VoteId) :: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (AVote ByteString)))))
type Rep (GenTx (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (GenTx (ShelleyBlock proto era)) = D1 ('MetaData "GenTx" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Tx era))))
type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
type Rep (Validated (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (Validated (GenTx (HardForkBlock xs))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkValidatedGenTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkValidatedGenTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraValidatedGenTx xs))))
type Rep (Validated (GenTx ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool type Rep (Validated (GenTx ByronBlock)) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Byron.Ledger.Mempool" "ouroboros-consensus-byron-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ValidatedByronTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "forgetValidatedByronTx") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (GenTx ByronBlock))))
type Rep (Validated (GenTx (ShelleyBlock proto era)))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool type Rep (Validated (GenTx (ShelleyBlock proto era))) = D1 ('MetaData "Validated" "Ouroboros.Consensus.Shelley.Ledger.Mempool" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyValidatedTx" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (TxId (EraCrypto era))) :*: S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Validated (Tx era)))))
newtype GenTx (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype GenTx (HardForkBlock xs) = HardForkGenTx { getHardForkGenTx ∷ OneEraGenTx xs }
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
data TxId (GenTx ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data TxId (GenTx ByronBlock) = ByronTxId !TxId \| ByronDlgId !CertificateId \| ByronUpdateProposalId !UpId \| ByronUpdateVoteId !VoteId
newtype TxId (GenTx (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId (TxId (EraCrypto era))
newtype Validated (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype Validated (GenTx (HardForkBlock xs)) = HardForkValidatedGenTx { getHardForkValidatedGenTx ∷ OneEraValidatedGenTx xs }
newtype Validated (GenTx ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool newtype Validated (GenTx ByronBlock) = ValidatedByronTx { forgetValidatedByronTx ∷ GenTx ByronBlock }
data Validated (GenTx (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data Validated (GenTx (ShelleyBlock proto era)) = ShelleyValidatedTx !(TxId (EraCrypto era)) !(Validated (Tx era))
data GenTx (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool data GenTx (ShelleyBlock proto era) = ShelleyTx !(TxId (EraCrypto era)) !(Tx era)

data HardForkApplyTxErr (xs ∷ [Type]) where Source #

Bundled Patterns

pattern ApplyTxErrAllegra ∷ ApplyTxErr (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoApplyTxErr c
pattern ApplyTxErrAlonzo ∷ ApplyTxErr (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoApplyTxErr c
pattern ApplyTxErrByron ∷ ApplyTxErr ByronBlock → CardanoApplyTxErr c
pattern ApplyTxErrMary ∷ ApplyTxErr (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoApplyTxErr c
pattern ApplyTxErrShelley ∷ ApplyTxErr (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoApplyTxErr c
pattern ApplyTxErrWrongEra ∷ EraMismatch → CardanoApplyTxErr c
pattern ApplyTxErrBabbage ∷ ApplyTxErr (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoApplyTxErr c

Instances

Instances details

CanHardFork xs ⇒ Eq (HardForkApplyTxErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods (==) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool Source # (/=) ∷ HardForkApplyTxErr xs → HardForkApplyTxErr xs → Bool Source #
CanHardFork xs ⇒ Show (HardForkApplyTxErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showsPrec ∷ Int → HardForkApplyTxErr xs → ShowS Source # show ∷ HardForkApplyTxErr xs → String Source # showList ∷ [HardForkApplyTxErr xs] → ShowS Source #
Generic (HardForkApplyTxErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Associated Types type Rep (HardForkApplyTxErr xs) ∷ Type → Type Source # Methods from ∷ HardForkApplyTxErr xs → Rep (HardForkApplyTxErr xs) x Source # to ∷ Rep (HardForkApplyTxErr xs) x → HardForkApplyTxErr xs Source #
Typeable xs ⇒ ShowProxy (HardForkApplyTxErr xs ∷ Type)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool Methods showProxy ∷ Proxy (HardForkApplyTxErr xs) → String Source #
type Rep (HardForkApplyTxErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (HardForkApplyTxErr xs) = D1 ('MetaData "HardForkApplyTxErr" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HardForkApplyTxErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (OneEraApplyTxErr xs))) :+: C1 ('MetaCons "HardForkApplyTxErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (MismatchEraInfo xs))))

data family TxId tx Source #

A generalized transaction, GenTx, identifier.

Instances

Instances details

type Rep (TxId (GenTx (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool type Rep (TxId (GenTx (HardForkBlock xs))) = D1 ('MetaData "TxId" "Ouroboros.Consensus.HardFork.Combinator.Mempool" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "HardForkGenTxId" 'PrefixI 'True) (S1 ('MetaSel ('Just "getHardForkGenTxId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraGenTxId xs))))
newtype TxId (GenTx (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Mempool newtype TxId (GenTx (HardForkBlock xs)) = HardForkGenTxId { getHardForkGenTxId ∷ OneEraGenTxId xs }
data TxId (GenTx ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Mempool data TxId (GenTx ByronBlock) = ByronTxId !TxId \| ByronDlgId !CertificateId \| ByronUpdateProposalId !UpId \| ByronUpdateVoteId !VoteId
newtype TxId (GenTx (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Mempool newtype TxId (GenTx (ShelleyBlock proto era)) = ShelleyTxId (TxId (EraCrypto era))

LedgerError

type CardanoLedgerError c = HardForkLedgerError (CardanoEras c) Source #

An error resulting from applying a CardanoBlock to the ledger.

Thanks to the pattern synonyms, you can treat this as a sum type with constructors LedgerErrorByron, LedgerErrorShelley, and LedgerErrorWrongEra.

toText :: CardanoLedgerError c -> Text
toText (LedgerErrorByron b) = byronLedgerErrorToText b
toText (LedgerErrorShelley s) = shelleyLedgerErrorToText s
toText (LedgerErrorAllegra a) = allegraLedgerErrorToText a
toText (LedgerErrorMary m) = maryLedgerErrorToText m
toText (LedgerErrorWrongEra eraMismatch) =
  "Block from the " <> otherEraName eraMismatch <>
  " era applied to a ledger from the " <>
  ledgerEraName eraMismatch <> " era"

data HardForkLedgerError (xs ∷ [Type]) where Source #

Bundled Patterns

pattern LedgerErrorAllegra ∷ LedgerError (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoLedgerError c
pattern LedgerErrorAlonzo ∷ LedgerError (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoLedgerError c
pattern LedgerErrorByron ∷ LedgerError ByronBlock → CardanoLedgerError c
pattern LedgerErrorMary ∷ LedgerError (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoLedgerError c
pattern LedgerErrorShelley ∷ LedgerError (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoLedgerError c
pattern LedgerErrorWrongEra ∷ EraMismatch → CardanoLedgerError c
pattern LedgerErrorBabbage ∷ LedgerError (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoLedgerError c

Instances

Instances details

CanHardFork xs ⇒ Eq (HardForkLedgerError xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool Source # (/=) ∷ HardForkLedgerError xs → HardForkLedgerError xs → Bool Source #
CanHardFork xs ⇒ Show (HardForkLedgerError xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkLedgerError xs → ShowS Source # show ∷ HardForkLedgerError xs → String Source # showList ∷ [HardForkLedgerError xs] → ShowS Source #
Generic (HardForkLedgerError xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkLedgerError xs) ∷ Type → Type Source # Methods from ∷ HardForkLedgerError xs → Rep (HardForkLedgerError xs) x Source # to ∷ Rep (HardForkLedgerError xs) x → HardForkLedgerError xs Source #
CanHardFork xs ⇒ NoThunks (HardForkLedgerError xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → HardForkLedgerError xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (HardForkLedgerError xs) → String #
type Rep (HardForkLedgerError xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkLedgerError xs) = D1 ('MetaData "HardForkLedgerError" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerErrorFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraLedgerError xs))) :+: C1 ('MetaCons "HardForkLedgerErrorWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

OtherEnvelopeError

type CardanoOtherHeaderEnvelopeError c = HardForkEnvelopeErr (CardanoEras c) Source #

An error resulting from validating a CardanoHeader.

data HardForkEnvelopeErr (xs ∷ [Type]) where Source #

Bundled Patterns

pattern OtherHeaderEnvelopeErrorAllegra ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorBabbage ∷ OtherHeaderEnvelopeError (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorAlonzo ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorByron ∷ OtherHeaderEnvelopeError ByronBlock → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorMary ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorShelley ∷ OtherHeaderEnvelopeError (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoOtherHeaderEnvelopeError c
pattern OtherHeaderEnvelopeErrorWrongEra ∷ EraMismatch → CardanoOtherHeaderEnvelopeError c

Instances

Instances details

CanHardFork xs ⇒ Eq (HardForkEnvelopeErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods (==) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool Source # (/=) ∷ HardForkEnvelopeErr xs → HardForkEnvelopeErr xs → Bool Source #
CanHardFork xs ⇒ Show (HardForkEnvelopeErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods showsPrec ∷ Int → HardForkEnvelopeErr xs → ShowS Source # show ∷ HardForkEnvelopeErr xs → String Source # showList ∷ [HardForkEnvelopeErr xs] → ShowS Source #
Generic (HardForkEnvelopeErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep (HardForkEnvelopeErr xs) ∷ Type → Type Source # Methods from ∷ HardForkEnvelopeErr xs → Rep (HardForkEnvelopeErr xs) x Source # to ∷ Rep (HardForkEnvelopeErr xs) x → HardForkEnvelopeErr xs Source #
CanHardFork xs ⇒ NoThunks (HardForkEnvelopeErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → HardForkEnvelopeErr xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (HardForkEnvelopeErr xs) → String #
type Rep (HardForkEnvelopeErr xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (HardForkEnvelopeErr xs) = D1 ('MetaData "HardForkEnvelopeErr" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HardForkEnvelopeErrFromEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (OneEraEnvelopeErr xs))) :+: C1 ('MetaCons "HardForkEnvelopeErrWrongEra" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (MismatchEraInfo xs))))

TipInfo

type CardanoTipInfo c = OneEraTipInfo (CardanoEras c) Source #

The TipInfo of the Cardano chain.

data OneEraTipInfo (xs ∷ [Type]) where Source #

Bundled Patterns

pattern TipInfoAllegra ∷ TipInfo (ShelleyBlock (TPraos c) (AllegraEra c)) → CardanoTipInfo c
pattern TipInfoAlonzo ∷ TipInfo (ShelleyBlock (TPraos c) (AlonzoEra c)) → CardanoTipInfo c
pattern TipInfoByron ∷ TipInfo ByronBlock → CardanoTipInfo c
pattern TipInfoBabbage ∷ TipInfo (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoTipInfo c
pattern TipInfoMary ∷ TipInfo (ShelleyBlock (TPraos c) (MaryEra c)) → CardanoTipInfo c
pattern TipInfoShelley ∷ TipInfo (ShelleyBlock (TPraos c) (ShelleyEra c)) → CardanoTipInfo c

Instances

Instances details

CanHardFork xs ⇒ Eq (OneEraTipInfo xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool Source # (/=) ∷ OneEraTipInfo xs → OneEraTipInfo xs → Bool Source #
CanHardFork xs ⇒ Show (OneEraTipInfo xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → OneEraTipInfo xs → ShowS Source # show ∷ OneEraTipInfo xs → String Source # showList ∷ [OneEraTipInfo xs] → ShowS Source #
CanHardFork xs ⇒ NoThunks (OneEraTipInfo xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods noThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → OneEraTipInfo xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (OneEraTipInfo xs) → String #

Query

data family BlockQuery blk ∷ Type → Type Source #

Different queries supported by the ledger, indexed by the result type.

Instances

Instances details

Inject (SomeSecond BlockQuery)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → SomeSecond BlockQuery x → SomeSecond BlockQuery (HardForkBlock xs) Source #
SameDepIndex (BlockQuery blk) ⇒ Eq (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods (==) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool Source # (/=) ∷ SomeSecond BlockQuery blk → SomeSecond BlockQuery blk → Bool Source #
(∀ result. Show (BlockQuery blk result)) ⇒ Show (SomeSecond BlockQuery blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Query Methods showsPrec ∷ Int → SomeSecond BlockQuery blk → ShowS Source # show ∷ SomeSecond BlockQuery blk → String Source # showList ∷ [SomeSecond BlockQuery blk] → ShowS Source #
data BlockQuery ByronBlock a
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data BlockQuery ByronBlock a where GetUpdateInterfaceState ∷ BlockQuery ByronBlock State
data BlockQuery (HardForkBlock xs) a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger.Query data BlockQuery (HardForkBlock xs) a where QueryIfCurrent ∷ ∀ (xs ∷ [Type]) result. QueryIfCurrent xs result → BlockQuery (HardForkBlock xs) (Either (MismatchEraInfo xs) result) QueryAnytime ∷ ∀ (xs1 ∷ [Type]) a x. IsNonEmpty xs1 ⇒ QueryAnytime a → EraIndex (x ': xs1) → BlockQuery (HardForkBlock (x ': xs1)) a QueryHardFork ∷ ∀ (xs1 ∷ [Type]) x a. IsNonEmpty xs1 ⇒ QueryHardFork (x ': xs1) a → BlockQuery (HardForkBlock (x ': xs1)) a
data BlockQuery (ShelleyBlock proto era) a
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Query data BlockQuery (ShelleyBlock proto era) a where GetLedgerTip ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Point (ShelleyBlock proto era)) GetEpochNo ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) EpochNo GetNonMyopicMemberRewards ∷ ∀ era proto. Set (Either Coin (Credential 'Staking (EraCrypto era))) → BlockQuery (ShelleyBlock proto era) (NonMyopicMemberRewards (EraCrypto era)) GetCurrentPParams ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PParams era) GetProposedPParamsUpdates ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ProposedPPUpdates era) GetStakeDistribution ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (PoolDistr (EraCrypto era)) GetUTxOByAddress ∷ ∀ era proto. Set (Addr (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetUTxOWhole ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (UTxO era) DebugEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (EpochState era) GetCBOR ∷ ∀ proto era result. BlockQuery (ShelleyBlock proto era) result → BlockQuery (ShelleyBlock proto era) (Serialised result) GetFilteredDelegationsAndRewardAccounts ∷ ∀ era proto. Set (Credential 'Staking (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Delegations (EraCrypto era), RewardAccounts (EraCrypto era)) GetGenesisConfig ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (CompactGenesis era) DebugNewEpochState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (NewEpochState era) DebugChainDepState ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (ChainDepState proto) GetRewardProvenance ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardProvenance (EraCrypto era)) GetUTxOByTxIn ∷ ∀ era proto. Set (TxIn (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (UTxO era) GetStakePools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (Set (KeyHash 'StakePool (EraCrypto era))) GetStakePoolParams ∷ ∀ era proto. Set (KeyHash 'StakePool (EraCrypto era)) → BlockQuery (ShelleyBlock proto era) (Map (KeyHash 'StakePool (EraCrypto era)) (PoolParams (EraCrypto era))) GetRewardInfoPools ∷ ∀ proto era. BlockQuery (ShelleyBlock proto era) (RewardParams, Map (KeyHash 'StakePool (EraCrypto era)) RewardInfoPool)

type CardanoQuery c = BlockQuery (CardanoBlock c) Source #

The Query of Cardano chain.

type CardanoQueryResult c = HardForkQueryResult (CardanoEras c) Source #

The result of a CardanoQuery

Thanks to the pattern synonyms, you can treat this as a sum type with constructors QueryResultSuccess and QueryResultEraMismatch.

data Either a b where Source #

The Either type represents values with two possibilities: a value of type Either a b is either Left a or Right b.

The Either type is sometimes used to represent a value which is either correct or an error; by convention, the Left constructor is used to hold an error value and the Right constructor is used to hold a correct value (mnemonic: "right" also means "correct").

Examples

Expand

The type Either String Int is the type of values which can be either a String or an Int. The Left constructor can be used only on Strings, and the Right constructor can be used only on Ints:

>>> let s = Left "foo" :: Either String Int
>>> s
Left "foo"
>>> let n = Right 3 :: Either String Int
>>> n
Right 3
>>> :type s
s :: Either String Int
>>> :type n
n :: Either String Int

The fmap from our Functor instance will ignore Left values, but will apply the supplied function to values contained in a Right:

>>> let s = Left "foo" :: Either String Int
>>> let n = Right 3 :: Either String Int
>>> fmap (*2) s
Left "foo"
>>> fmap (*2) n
Right 6

The Monad instance for Either allows us to chain together multiple actions which may fail, and fail overall if any of the individual steps failed. First we'll write a function that can either parse an Int from a Char, or fail.

>>> import Data.Char ( digitToInt, isDigit )
>>> :{
    let parseEither :: Char -> Either String Int
        parseEither c
          | isDigit c = Right (digitToInt c)
          | otherwise = Left "parse error"
>>> :}

The following should work, since both '1' and '2' can be parsed as Ints.

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither '1'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Right 3

But the following should fail overall, since the first operation where we attempt to parse 'm' as an Int will fail:

>>> :{
    let parseMultiple :: Either String Int
        parseMultiple = do
          x <- parseEither 'm'
          y <- parseEither '2'
          return (x + y)
>>> :}

>>> parseMultiple
Left "parse error"

Bundled Patterns

pattern QueryResultSuccess ∷ result → CardanoQueryResult c result
pattern QueryResultEraMismatch ∷ EraMismatch → CardanoQueryResult c result	A query from a different era than the ledger's era was sent.

Instances

Instances details

Hashable2 Either
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt2 ∷ (Int → a → Int) → (Int → b → Int) → Int → Either a b → Int
MonadError e (Either e)
Instance details Defined in Control.Monad.Error.Class Methods throwError ∷ e → Either e a Source # catchError ∷ Either e a → (e → Either e a) → Either e a Source #
(Lift a, Lift b) ⇒ Lift (Either a b ∷ Type)
Instance details Defined in Language.Haskell.TH.Syntax Methods lift ∷ Either a b → Q Exp Source # liftTyped ∷ Either a b → Q (TExp (Either a b)) Source #
Monad (Either e)	Since: base-4.4.0.0
Instance details Defined in Data.Either Methods (>>=) ∷ Either e a → (a → Either e b) → Either e b Source # (>>) ∷ Either e a → Either e b → Either e b Source # return ∷ a → Either e a Source #
Functor (Either a)	Since: base-3.0
Instance details Defined in Data.Either Methods fmap ∷ (a0 → b) → Either a a0 → Either a b Source # (<$) ∷ a0 → Either a b → Either a a0 Source #
Applicative (Either e)	Since: base-3.0
Instance details Defined in Data.Either Methods pure ∷ a → Either e a Source # (<>) ∷ Either e (a → b) → Either e a → Either e b Source # liftA2 ∷ (a → b → c) → Either e a → Either e b → Either e c Source # (>) ∷ Either e a → Either e b → Either e b Source # (<*) ∷ Either e a → Either e b → Either e a Source #
Foldable (Either a)	Since: base-4.7.0.0
Instance details Defined in Data.Foldable Methods fold ∷ Monoid m ⇒ Either a m → m Source # foldMap ∷ Monoid m ⇒ (a0 → m) → Either a a0 → m Source # foldMap' ∷ Monoid m ⇒ (a0 → m) → Either a a0 → m Source # foldr ∷ (a0 → b → b) → b → Either a a0 → b Source # foldr' ∷ (a0 → b → b) → b → Either a a0 → b Source # foldl ∷ (b → a0 → b) → b → Either a a0 → b Source # foldl' ∷ (b → a0 → b) → b → Either a a0 → b Source # foldr1 ∷ (a0 → a0 → a0) → Either a a0 → a0 Source # foldl1 ∷ (a0 → a0 → a0) → Either a a0 → a0 Source # toList ∷ Either a a0 → [a0] Source # null ∷ Either a a0 → Bool Source # length ∷ Either a a0 → Int Source # elem ∷ Eq a0 ⇒ a0 → Either a a0 → Bool Source # maximum ∷ Ord a0 ⇒ Either a a0 → a0 Source # minimum ∷ Ord a0 ⇒ Either a a0 → a0 Source # sum ∷ Num a0 ⇒ Either a a0 → a0 Source # product ∷ Num a0 ⇒ Either a a0 → a0 Source #
Traversable (Either a)	Since: base-4.7.0.0
Instance details Defined in Data.Traversable Methods traverse ∷ Applicative f ⇒ (a0 → f b) → Either a a0 → f (Either a b) Source # sequenceA ∷ Applicative f ⇒ Either a (f a0) → f (Either a a0) Source # mapM ∷ Monad m ⇒ (a0 → m b) → Either a a0 → m (Either a b) Source # sequence ∷ Monad m ⇒ Either a (m a0) → m (Either a a0) Source #
Hashable a ⇒ Hashable1 (Either a)
Instance details Defined in Data.Hashable.Class Methods liftHashWithSalt ∷ (Int → a0 → Int) → Int → Either a a0 → Int
MonadFailure (Either a)
Instance details Defined in Basement.Monad Associated Types type Failure (Either a) Methods mFail ∷ Failure (Either a) → Either a ()
Generic1 (Either a ∷ Type → Type)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep1 (Either a) ∷ k → Type Source # Methods from1 ∷ ∀ (a0 ∷ k). Either a a0 → Rep1 (Either a) a0 Source # to1 ∷ ∀ (a0 ∷ k). Rep1 (Either a) a0 → Either a a0 Source #
MonadBaseControl (Either e) (Either e)
Instance details Defined in Control.Monad.Trans.Control Associated Types type StM (Either e) a Methods liftBaseWith ∷ (RunInBase (Either e) (Either e) → Either e a) → Either e a restoreM ∷ StM (Either e) a → Either e a
(Eq a, Eq b) ⇒ Eq (Either a b)	Since: base-2.1
Instance details Defined in Data.Either Methods (==) ∷ Either a b → Either a b → Bool Source # (/=) ∷ Either a b → Either a b → Bool Source #
(Ord a, Ord b) ⇒ Ord (Either a b)	Since: base-2.1
Instance details Defined in Data.Either Methods compare ∷ Either a b → Either a b → Ordering Source # (<) ∷ Either a b → Either a b → Bool Source # (<=) ∷ Either a b → Either a b → Bool Source # (>) ∷ Either a b → Either a b → Bool Source # (>=) ∷ Either a b → Either a b → Bool Source # max ∷ Either a b → Either a b → Either a b Source # min ∷ Either a b → Either a b → Either a b Source #
(Read a, Read b) ⇒ Read (Either a b)	Since: base-3.0
Instance details Defined in Data.Either Methods readsPrec ∷ Int → ReadS (Either a b) Source # readList ∷ ReadS [Either a b] Source # readPrec ∷ ReadPrec (Either a b) Source # readListPrec ∷ ReadPrec [Either a b] Source #
(Show a, Show b) ⇒ Show (Either a b)	Since: base-3.0
Instance details Defined in Data.Either Methods showsPrec ∷ Int → Either a b → ShowS Source # show ∷ Either a b → String Source # showList ∷ [Either a b] → ShowS Source #
Generic (Either a b)	Since: base-4.6.0.0
Instance details Defined in GHC.Generics Associated Types type Rep (Either a b) ∷ Type → Type Source # Methods from ∷ Either a b → Rep (Either a b) x Source # to ∷ Rep (Either a b) x → Either a b Source #
Semigroup (Either a b)	Since: base-4.9.0.0
Instance details Defined in Data.Either Methods (<>) ∷ Either a b → Either a b → Either a b Source # sconcat ∷ NonEmpty (Either a b) → Either a b Source # stimes ∷ Integral b0 ⇒ b0 → Either a b → Either a b Source #
(Structured a, Structured b) ⇒ Structured (Either a b)
Instance details Defined in Distribution.Utils.Structured Methods structure ∷ Proxy (Either a b) → Structure Source # structureHash' ∷ Tagged (Either a b) MD5
(Serialise a, Serialise b) ⇒ Serialise (Either a b)
Instance details Defined in Codec.Serialise.Class Methods encode ∷ Either a b → Encoding # decode ∷ Decoder s (Either a b) # encodeList ∷ [Either a b] → Encoding # decodeList ∷ Decoder s [Either a b] #
(NoThunks a, NoThunks b) ⇒ NoThunks (Either a b)
Instance details Defined in NoThunks.Class Methods noThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → Either a b → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (Either a b) → String #
(Hashable a, Hashable b) ⇒ Hashable (Either a b)
Instance details Defined in Data.Hashable.Class Methods hashWithSalt ∷ Int → Either a b → Int hash ∷ Either a b → Int
(FromCBOR a, FromCBOR b) ⇒ FromCBOR (Either a b)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR ∷ Decoder s (Either a b) label ∷ Proxy (Either a b) → Text
(ToCBOR a, ToCBOR b) ⇒ ToCBOR (Either a b)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR ∷ Either a b → Encoding encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (Either a b) → Size encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [Either a b] → Size
Corecursive (Either a b)
Instance details Defined in Data.Functor.Foldable Methods embed ∷ Base (Either a b) (Either a b) → Either a b ana ∷ (a0 → Base (Either a b) a0) → a0 → Either a b apo ∷ (a0 → Base (Either a b) (Either (Either a b) a0)) → a0 → Either a b postpro ∷ Recursive (Either a b) ⇒ (∀ b0. Base (Either a b) b0 → Base (Either a b) b0) → (a0 → Base (Either a b) a0) → a0 → Either a b gpostpro ∷ (Recursive (Either a b), Monad m) ⇒ (∀ b0. m (Base (Either a b) b0) → Base (Either a b) (m b0)) → (∀ c. Base (Either a b) c → Base (Either a b) c) → (a0 → Base (Either a b) (m a0)) → a0 → Either a b
Recursive (Either a b)
Instance details Defined in Data.Functor.Foldable Methods project ∷ Either a b → Base (Either a b) (Either a b) cata ∷ (Base (Either a b) a0 → a0) → Either a b → a0 para ∷ (Base (Either a b) (Either a b, a0) → a0) → Either a b → a0 gpara ∷ (Corecursive (Either a b), Comonad w) ⇒ (∀ b0. Base (Either a b) (w b0) → w (Base (Either a b) b0)) → (Base (Either a b) (EnvT (Either a b) w a0) → a0) → Either a b → a0 prepro ∷ Corecursive (Either a b) ⇒ (∀ b0. Base (Either a b) b0 → Base (Either a b) b0) → (Base (Either a b) a0 → a0) → Either a b → a0 gprepro ∷ (Corecursive (Either a b), Comonad w) ⇒ (∀ b0. Base (Either a b) (w b0) → w (Base (Either a b) b0)) → (∀ c. Base (Either a b) c → Base (Either a b) c) → (Base (Either a b) (w a0) → a0) → Either a b → a0
(Ord a, Ord b) ⇒ Ord (Either a b)
Instance details Defined in PlutusTx.Ord Methods compare ∷ Either a b → Either a b → Ordering (<) ∷ Either a b → Either a b → Bool (<=) ∷ Either a b → Either a b → Bool (>) ∷ Either a b → Either a b → Bool (>=) ∷ Either a b → Either a b → Bool max ∷ Either a b → Either a b → Either a b min ∷ Either a b → Either a b → Either a b
MonoFoldable (Either a b)
Instance details Defined in Data.MonoTraversable Methods ofoldMap ∷ Monoid m ⇒ (Element (Either a b) → m) → Either a b → m ofoldr ∷ (Element (Either a b) → b0 → b0) → b0 → Either a b → b0 ofoldl' ∷ (a0 → Element (Either a b) → a0) → a0 → Either a b → a0 otoList ∷ Either a b → [Element (Either a b)] oall ∷ (Element (Either a b) → Bool) → Either a b → Bool oany ∷ (Element (Either a b) → Bool) → Either a b → Bool onull ∷ Either a b → Bool olength ∷ Either a b → Int olength64 ∷ Either a b → Int64 ocompareLength ∷ Integral i ⇒ Either a b → i → Ordering otraverse_ ∷ Applicative f ⇒ (Element (Either a b) → f b0) → Either a b → f () ofor_ ∷ Applicative f ⇒ Either a b → (Element (Either a b) → f b0) → f () omapM_ ∷ Applicative m ⇒ (Element (Either a b) → m ()) → Either a b → m () oforM_ ∷ Applicative m ⇒ Either a b → (Element (Either a b) → m ()) → m () ofoldlM ∷ Monad m ⇒ (a0 → Element (Either a b) → m a0) → a0 → Either a b → m a0 ofoldMap1Ex ∷ Semigroup m ⇒ (Element (Either a b) → m) → Either a b → m ofoldr1Ex ∷ (Element (Either a b) → Element (Either a b) → Element (Either a b)) → Either a b → Element (Either a b) ofoldl1Ex' ∷ (Element (Either a b) → Element (Either a b) → Element (Either a b)) → Either a b → Element (Either a b) headEx ∷ Either a b → Element (Either a b) lastEx ∷ Either a b → Element (Either a b) unsafeHead ∷ Either a b → Element (Either a b) unsafeLast ∷ Either a b → Element (Either a b) maximumByEx ∷ (Element (Either a b) → Element (Either a b) → Ordering) → Either a b → Element (Either a b) minimumByEx ∷ (Element (Either a b) → Element (Either a b) → Ordering) → Either a b → Element (Either a b) oelem ∷ Element (Either a b) → Either a b → Bool onotElem ∷ Element (Either a b) → Either a b → Bool
MonoTraversable (Either a b)
Instance details Defined in Data.MonoTraversable Methods otraverse ∷ Applicative f ⇒ (Element (Either a b) → f (Element (Either a b))) → Either a b → f (Either a b) omapM ∷ Applicative m ⇒ (Element (Either a b) → m (Element (Either a b))) → Either a b → m (Either a b)
MonoFunctor (Either a b)
Instance details Defined in Data.MonoTraversable Methods omap ∷ (Element (Either a b) → Element (Either a b)) → Either a b → Either a b
MonoPointed (Either a b)
Instance details Defined in Data.MonoTraversable Methods opoint ∷ Element (Either a b) → Either a b
(a ~ a', b ~ b') ⇒ Each (Either a a') (Either b b') a b
Instance details Defined in Lens.Micro.Internal Methods each ∷ Traversal (Either a a') (Either b b') a b
type Failure (Either a)
Instance details Defined in Basement.Monad type Failure (Either a) = a
type StM (Either e) a
Instance details Defined in Control.Monad.Trans.Control type StM (Either e) a = a
type Rep1 (Either a ∷ Type → Type)
Instance details Defined in GHC.Generics type Rep1 (Either a ∷ Type → Type) = D1 ('MetaData "Either" "Data.Either" "base" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Rep (Either a b)
Instance details Defined in GHC.Generics type Rep (Either a b) = D1 ('MetaData "Either" "Data.Either" "base" 'False) (C1 ('MetaCons "Left" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Right" 'PrefixI 'False) (S1 ('MetaSel ('Nothing ∷ Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))
type Base (Either a b)
Instance details Defined in Data.Functor.Foldable type Base (Either a b) = Const (Either a b) ∷ Type → Type
type Element (Either a b)
Instance details Defined in Data.MonoTraversable type Element (Either a b) = b

CodecConfig

type CardanoCodecConfig c = CodecConfig (CardanoBlock c) Source #

The CodecConfig for CardanoBlock.

Thanks to the pattern synonyms, you can treat this as the product of the Byron, Shelley, ... CodecConfigs.

data family CodecConfig blk Source #

Static configuration required for serialisation and deserialisation of types pertaining to this type of block.

Data family instead of type family to get better type inference.

Instances

Instances details

CanHardFork xs ⇒ NoThunks (CodecConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → CodecConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (CodecConfig (HardForkBlock xs)) → String #
newtype CodecConfig ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype CodecConfig ByronBlock = ByronCodecConfig { getByronEpochSlots ∷ EpochSlots }
type Rep (CodecConfig ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (CodecConfig ByronBlock) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ByronCodecConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronEpochSlots") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EpochSlots)))
type Rep (CodecConfig (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (CodecConfig (ShelleyBlock proto era)) = D1 ('MetaData "CodecConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyCodecConfig" 'PrefixI 'False) (U1 ∷ Type → Type))
newtype CodecConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype CodecConfig (HardForkBlock xs) = HardForkCodecConfig { hardForkCodecConfigPerEra ∷ PerEraCodecConfig xs }
data CodecConfig (ShelleyBlock proto era)	No particular codec configuration is needed for Shelley
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data CodecConfig (ShelleyBlock proto era) = ShelleyCodecConfig

BlockConfig

data family BlockConfig blk Source #

Static configuration required to work with this type of blocks

Instances

Instances details

CanHardFork xs ⇒ NoThunks (BlockConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → BlockConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (BlockConfig (HardForkBlock xs)) → String #
data BlockConfig ByronBlock	Extended configuration we need for Byron
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config data BlockConfig ByronBlock = ByronConfig { byronGenesisConfig ∷ !Config byronProtocolVersion ∷ !ProtocolVersion byronSoftwareVersion ∷ !SoftwareVersion }
type Rep (BlockConfig ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (BlockConfig ByronBlock) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ByronConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronGenesisConfig") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Config) :: (S1 ('MetaSel ('Just "byronProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtocolVersion) :: S1 ('MetaSel ('Just "byronSoftwareVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SoftwareVersion))))
type Rep (BlockConfig (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (BlockConfig (ShelleyBlock proto era)) = D1 ('MetaData "BlockConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyConfig" 'PrefixI 'True) ((S1 ('MetaSel ('Just "shelleyProtocolVersion") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ProtVer) :: S1 ('MetaSel ('Just "shelleySystemStart") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SystemStart)) :: (S1 ('MetaSel ('Just "shelleyNetworkMagic") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 NetworkMagic) :*: S1 ('MetaSel ('Just "shelleyBlockIssuerVKeys") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Map (KeyHash 'BlockIssuer (EraCrypto era)) (VKey 'BlockIssuer (EraCrypto era)))))))
newtype BlockConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype BlockConfig (HardForkBlock xs) = HardForkBlockConfig { hardForkBlockConfigPerEra ∷ PerEraBlockConfig xs }
data BlockConfig (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data BlockConfig (ShelleyBlock proto era) = ShelleyConfig { shelleyProtocolVersion ∷ !ProtVer shelleySystemStart ∷ !SystemStart shelleyNetworkMagic ∷ !NetworkMagic shelleyBlockIssuerVKeys ∷ !(Map (KeyHash 'BlockIssuer (EraCrypto era)) (VKey 'BlockIssuer (EraCrypto era))) }

type CardanoBlockConfig c = BlockConfig (CardanoBlock c) Source #

The BlockConfig for CardanoBlock.

Thanks to the pattern synonyms, you can treat this as the product of the Byron, Shelley, ... BlockConfigs.

StorageConfig

type CardanoStorageConfig c = StorageConfig (CardanoBlock c) Source #

The StorageConfig for CardanoBlock.

Thanks to the pattern synonyms, you can treat this as the product of the Byron, Shelley, ... StorageConfigs.

data family StorageConfig blk Source #

Config needed for the NodeInitStorage class. Defined here to avoid circular dependencies.

Instances

Instances details

CanHardFork xs ⇒ NoThunks (StorageConfig (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → StorageConfig (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (StorageConfig (HardForkBlock xs)) → String #
newtype StorageConfig ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config newtype StorageConfig ByronBlock = ByronStorageConfig { getByronBlockConfig ∷ BlockConfig ByronBlock }
type Rep (StorageConfig ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Config type Rep (StorageConfig ByronBlock) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Byron.Ledger.Config" "ouroboros-consensus-byron-0.1.0.0-inplace" 'True) (C1 ('MetaCons "ByronStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "getByronBlockConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BlockConfig ByronBlock))))
type Rep (StorageConfig (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config type Rep (StorageConfig (ShelleyBlock proto era)) = D1 ('MetaData "StorageConfig" "Ouroboros.Consensus.Shelley.Ledger.Config" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyStorageConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyStorageConfigSlotsPerKESPeriod") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "shelleyStorageConfigSecurityParam") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam)))
newtype StorageConfig (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype StorageConfig (HardForkBlock xs) = HardForkStorageConfig { hardForkStorageConfigPerEra ∷ PerEraStorageConfig xs }
data StorageConfig (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Config data StorageConfig (ShelleyBlock proto era) = ShelleyStorageConfig { shelleyStorageConfigSlotsPerKESPeriod ∷ !Word64 shelleyStorageConfigSecurityParam ∷ !SecurityParam }

ConsensusConfig

type CardanoConsensusConfig c = ConsensusConfig (HardForkProtocol (CardanoEras c)) Source #

The ConsensusConfig for CardanoBlock.

Thanks to the pattern synonyms, you can treat this as the product of the Byron, Shelley, ... PartialConsensusConfigs.

NOTE: not ConsensusConfig, but PartialConsensusConfig.

data family ConsensusConfig p Source #

Static configuration required to run the consensus protocol

Every method in the ConsensusProtocol class takes the consensus configuration as a parameter, so having this as a data family rather than a type family resolves most ambiguity.

Defined out of the class so that protocols can define this type without having to define the entire protocol at the same time (or indeed in the same module).

Instances

Instances details

Generic (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Associated Types type Rep (ConsensusConfig (PBft c)) ∷ Type → Type Source # Methods from ∷ ConsensusConfig (PBft c) → Rep (ConsensusConfig (PBft c)) x Source # to ∷ Rep (ConsensusConfig (PBft c)) x → ConsensusConfig (PBft c) Source #
Generic (ConsensusConfig (HardForkProtocol xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (ConsensusConfig (HardForkProtocol xs)) ∷ Type → Type Source # Methods from ∷ ConsensusConfig (HardForkProtocol xs) → Rep (ConsensusConfig (HardForkProtocol xs)) x Source # to ∷ Rep (ConsensusConfig (HardForkProtocol xs)) x → ConsensusConfig (HardForkProtocol xs) Source #
Generic (ConsensusConfig (Praos c))
Instance details Defined in Ouroboros.Consensus.Protocol.Praos Associated Types type Rep (ConsensusConfig (Praos c)) ∷ Type → Type Source # Methods from ∷ ConsensusConfig (Praos c) → Rep (ConsensusConfig (Praos c)) x Source # to ∷ Rep (ConsensusConfig (Praos c)) x → ConsensusConfig (Praos c) Source #
Generic (ConsensusConfig (TPraos c))
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos Associated Types type Rep (ConsensusConfig (TPraos c)) ∷ Type → Type Source # Methods from ∷ ConsensusConfig (TPraos c) → Rep (ConsensusConfig (TPraos c)) x Source # to ∷ Rep (ConsensusConfig (TPraos c)) x → ConsensusConfig (TPraos c) Source #
NoThunks (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT Methods noThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ConsensusConfig (PBft c) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (ConsensusConfig (PBft c)) → String #
CanHardFork xs ⇒ NoThunks (ConsensusConfig (HardForkProtocol xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ConsensusConfig (HardForkProtocol xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (ConsensusConfig (HardForkProtocol xs)) → String #
PraosCrypto c ⇒ NoThunks (ConsensusConfig (Praos c))
Instance details Defined in Ouroboros.Consensus.Protocol.Praos Methods noThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ConsensusConfig (Praos c) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (ConsensusConfig (Praos c)) → String #
PraosCrypto c ⇒ NoThunks (ConsensusConfig (TPraos c))
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos Methods noThunks ∷ Context → ConsensusConfig (TPraos c) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → ConsensusConfig (TPraos c) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (ConsensusConfig (TPraos c)) → String #
type Rep (ConsensusConfig (PBft c))
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT type Rep (ConsensusConfig (PBft c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.PBFT" "ouroboros-consensus-0.1.0.0-inplace" 'True) (C1 ('MetaCons "PBftConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "pbftParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PBftParams)))
type Rep (ConsensusConfig (HardForkProtocol xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (ConsensusConfig (HardForkProtocol xs)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HardForkConsensusConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkConsensusConfigK") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 SecurityParam) :: (S1 ('MetaSel ('Just "hardForkConsensusConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :: S1 ('MetaSel ('Just "hardForkConsensusConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraConsensusConfig xs)))))
type Rep (ConsensusConfig (Praos c))
Instance details Defined in Ouroboros.Consensus.Protocol.Praos type Rep (ConsensusConfig (Praos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.Praos" "ouroboros-consensus-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "PraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "praosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PraosParams) :*: S1 ('MetaSel ('Just "praosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))
type Rep (ConsensusConfig (TPraos c))
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos type Rep (ConsensusConfig (TPraos c)) = D1 ('MetaData "ConsensusConfig" "Ouroboros.Consensus.Protocol.TPraos" "ouroboros-consensus-protocol-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TPraosConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "tpraosParams") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TPraosParams) :*: S1 ('MetaSel ('Just "tpraosEpochInfo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (EpochInfo (Except PastHorizonException)))))
newtype ConsensusConfig (PBft c)	(Static) node configuration
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype ConsensusConfig (PBft c) = PBftConfig { pbftParams ∷ PBftParams }
data ConsensusConfig (HardForkProtocol xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics data ConsensusConfig (HardForkProtocol xs) = HardForkConsensusConfig { hardForkConsensusConfigK ∷ !SecurityParam hardForkConsensusConfigShape ∷ !(Shape xs) hardForkConsensusConfigPerEra ∷ !(PerEraConsensusConfig xs) }
data ConsensusConfig (Praos c)	Static configuration
Instance details Defined in Ouroboros.Consensus.Protocol.Praos data ConsensusConfig (Praos c) = PraosConfig { praosParams ∷ !PraosParams praosEpochInfo ∷ !(EpochInfo (Except PastHorizonException)) }
data ConsensusConfig (TPraos c)	Static configuration
Instance details Defined in Ouroboros.Consensus.Protocol.TPraos data ConsensusConfig (TPraos c) = TPraosConfig { tpraosParams ∷ !TPraosParams tpraosEpochInfo ∷ !(EpochInfo (Except PastHorizonException)) }

LedgerConfig

type CardanoLedgerConfig c = HardForkLedgerConfig (CardanoEras c) Source #

The LedgerConfig for CardanoBlock.

Thanks to the pattern synonyms, you can treat this as the product of the Byron, Shelley, ... PartialLedgerConfigs.

NOTE: not LedgerConfig, but PartialLedgerConfig.

data HardForkLedgerConfig (xs ∷ [Type]) where Source #

Bundled Patterns

pattern CardanoLedgerConfig ∷ PartialLedgerConfig ByronBlock → PartialLedgerConfig (ShelleyBlock (TPraos c) (ShelleyEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (AllegraEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (MaryEra c)) → PartialLedgerConfig (ShelleyBlock (TPraos c) (AlonzoEra c)) → PartialLedgerConfig (ShelleyBlock (Praos c) (BabbageEra c)) → CardanoLedgerConfig c

Instances

Instances details

Generic (HardForkLedgerConfig xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Associated Types type Rep (HardForkLedgerConfig xs) ∷ Type → Type Source # Methods from ∷ HardForkLedgerConfig xs → Rep (HardForkLedgerConfig xs) x Source # to ∷ Rep (HardForkLedgerConfig xs) x → HardForkLedgerConfig xs Source #
CanHardFork xs ⇒ NoThunks (HardForkLedgerConfig xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → HardForkLedgerConfig xs → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (HardForkLedgerConfig xs) → String #
type Rep (HardForkLedgerConfig xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type Rep (HardForkLedgerConfig xs) = D1 ('MetaData "HardForkLedgerConfig" "Ouroboros.Consensus.HardFork.Combinator.Basics" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "HardForkLedgerConfig" 'PrefixI 'True) (S1 ('MetaSel ('Just "hardForkLedgerConfigShape") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Shape xs)) :*: S1 ('MetaSel ('Just "hardForkLedgerConfigPerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (PerEraLedgerConfig xs))))

LedgerState

type CardanoLedgerState c = LedgerState (CardanoBlock c) Source #

The LedgerState for CardanoBlock.

NOTE: the CardanoLedgerState contains more than just the current era's LedgerState. We don't give access to those internal details through the pattern synonyms. This is also the reason the pattern synonyms are not bidirectional.

data family LedgerState blk Source #

Ledger state associated with a block

Instances

Instances details

Inject LedgerState
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). CanHardFork xs ⇒ Exactly xs Bound → Index xs x → LedgerState x → LedgerState (HardForkBlock xs) Source #
CanHardFork xs ⇒ Eq (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods (==) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source # (/=) ∷ LedgerState (HardForkBlock xs) → LedgerState (HardForkBlock xs) → Bool Source #
CanHardFork xs ⇒ Show (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods showsPrec ∷ Int → LedgerState (HardForkBlock xs) → ShowS Source # show ∷ LedgerState (HardForkBlock xs) → String Source # showList ∷ [LedgerState (HardForkBlock xs)] → ShowS Source #
CanHardFork xs ⇒ NoThunks (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics Methods noThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # wNoThunks ∷ Context → LedgerState (HardForkBlock xs) → IO (Maybe ThunkInfo) # showTypeOf ∷ Proxy (LedgerState (HardForkBlock xs)) → String #
data LedgerState ByronBlock
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data LedgerState ByronBlock = ByronLedgerState { byronLedgerTipBlockNo ∷ !(WithOrigin BlockNo) byronLedgerState ∷ !ChainValidationState byronLedgerTransition ∷ !ByronTransition }
type TranslationError era (LedgerState :.: ShelleyBlock proto)
Instance details Defined in Ouroboros.Consensus.Shelley.ShelleyHFC type TranslationError era (LedgerState :.: ShelleyBlock proto) = Void
type Rep (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep (LedgerState ByronBlock) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-byron-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "byronLedgerTipBlockNo") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin BlockNo)) :: (S1 ('MetaSel ('Just "byronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :: S1 ('MetaSel ('Just "byronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition))))
type Rep (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (LedgerState (ShelleyBlock proto era)) = D1 ('MetaData "LedgerState" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "ShelleyLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "shelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :: (S1 ('MetaSel ('Just "shelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)) :: S1 ('MetaSel ('Just "shelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition))))
type Rep (Ticked (LedgerState (HardForkBlock xs)))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type Rep (Ticked (LedgerState (HardForkBlock xs))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.HardFork.Combinator.Ledger" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TickedHardForkLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedHardForkLedgerStateTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 TransitionInfo) :*: S1 ('MetaSel ('Just "tickedHardForkLedgerStatePerEra") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (HardForkState (Ticked :.: LedgerState) xs))))
type Rep (Ticked (LedgerState ByronBlock))
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type Rep (Ticked (LedgerState ByronBlock)) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Byron.Ledger.Ledger" "ouroboros-consensus-byron-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TickedByronLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "tickedByronLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChainValidationState) :*: S1 ('MetaSel ('Just "untickedByronLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByronTransition)))
type Rep (Ticked (LedgerState (ShelleyBlock proto era)))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type Rep (Ticked (LedgerState (ShelleyBlock proto era))) = D1 ('MetaData "Ticked" "Ouroboros.Consensus.Shelley.Ledger.Ledger" "ouroboros-consensus-shelley-0.1.0.0-inplace" 'False) (C1 ('MetaCons "TickedShelleyLedgerState" 'PrefixI 'True) (S1 ('MetaSel ('Just "untickedShelleyLedgerTip") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (WithOrigin (ShelleyTip proto era))) :: (S1 ('MetaSel ('Just "tickedShelleyLedgerTransition") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ShelleyTransition) :: S1 ('MetaSel ('Just "tickedShelleyLedgerState") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (NewEpochState era)))))
type LedgerCfg (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics type LedgerCfg (LedgerState (HardForkBlock xs)) = HardForkLedgerConfig xs
type LedgerCfg (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerCfg (LedgerState ByronBlock) = Config
type LedgerCfg (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerCfg (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerConfig era
type AuxLedgerEvent (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type AuxLedgerEvent (LedgerState (HardForkBlock xs)) = OneEraLedgerEvent xs
type AuxLedgerEvent (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type AuxLedgerEvent (LedgerState ByronBlock) = VoidLedgerEvent (LedgerState ByronBlock)
type AuxLedgerEvent (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type AuxLedgerEvent (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerEvent era
type LedgerErr (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger type LedgerErr (LedgerState (HardForkBlock xs)) = HardForkLedgerError xs
type LedgerErr (LedgerState ByronBlock)
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger type LedgerErr (LedgerState ByronBlock) = ChainValidationError
type LedgerErr (LedgerState (ShelleyBlock proto era))
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger type LedgerErr (LedgerState (ShelleyBlock proto era)) = ShelleyLedgerError era
newtype LedgerState (HardForkBlock xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Basics newtype LedgerState (HardForkBlock xs) = HardForkLedgerState { hardForkLedgerStatePerEra ∷ HardForkState LedgerState xs }
data Ticked (LedgerState (HardForkBlock xs))
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (Ticked :.: LedgerState) xs) }
data Ticked (LedgerState ByronBlock)	The ticked Byron ledger state
Instance details Defined in Ouroboros.Consensus.Byron.Ledger.Ledger data Ticked (LedgerState ByronBlock) = TickedByronLedgerState { tickedByronLedgerState ∷ !ChainValidationState untickedByronLedgerTransition ∷ !ByronTransition }
data Ticked (LedgerState (ShelleyBlock proto era))	Ticking only affects the state itself
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data Ticked (LedgerState (ShelleyBlock proto era)) = TickedShelleyLedgerState { untickedShelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era)) tickedShelleyLedgerTransition ∷ !ShelleyTransition tickedShelleyLedgerState ∷ !(NewEpochState era) }
type HeaderHash (LedgerState blk)
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash (LedgerState blk) = HeaderHash blk
data LedgerState (ShelleyBlock proto era)
Instance details Defined in Ouroboros.Consensus.Shelley.Ledger.Ledger data LedgerState (ShelleyBlock proto era) = ShelleyLedgerState { shelleyLedgerTip ∷ !(WithOrigin (ShelleyTip proto era)) shelleyLedgerState ∷ !(NewEpochState era) shelleyLedgerTransition ∷ !ShelleyTransition }

ChainDepState

type CardanoChainDepState c = HardForkChainDepState (CardanoEras c) Source #

The ChainDepState for CardanoBlock.

NOTE: the CardanoChainDepState contains more than just the current era's ChainDepState. We don't give access to those internal details through the pattern synonyms. This is also the reason the pattern synonyms are not bidirectional.

data HardForkState (f ∷ Type → Type) (xs ∷ [Type]) where Source #

Generic hard fork state

This is used both for the consensus state and the ledger state.

Bundled Patterns

pattern ChainDepStateAllegra ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (AllegraEra c))) → CardanoChainDepState c
pattern ChainDepStateAlonzo ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (AlonzoEra c))) → CardanoChainDepState c
pattern ChainDepStateBabbage ∷ ChainDepState (BlockProtocol (ShelleyBlock (Praos c) (BabbageEra c))) → CardanoChainDepState c
pattern ChainDepStateByron ∷ ChainDepState (BlockProtocol ByronBlock) → CardanoChainDepState c
pattern ChainDepStateMary ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (MaryEra c))) → CardanoChainDepState c
pattern ChainDepStateShelley ∷ ChainDepState (BlockProtocol (ShelleyBlock (TPraos c) (ShelleyEra c))) → CardanoChainDepState c

Instances

Instances details

data Ticked (HardForkChainDepState xs)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState (Ticked :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }
type SListIN HardForkState
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type SListIN HardForkState = SListI ∷ [Type] → Constraint
type Prod HardForkState
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type Prod HardForkState = NP ∷ (Type → Type) → [Type] → Type
type AllN HardForkState (c ∷ Type → Constraint)
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type AllN HardForkState (c ∷ Type → Constraint) = All c
type CollapseTo HardForkState a
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.State.Instances type CollapseTo HardForkState a = a

EraMismatch

data EraMismatch Source #

Extra info for errors caused by applying a block, header, transaction, or query from one era to a ledger from a different era.

Constructors

EraMismatch
Fields ledgerEraName ∷ !Text Name of the era of the ledger (Byron or Shelley). otherEraName ∷ !Text Era of the block, header, transaction, or query.

Instances

Instances details

Eq EraMismatch
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods (==) ∷ EraMismatch → EraMismatch → Bool Source # (/=) ∷ EraMismatch → EraMismatch → Bool Source #
Show EraMismatch
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Methods showsPrec ∷ Int → EraMismatch → ShowS Source # show ∷ EraMismatch → String Source # showList ∷ [EraMismatch] → ShowS Source #
Generic EraMismatch
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras Associated Types type Rep EraMismatch ∷ Type → Type Source # Methods from ∷ EraMismatch → Rep EraMismatch x Source # to ∷ Rep EraMismatch x → EraMismatch Source #
type Rep EraMismatch
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.AcrossEras type Rep EraMismatch = D1 ('MetaData "EraMismatch" "Ouroboros.Consensus.HardFork.Combinator.AcrossEras" "ouroboros-consensus-0.1.0.0-inplace" 'False) (C1 ('MetaCons "EraMismatch" 'PrefixI 'True) (S1 ('MetaSel ('Just "ledgerEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "otherEraName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)))