Moduleouroboros-consensus-4.2.1.0

Ouroboros.Consensus.TypeFamilyWrappers

32 types
3 values

Packageouroboros-consensus-4.2.1.0
Exports39
LicenceApache-2.0

data familydata family Ticked (st :: k) :: k

Instances19HasLedgerTables, GetTip, Show, NoThunks, HeaderHash, Ticked, …

Show (Ticked ())Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
(NoThunks (TxIn blk), NoThunks (TxOut blk), HasLedgerTables (Ticked LedgerState) blk) => HasLedgerTables (Ticked ExtLedgerState) blkDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) => HasLedgerTables (Ticked LedgerState) (HardForkBlock xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
(Bridge m a, HasLedgerTables (Ticked LedgerState) m) => HasLedgerTables (Ticked LedgerState) (DualBlock m a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
CanHardFork xs => GetTip (Ticked LedgerState (HardForkBlock xs))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
IsLedger LedgerState blk => GetTip (Ticked ExtLedgerState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
Bridge m a => GetTip (Ticked LedgerState (DualBlock m a))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
NoThunks (Ticked LedgerState (DualBlock m a) mk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
Show (Ticked (f a)) => Show ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
NoThunks (Ticked (f a)) => NoThunks ((:.:) Ticked f a)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
type HeaderHash (Ticked l blk) = HeaderHash (l blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked
data Ticked LedgerState (HardForkBlock xs)
- TickedHardForkLedgerStatetickedHardForkLedgerStateTransition :: !TransitionInfotickedHardForkLedgerStatePerEra :: !HardForkState (FlipTickedLedgerState mk) xs
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
data Ticked LedgerState (DualBlock m a)
- TickedDualLedgerStatetickedDualLedgerStateMain :: Ticked LedgerState m mktickedDualLedgerStateAux :: Ticked LedgerState a ValuesMKtickedDualLedgerStateBridge :: BridgeLedger m atickedDualLedgerStateAuxOrig :: LedgerState a ValuesMK
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Dual
data Ticked ExtLedgerState
- TickedExtLedgerStatetickedLedgerState :: Ticked LedgerState blk mkledgerView :: LedgerView (BlockProtocol blk)tickedHeaderState :: Ticked (HeaderState blk)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ledger.Extended
data Ticked (HardForkChainDepState xs)
- TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
data Ticked (HeaderState blk)
- TickedHeaderStateuntickedHeaderStateTip :: WithOrigin (AnnTip blk)tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HeaderValidation
data Ticked (PBftState c)
- TickedPBftStategetPBftLedgerView :: LedgerView (PBft c)getTickedPBftState :: PBftState c
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Protocol.PBFT · orphan
data Ticked (WrapChainDepState blk)
- WrapTickedChainDepStateunwrapTickedChainDepState :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
data Ticked ()
- TickedTrivial
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Ticked

constructorTickedHeaderState

Fields

untickedHeaderStateTip :: WithOrigin (AnnTip blk)
tickedHeaderStateChainDep :: Ticked (ChainDepState (BlockProtocol blk))

valuetickedHeaderStateChainDep

:: Ticked (HeaderState blk)
-> Ticked (ChainDepState (BlockProtocol blk))

valueuntickedHeaderStateTip

:: Ticked (HeaderState blk)
-> WithOrigin (AnnTip blk)

constructorTickedTrivial

constructorWrapTickedChainDepState

Fields

unwrapTickedChainDepState :: Ticked (ChainDepState (BlockProtocol blk))

valueunwrapTickedChainDepState

:: Ticked (WrapChainDepState blk)
-> Ticked (ChainDepState (BlockProtocol blk))

newtypenewtype WrapApplyTxErr blk

Constructors

WrapApplyTxErr
- unwrapApplyTxErr :: ApplyTxErr blk

Instances5Inject, Isomorphic, SerialiseNodeToClient, Eq, Show

Inject WrapApplyTxErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic WrapApplyTxErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
SerialiseNodeToClient blk (ApplyTxErr blk) => SerialiseNodeToClient blk (WrapApplyTxErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
Eq (ApplyTxErr blk) => Eq (WrapApplyTxErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (ApplyTxErr blk) => Show (WrapApplyTxErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapCanBeLeader blk

Constructors

WrapCanBeLeader
- unwrapCanBeLeader :: CanBeLeader (BlockProtocol blk)

Instances1Isomorphic

Isomorphic WrapCanBeLeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

newtypenewtype WrapCannotForge blk

Constructors

WrapCannotForge
- unwrapCannotForge :: CannotForge blk

Instances2Isomorphic, Show

Isomorphic WrapCannotForgeDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Show (CannotForge blk) => Show (WrapCannotForge blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapChainDepState blk

Constructors

WrapChainDepState
- unwrapChainDepState :: ChainDepState (BlockProtocol blk)

Instances12Inject, Isomorphic, Eq, Show, Serialise, NoThunks, …

Inject WrapChainDepStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic WrapChainDepStateDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
EncodeDisk blk (ChainDepState (BlockProtocol blk)) => EncodeDisk blk (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
DecodeDisk blk (ChainDepState (BlockProtocol blk)) => DecodeDisk blk (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Storage.Serialisation
Eq (ChainDepState (BlockProtocol blk)) => Eq (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (ChainDepState (BlockProtocol blk)) => Show (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Serialise (ChainDepState (BlockProtocol blk)) => Serialise (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (ChainDepState (BlockProtocol blk)) => NoThunks (WrapChainDepState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
SerialiseHFC xs => EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
SerialiseHFC xs => DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk · orphan
data Ticked (HardForkChainDepState xs)
- TickedHardForkChainDepStatetickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xstickedHardForkChainDepStateEpochInfo :: EpochInfo (Except PastHorizonException)
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol · orphan
data Ticked (WrapChainDepState blk)
- WrapTickedChainDepStateunwrapTickedChainDepState :: Ticked (ChainDepState (BlockProtocol blk))
Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapChainOrderConfig blk

Constructors

WrapChainOrderConfig
- unwrapChainOrderConfig :: ChainOrderConfig (TiebreakerView (BlockProtocol blk))

newtypenewtype WrapConsensusConfig blk

Constructors

WrapConsensusConfig
- unwrapConsensusConfig :: ConsensusConfig (BlockProtocol blk)

newtypenewtype WrapEnvelopeErr blk

Constructors

WrapEnvelopeErr
- unwrapEnvelopeErr :: OtherHeaderEnvelopeError blk

Instances4Isomorphic, Eq, Show, NoThunks

Isomorphic WrapEnvelopeErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Eq (OtherHeaderEnvelopeError blk) => Eq (WrapEnvelopeErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (OtherHeaderEnvelopeError blk) => Show (WrapEnvelopeErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (OtherHeaderEnvelopeError blk) => NoThunks (WrapEnvelopeErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapForgeStateInfo blk

Constructors

WrapForgeStateInfo
- unwrapForgeStateInfo :: ForgeStateInfo blk

Instances2Isomorphic, Show

Isomorphic WrapForgeStateInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Show (ForgeStateInfo blk) => Show (WrapForgeStateInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapForgeStateUpdateError blk

Constructors

WrapForgeStateUpdateError
- unwrapForgeStateUpdateError :: ForgeStateUpdateError blk

Instances2Isomorphic, Show

Isomorphic WrapForgeStateUpdateErrorDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Show (ForgeStateUpdateError blk) => Show (WrapForgeStateUpdateError blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapGenTxId blk

Constructors

WrapGenTxId
- unwrapGenTxId :: GenTxId blk

Instances10Inject, Isomorphic, SerialiseNodeToClient, SerialiseNodeToNode, Eq, Ord, …

Inject WrapGenTxIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic WrapGenTxIdDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
SerialiseNodeToClient blk (GenTxId blk) => SerialiseNodeToClient blk (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
SerialiseNodeToNode blk (GenTxId blk) => SerialiseNodeToNode blk (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation
Eq (GenTxId blk) => Eq (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Ord (GenTxId blk) => Ord (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (GenTxId blk) => Show (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Serialise (GenTxId blk) => Serialise (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (GenTxId blk) => NoThunks (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Condense (GenTxId blk) => Condense (WrapGenTxId blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Condense · orphan

newtypenewtype WrapHeaderHash blk

Constructors

WrapHeaderHash
- unwrapHeaderHash :: HeaderHash blk

Instances2Inject, Isomorphic

Inject WrapHeaderHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Nary
Isomorphic WrapHeaderHashDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

newtypenewtype WrapIsLeader blk

Constructors

WrapIsLeader
- unwrapIsLeader :: IsLeader (BlockProtocol blk)

Instances1Isomorphic

Isomorphic WrapIsLeaderDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary

newtypenewtype WrapLedgerConfig blk

Constructors

WrapLedgerConfig
- unwrapLedgerConfig :: LedgerConfig blk

Instances1SerialiseNodeToClient

SerialiseNodeToClient blk (LedgerConfig blk) => SerialiseNodeToClient blk (WrapLedgerConfig blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.Node.Serialisation

newtypenewtype WrapLedgerErr blk

Constructors

WrapLedgerErr
- unwrapLedgerErr :: LedgerError blk

Instances4Isomorphic, Eq, Show, NoThunks

Isomorphic WrapLedgerErrDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Eq (LedgerError blk) => Eq (WrapLedgerErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (LedgerError blk) => Show (WrapLedgerErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (LedgerError blk) => NoThunks (WrapLedgerErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapLedgerEvent blk

Constructors

WrapLedgerEvent
- unwrapLedgerEvent :: AuxLedgerEvent blk

newtypenewtype WrapLedgerUpdate blk

Constructors

WrapLedgerUpdate
- unwrapLedgerUpdate :: LedgerUpdate blk

Instances2Eq, Show

Eq (LedgerUpdate blk) => Eq (WrapLedgerUpdate blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (LedgerUpdate blk) => Show (WrapLedgerUpdate blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapLedgerView blk

Constructors

WrapLedgerView
- unwrapLedgerView :: LedgerView (BlockProtocol blk)

Instances3Isomorphic, Show

Isomorphic WrapLedgerViewDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Show (LedgerView (BlockProtocol blk)) => Show (WrapLedgerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
CanHardFork xs => Show (HardForkLedgerView_ WrapLedgerView xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView

newtypenewtype WrapLedgerWarning blk

Constructors

WrapLedgerWarning
- unwrapLedgerWarning :: LedgerWarning blk

Instances2Eq, Show

Eq (LedgerWarning blk) => Eq (WrapLedgerWarning blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (LedgerWarning blk) => Show (WrapLedgerWarning blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapNodeToClientVersion blk

Constructors

WrapNodeToClientVersion
- unwrapNodeToClientVersion :: BlockNodeToClientVersion blk

Instances2Eq, Show

Eq (BlockNodeToClientVersion blk) => Eq (WrapNodeToClientVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (BlockNodeToClientVersion blk) => Show (WrapNodeToClientVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapNodeToNodeVersion blk

Constructors

WrapNodeToNodeVersion
- unwrapNodeToNodeVersion :: BlockNodeToNodeVersion blk

Instances2Eq, Show

Eq (BlockNodeToNodeVersion blk) => Eq (WrapNodeToNodeVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (BlockNodeToNodeVersion blk) => Show (WrapNodeToNodeVersion blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapReasonForSwitch blk

Constructors

WrapReasonForSwitch
- unwrapReasonForSwitch :: ReasonForSwitch (WrapTiebreakerView blk)

Instances1Show

Show (ReasonForSwitch (WrapTiebreakerView blk)) => Show (WrapReasonForSwitch blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTentativeHeaderState blk

Constructors

WrapTentativeHeaderState
- unwrapTentativeHeaderState :: TentativeHeaderState blk

Instances4Eq, Ord, Show, NoThunks

Eq (TentativeHeaderState blk) => Eq (WrapTentativeHeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Ord (TentativeHeaderState blk) => Ord (WrapTentativeHeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TentativeHeaderState blk) => Show (WrapTentativeHeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (TentativeHeaderState blk) => NoThunks (WrapTentativeHeaderState blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTentativeHeaderView blk

Constructors

WrapTentativeHeaderView
- unwrapTentativeHeaderView :: TentativeHeaderView blk

Instances2Eq, Show

Eq (TentativeHeaderView blk) => Eq (WrapTentativeHeaderView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TentativeHeaderView blk) => Show (WrapTentativeHeaderView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTiebreakerView blk

Constructors

WrapTiebreakerView
- unwrapTiebreakerView :: TiebreakerView (BlockProtocol blk)

Instances7Eq, Ord, Show, NoThunks, ChainOrder, ChainOrderConfig, …

Eq (TiebreakerView (BlockProtocol blk)) => Eq (WrapTiebreakerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Ord (TiebreakerView (BlockProtocol blk)) => Ord (WrapTiebreakerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TiebreakerView (BlockProtocol blk)) => Show (WrapTiebreakerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (TiebreakerView (BlockProtocol blk)) => NoThunks (WrapTiebreakerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
ChainOrder (TiebreakerView (BlockProtocol blk)) => ChainOrder (WrapTiebreakerView blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
type ChainOrderConfig (WrapTiebreakerView blk) = ChainOrderConfig (TiebreakerView (BlockProtocol blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
type ReasonForSwitch (WrapTiebreakerView blk) = ReasonForSwitch (TiebreakerView (BlockProtocol blk))Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTipInfo blk

Constructors

WrapTipInfo
- unwrapTipInfo :: TipInfo blk

Instances5Isomorphic, Eq, Show, Serialise, NoThunks

Isomorphic WrapTipInfoDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Eq (TipInfo blk) => Eq (WrapTipInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TipInfo blk) => Show (WrapTipInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Serialise (TipInfo blk) => Serialise (WrapTipInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (TipInfo blk) => NoThunks (WrapTipInfo blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTxIn blk

Constructors

WrapTxIn
- unwrapTxIn :: TxIn blk

Instances4Eq, Ord, Show, NoThunks

Eq (TxIn blk) => Eq (WrapTxIn blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Ord (TxIn blk) => Ord (WrapTxIn blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TxIn blk) => Show (WrapTxIn blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (TxIn blk) => NoThunks (WrapTxIn blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapTxMeasurePhase1 blk

Constructors

WrapTxMeasurePhase1
- unwrapTxMeasurePhase1 :: TxMeasurePhase1 blk

newtypenewtype WrapTxMeasurePhase2 blk

Constructors

WrapTxMeasurePhase2
- unwrapTxMeasurePhase2 :: TxMeasurePhase2 blk

newtypenewtype WrapTxOut blk

Constructors

WrapTxOut
- unwrapTxOut :: TxOut blk

Instances5Eq, Ord, Show, MemPack, NoThunks

Eq (TxOut blk) => Eq (WrapTxOut blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Ord (TxOut blk) => Ord (WrapTxOut blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (TxOut blk) => Show (WrapTxOut blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
(All MemPackTxOut xs, Typeable xs) => MemPack (DefaultHardForkTxOut xs)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Ledger · orphan
NoThunks (TxOut blk) => NoThunks (WrapTxOut blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapValidateView blk

Constructors

WrapValidateView
- unwrapValidateView :: ValidateView (BlockProtocol blk)

newtypenewtype WrapValidatedGenTx blk

Constructors

WrapValidatedGenTx
- unwrapValidatedGenTx :: Validated (GenTx blk)

Instances4Isomorphic, Eq, Show, NoThunks

Isomorphic WrapValidatedGenTxDefined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.HardFork.Combinator.Embed.Unary
Eq (Validated (GenTx blk)) => Eq (WrapValidatedGenTx blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (Validated (GenTx blk)) => Show (WrapValidatedGenTx blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (Validated (GenTx blk)) => NoThunks (WrapValidatedGenTx blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers

newtypenewtype WrapValidationErr blk

Constructors

WrapValidationErr
- unwrapValidationErr :: ValidationErr (BlockProtocol blk)

Instances3Eq, Show, NoThunks

Eq (ValidationErr (BlockProtocol blk)) => Eq (WrapValidationErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
Show (ValidationErr (BlockProtocol blk)) => Show (WrapValidationErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers
NoThunks (ValidationErr (BlockProtocol blk)) => NoThunks (WrapValidationErr blk)Defined in ouroboros-consensus-4.2.1.0 · Ouroboros.Consensus.TypeFamilyWrappers