Safe Haskell	None
Language	Haskell2010

Ouroboros.Consensus.TypeFamilyWrappers

Contents

Block based
Protocol based
Versioning
Type family instances

Description

Newtypes around type families so that they can be partially applied

Synopsis

newtype WrapApplyTxErr blk = WrapApplyTxErr {
- unwrapApplyTxErr ∷ ApplyTxErr blk
}
newtype WrapCannotForge blk = WrapCannotForge {
- unwrapCannotForge ∷ CannotForge blk
}
newtype WrapEnvelopeErr blk = WrapEnvelopeErr {
- unwrapEnvelopeErr ∷ OtherHeaderEnvelopeError blk
}
newtype WrapForgeStateInfo blk = WrapForgeStateInfo {
- unwrapForgeStateInfo ∷ ForgeStateInfo blk
}
newtype WrapForgeStateUpdateError blk = WrapForgeStateUpdateError {
- unwrapForgeStateUpdateError ∷ ForgeStateUpdateError blk
}
newtype WrapGenTxId blk = WrapGenTxId {
- unwrapGenTxId ∷ GenTxId blk
}
newtype WrapHeaderHash blk = WrapHeaderHash {
- unwrapHeaderHash ∷ HeaderHash blk
}
newtype WrapLedgerConfig blk = WrapLedgerConfig {
- unwrapLedgerConfig ∷ LedgerConfig blk
}
newtype WrapLedgerErr blk = WrapLedgerErr {
- unwrapLedgerErr ∷ LedgerError blk
}
newtype WrapLedgerEvent blk = WrapLedgerEvent {
- unwrapLedgerEvent ∷ AuxLedgerEvent (LedgerState blk)
}
newtype WrapLedgerUpdate blk = WrapLedgerUpdate {
- unwrapLedgerUpdate ∷ LedgerUpdate blk
}
newtype WrapLedgerWarning blk = WrapLedgerWarning {
- unwrapLedgerWarning ∷ LedgerWarning blk
}
newtype WrapTentativeHeaderState blk = WrapTentativeHeaderState {
- unwrapTentativeHeaderState ∷ TentativeHeaderState blk
}
newtype WrapTentativeHeaderView blk = WrapTentativeHeaderView {
- unwrapTentativeHeaderView ∷ TentativeHeaderView blk
}
newtype WrapTipInfo blk = WrapTipInfo {
- unwrapTipInfo ∷ TipInfo blk
}
newtype WrapTxIn blk = WrapTxIn {
- unwrapTxIn ∷ TxIn (LedgerState blk)
}
newtype WrapTxMeasure blk = WrapTxMeasure {
- unwrapTxMeasure ∷ TxMeasure blk
}
newtype WrapTxOut blk = WrapTxOut {
- unwrapTxOut ∷ TxOut (LedgerState blk)
}
newtype WrapValidatedGenTx blk = WrapValidatedGenTx {
- unwrapValidatedGenTx ∷ Validated (GenTx blk)
}
newtype WrapCanBeLeader blk = WrapCanBeLeader {
- unwrapCanBeLeader ∷ CanBeLeader (BlockProtocol blk)
}
newtype WrapChainDepState blk = WrapChainDepState {
- unwrapChainDepState ∷ ChainDepState (BlockProtocol blk)
}
newtype WrapChainOrderConfig blk = WrapChainOrderConfig {
- unwrapChainOrderConfig ∷ ChainOrderConfig (SelectView (BlockProtocol blk))
}
newtype WrapConsensusConfig blk = WrapConsensusConfig {
- unwrapConsensusConfig ∷ ConsensusConfig (BlockProtocol blk)
}
newtype WrapIsLeader blk = WrapIsLeader {
- unwrapIsLeader ∷ IsLeader (BlockProtocol blk)
}
newtype WrapLedgerView blk = WrapLedgerView {
- unwrapLedgerView ∷ LedgerView (BlockProtocol blk)
}
newtype WrapSelectView blk = WrapSelectView {
- unwrapSelectView ∷ SelectView (BlockProtocol blk)
}
newtype WrapValidateView blk = WrapValidateView {
- unwrapValidateView ∷ ValidateView (BlockProtocol blk)
}
newtype WrapValidationErr blk = WrapValidationErr {
- unwrapValidationErr ∷ ValidationErr (BlockProtocol blk)
}
newtype WrapNodeToClientVersion blk = WrapNodeToClientVersion {
- unwrapNodeToClientVersion ∷ BlockNodeToClientVersion blk
}
newtype WrapNodeToNodeVersion blk = WrapNodeToNodeVersion {
- unwrapNodeToNodeVersion ∷ BlockNodeToNodeVersion blk
}
data family Ticked (st ∷ k) ∷ k

Block based

newtype WrapApplyTxErr blk Source #

Constructors

WrapApplyTxErr
Fields unwrapApplyTxErr ∷ ApplyTxErr blk

Instances

Instances details

Inject WrapApplyTxErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → WrapApplyTxErr x → WrapApplyTxErr (HardForkBlock xs) Source #
Isomorphic WrapApplyTxErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapApplyTxErr (HardForkBlock '[blk]) → WrapApplyTxErr blk Source # inject ∷ NoHardForks blk ⇒ WrapApplyTxErr blk → WrapApplyTxErr (HardForkBlock '[blk]) Source #
SerialiseNodeToClient blk (ApplyTxErr blk) ⇒ SerialiseNodeToClient blk (WrapApplyTxErr blk) Source #
Instance details Defined in Ouroboros.Consensus.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → WrapApplyTxErr blk → Encoding Source # decodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → ∀ s. Decoder s (WrapApplyTxErr blk) Source #
Show (ApplyTxErr blk) ⇒ Show (WrapApplyTxErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapApplyTxErr blk → ShowS # show ∷ WrapApplyTxErr blk → String # showList ∷ [WrapApplyTxErr blk] → ShowS #
Eq (ApplyTxErr blk) ⇒ Eq (WrapApplyTxErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapApplyTxErr blk → WrapApplyTxErr blk → Bool # (/=) ∷ WrapApplyTxErr blk → WrapApplyTxErr blk → Bool #

newtype WrapCannotForge blk Source #

Constructors

WrapCannotForge
Fields unwrapCannotForge ∷ CannotForge blk

Instances

Instances details

Isomorphic WrapCannotForge Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapCannotForge (HardForkBlock '[blk]) → WrapCannotForge blk Source # inject ∷ NoHardForks blk ⇒ WrapCannotForge blk → WrapCannotForge (HardForkBlock '[blk]) Source #
Show (CannotForge blk) ⇒ Show (WrapCannotForge blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapCannotForge blk → ShowS # show ∷ WrapCannotForge blk → String # showList ∷ [WrapCannotForge blk] → ShowS #

newtype WrapEnvelopeErr blk Source #

Constructors

WrapEnvelopeErr
Fields unwrapEnvelopeErr ∷ OtherHeaderEnvelopeError blk

Instances

Instances details

Isomorphic WrapEnvelopeErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapEnvelopeErr (HardForkBlock '[blk]) → WrapEnvelopeErr blk Source # inject ∷ NoHardForks blk ⇒ WrapEnvelopeErr blk → WrapEnvelopeErr (HardForkBlock '[blk]) Source #
Show (OtherHeaderEnvelopeError blk) ⇒ Show (WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapEnvelopeErr blk → ShowS # show ∷ WrapEnvelopeErr blk → String # showList ∷ [WrapEnvelopeErr blk] → ShowS #
Eq (OtherHeaderEnvelopeError blk) ⇒ Eq (WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapEnvelopeErr blk → WrapEnvelopeErr blk → Bool # (/=) ∷ WrapEnvelopeErr blk → WrapEnvelopeErr blk → Bool #
NoThunks (OtherHeaderEnvelopeError blk) ⇒ NoThunks (WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapEnvelopeErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapEnvelopeErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapEnvelopeErr blk) → String Source #

newtype WrapForgeStateInfo blk Source #

Constructors

WrapForgeStateInfo
Fields unwrapForgeStateInfo ∷ ForgeStateInfo blk

Instances

Instances details

Isomorphic WrapForgeStateInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapForgeStateInfo (HardForkBlock '[blk]) → WrapForgeStateInfo blk Source # inject ∷ NoHardForks blk ⇒ WrapForgeStateInfo blk → WrapForgeStateInfo (HardForkBlock '[blk]) Source #
Show (ForgeStateInfo blk) ⇒ Show (WrapForgeStateInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapForgeStateInfo blk → ShowS # show ∷ WrapForgeStateInfo blk → String # showList ∷ [WrapForgeStateInfo blk] → ShowS #

newtype WrapForgeStateUpdateError blk Source #

Constructors

WrapForgeStateUpdateError
Fields unwrapForgeStateUpdateError ∷ ForgeStateUpdateError blk

Instances

Instances details

Isomorphic WrapForgeStateUpdateError Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapForgeStateUpdateError (HardForkBlock '[blk]) → WrapForgeStateUpdateError blk Source # inject ∷ NoHardForks blk ⇒ WrapForgeStateUpdateError blk → WrapForgeStateUpdateError (HardForkBlock '[blk]) Source #
Show (ForgeStateUpdateError blk) ⇒ Show (WrapForgeStateUpdateError blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapForgeStateUpdateError blk → ShowS # show ∷ WrapForgeStateUpdateError blk → String # showList ∷ [WrapForgeStateUpdateError blk] → ShowS #

newtype WrapGenTxId blk Source #

Constructors

WrapGenTxId
Fields unwrapGenTxId ∷ GenTxId blk

Instances

Instances details

Inject WrapGenTxId Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → WrapGenTxId x → WrapGenTxId (HardForkBlock xs) Source #
Isomorphic WrapGenTxId Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapGenTxId (HardForkBlock '[blk]) → WrapGenTxId blk Source # inject ∷ NoHardForks blk ⇒ WrapGenTxId blk → WrapGenTxId (HardForkBlock '[blk]) Source #
SerialiseNodeToClient blk (GenTxId blk) ⇒ SerialiseNodeToClient blk (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → WrapGenTxId blk → Encoding Source # decodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → ∀ s. Decoder s (WrapGenTxId blk) Source #
SerialiseNodeToNode blk (GenTxId blk) ⇒ SerialiseNodeToNode blk (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.Node.Serialisation Methods encodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → WrapGenTxId blk → Encoding Source # decodeNodeToNode ∷ CodecConfig blk → BlockNodeToNodeVersion blk → ∀ s. Decoder s (WrapGenTxId blk) Source #
Show (GenTxId blk) ⇒ Show (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapGenTxId blk → ShowS # show ∷ WrapGenTxId blk → String # showList ∷ [WrapGenTxId blk] → ShowS #
Eq (GenTxId blk) ⇒ Eq (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool # (/=) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool #
Ord (GenTxId blk) ⇒ Ord (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare ∷ WrapGenTxId blk → WrapGenTxId blk → Ordering # (<) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool # (<=) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool # (>) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool # (>=) ∷ WrapGenTxId blk → WrapGenTxId blk → Bool # max ∷ WrapGenTxId blk → WrapGenTxId blk → WrapGenTxId blk # min ∷ WrapGenTxId blk → WrapGenTxId blk → WrapGenTxId blk #
NoThunks (GenTxId blk) ⇒ NoThunks (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapGenTxId blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapGenTxId blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapGenTxId blk) → String Source #
Condense (GenTxId blk) ⇒ Condense (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense ∷ WrapGenTxId blk → String Source #
Serialise (GenTxId blk) ⇒ Serialise (WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods encode ∷ WrapGenTxId blk → Encoding Source # decode ∷ Decoder s (WrapGenTxId blk) Source # encodeList ∷ [WrapGenTxId blk] → Encoding Source # decodeList ∷ Decoder s [WrapGenTxId blk] Source #

newtype WrapHeaderHash blk Source #

Constructors

WrapHeaderHash
Fields unwrapHeaderHash ∷ HeaderHash blk

Instances

Instances details

Inject WrapHeaderHash Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → WrapHeaderHash x → WrapHeaderHash (HardForkBlock xs) Source #
Isomorphic WrapHeaderHash Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapHeaderHash (HardForkBlock '[blk]) → WrapHeaderHash blk Source # inject ∷ NoHardForks blk ⇒ WrapHeaderHash blk → WrapHeaderHash (HardForkBlock '[blk]) Source #

newtype WrapLedgerConfig blk Source #

Constructors

WrapLedgerConfig
Fields unwrapLedgerConfig ∷ LedgerConfig blk

Instances

Instances details

SerialiseNodeToClient blk (LedgerConfig blk) ⇒ SerialiseNodeToClient blk (WrapLedgerConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.Node.Serialisation Methods encodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → WrapLedgerConfig blk → Encoding Source # decodeNodeToClient ∷ CodecConfig blk → BlockNodeToClientVersion blk → ∀ s. Decoder s (WrapLedgerConfig blk) Source #

newtype WrapLedgerErr blk Source #

Constructors

WrapLedgerErr
Fields unwrapLedgerErr ∷ LedgerError blk

Instances

Instances details

Isomorphic WrapLedgerErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapLedgerErr (HardForkBlock '[blk]) → WrapLedgerErr blk Source # inject ∷ NoHardForks blk ⇒ WrapLedgerErr blk → WrapLedgerErr (HardForkBlock '[blk]) Source #
Show (LedgerError blk) ⇒ Show (WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapLedgerErr blk → ShowS # show ∷ WrapLedgerErr blk → String # showList ∷ [WrapLedgerErr blk] → ShowS #
Eq (LedgerError blk) ⇒ Eq (WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerErr blk → WrapLedgerErr blk → Bool # (/=) ∷ WrapLedgerErr blk → WrapLedgerErr blk → Bool #
NoThunks (LedgerError blk) ⇒ NoThunks (WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapLedgerErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapLedgerErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapLedgerErr blk) → String Source #

newtype WrapLedgerEvent blk Source #

Constructors

WrapLedgerEvent
Fields unwrapLedgerEvent ∷ AuxLedgerEvent (LedgerState blk)

newtype WrapLedgerUpdate blk Source #

Constructors

WrapLedgerUpdate
Fields unwrapLedgerUpdate ∷ LedgerUpdate blk

Instances

Instances details

Show (LedgerUpdate blk) ⇒ Show (WrapLedgerUpdate blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapLedgerUpdate blk → ShowS # show ∷ WrapLedgerUpdate blk → String # showList ∷ [WrapLedgerUpdate blk] → ShowS #
Eq (LedgerUpdate blk) ⇒ Eq (WrapLedgerUpdate blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerUpdate blk → WrapLedgerUpdate blk → Bool # (/=) ∷ WrapLedgerUpdate blk → WrapLedgerUpdate blk → Bool #

newtype WrapLedgerWarning blk Source #

Constructors

WrapLedgerWarning
Fields unwrapLedgerWarning ∷ LedgerWarning blk

Instances

Instances details

Show (LedgerWarning blk) ⇒ Show (WrapLedgerWarning blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapLedgerWarning blk → ShowS # show ∷ WrapLedgerWarning blk → String # showList ∷ [WrapLedgerWarning blk] → ShowS #
Eq (LedgerWarning blk) ⇒ Eq (WrapLedgerWarning blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerWarning blk → WrapLedgerWarning blk → Bool # (/=) ∷ WrapLedgerWarning blk → WrapLedgerWarning blk → Bool #

newtype WrapTentativeHeaderState blk Source #

Constructors

WrapTentativeHeaderState
Fields unwrapTentativeHeaderState ∷ TentativeHeaderState blk

Instances

Instances details

Show (TentativeHeaderState blk) ⇒ Show (WrapTentativeHeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapTentativeHeaderState blk → ShowS # show ∷ WrapTentativeHeaderState blk → String # showList ∷ [WrapTentativeHeaderState blk] → ShowS #
Eq (TentativeHeaderState blk) ⇒ Eq (WrapTentativeHeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool # (/=) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool #
Ord (TentativeHeaderState blk) ⇒ Ord (WrapTentativeHeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Ordering # (<) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool # (<=) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool # (>) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool # (>=) ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → Bool # max ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → WrapTentativeHeaderState blk # min ∷ WrapTentativeHeaderState blk → WrapTentativeHeaderState blk → WrapTentativeHeaderState blk #
NoThunks (TentativeHeaderState blk) ⇒ NoThunks (WrapTentativeHeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTentativeHeaderState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTentativeHeaderState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTentativeHeaderState blk) → String Source #

newtype WrapTentativeHeaderView blk Source #

Constructors

WrapTentativeHeaderView
Fields unwrapTentativeHeaderView ∷ TentativeHeaderView blk

Instances

Instances details

Show (TentativeHeaderView blk) ⇒ Show (WrapTentativeHeaderView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapTentativeHeaderView blk → ShowS # show ∷ WrapTentativeHeaderView blk → String # showList ∷ [WrapTentativeHeaderView blk] → ShowS #
Eq (TentativeHeaderView blk) ⇒ Eq (WrapTentativeHeaderView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTentativeHeaderView blk → WrapTentativeHeaderView blk → Bool # (/=) ∷ WrapTentativeHeaderView blk → WrapTentativeHeaderView blk → Bool #

newtype WrapTipInfo blk Source #

Constructors

WrapTipInfo
Fields unwrapTipInfo ∷ TipInfo blk

Instances

Instances details

Isomorphic WrapTipInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapTipInfo (HardForkBlock '[blk]) → WrapTipInfo blk Source # inject ∷ NoHardForks blk ⇒ WrapTipInfo blk → WrapTipInfo (HardForkBlock '[blk]) Source #
Show (TipInfo blk) ⇒ Show (WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapTipInfo blk → ShowS # show ∷ WrapTipInfo blk → String # showList ∷ [WrapTipInfo blk] → ShowS #
Eq (TipInfo blk) ⇒ Eq (WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTipInfo blk → WrapTipInfo blk → Bool # (/=) ∷ WrapTipInfo blk → WrapTipInfo blk → Bool #
NoThunks (TipInfo blk) ⇒ NoThunks (WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTipInfo blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTipInfo blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTipInfo blk) → String Source #
Serialise (TipInfo blk) ⇒ Serialise (WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods encode ∷ WrapTipInfo blk → Encoding Source # decode ∷ Decoder s (WrapTipInfo blk) Source # encodeList ∷ [WrapTipInfo blk] → Encoding Source # decodeList ∷ Decoder s [WrapTipInfo blk] Source #

newtype WrapTxIn blk Source #

Constructors

WrapTxIn
Fields unwrapTxIn ∷ TxIn (LedgerState blk)

Instances

Instances details

Show (TxIn (LedgerState blk)) ⇒ Show (WrapTxIn blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapTxIn blk → ShowS # show ∷ WrapTxIn blk → String # showList ∷ [WrapTxIn blk] → ShowS #
Eq (TxIn (LedgerState blk)) ⇒ Eq (WrapTxIn blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTxIn blk → WrapTxIn blk → Bool # (/=) ∷ WrapTxIn blk → WrapTxIn blk → Bool #
Ord (TxIn (LedgerState blk)) ⇒ Ord (WrapTxIn blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare ∷ WrapTxIn blk → WrapTxIn blk → Ordering # (<) ∷ WrapTxIn blk → WrapTxIn blk → Bool # (<=) ∷ WrapTxIn blk → WrapTxIn blk → Bool # (>) ∷ WrapTxIn blk → WrapTxIn blk → Bool # (>=) ∷ WrapTxIn blk → WrapTxIn blk → Bool # max ∷ WrapTxIn blk → WrapTxIn blk → WrapTxIn blk # min ∷ WrapTxIn blk → WrapTxIn blk → WrapTxIn blk #
NoThunks (TxIn (LedgerState blk)) ⇒ NoThunks (WrapTxIn blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTxIn blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTxIn blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTxIn blk) → String Source #

newtype WrapTxMeasure blk Source #

Constructors

WrapTxMeasure
Fields unwrapTxMeasure ∷ TxMeasure blk

newtype WrapTxOut blk Source #

Constructors

WrapTxOut
Fields unwrapTxOut ∷ TxOut (LedgerState blk)

Instances

Instances details

Show (TxOut (LedgerState blk)) ⇒ Show (WrapTxOut blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapTxOut blk → ShowS # show ∷ WrapTxOut blk → String # showList ∷ [WrapTxOut blk] → ShowS #
Eq (TxOut (LedgerState blk)) ⇒ Eq (WrapTxOut blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTxOut blk → WrapTxOut blk → Bool # (/=) ∷ WrapTxOut blk → WrapTxOut blk → Bool #
Ord (TxOut (LedgerState blk)) ⇒ Ord (WrapTxOut blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare ∷ WrapTxOut blk → WrapTxOut blk → Ordering # (<) ∷ WrapTxOut blk → WrapTxOut blk → Bool # (<=) ∷ WrapTxOut blk → WrapTxOut blk → Bool # (>) ∷ WrapTxOut blk → WrapTxOut blk → Bool # (>=) ∷ WrapTxOut blk → WrapTxOut blk → Bool # max ∷ WrapTxOut blk → WrapTxOut blk → WrapTxOut blk # min ∷ WrapTxOut blk → WrapTxOut blk → WrapTxOut blk #
(All MemPackTxOut xs, Typeable xs) ⇒ MemPack (DefaultHardForkTxOut xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods typeName ∷ String Source # packedByteCount ∷ DefaultHardForkTxOut xs → Int Source # packM ∷ DefaultHardForkTxOut xs → Pack s () Source # unpackM ∷ Buffer b ⇒ Unpack b (DefaultHardForkTxOut xs) Source #
NoThunks (TxOut (LedgerState blk)) ⇒ NoThunks (WrapTxOut blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapTxOut blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapTxOut blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapTxOut blk) → String Source #

newtype WrapValidatedGenTx blk Source #

A data family wrapper for Validated . GenTx

Validated is is data family, so this is an outlier in this module full of type family wrappers. However, the standard functor composition operator f :.: g incurs some type classes instances that are inappropriate when the outer type constructor f is a family and hence non-parametric (eg Eq (f :.: g) requires @Eq1 f)). The bespoke composition WrapValidatedGenTx therefore serves much the same purpose as the other wrappers in this module.

Constructors

WrapValidatedGenTx
Fields unwrapValidatedGenTx ∷ Validated (GenTx blk)

Instances

Instances details

Isomorphic WrapValidatedGenTx Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapValidatedGenTx (HardForkBlock '[blk]) → WrapValidatedGenTx blk Source # inject ∷ NoHardForks blk ⇒ WrapValidatedGenTx blk → WrapValidatedGenTx (HardForkBlock '[blk]) Source #
Show (Validated (GenTx blk)) ⇒ Show (WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapValidatedGenTx blk → ShowS # show ∷ WrapValidatedGenTx blk → String # showList ∷ [WrapValidatedGenTx blk] → ShowS #
Eq (Validated (GenTx blk)) ⇒ Eq (WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapValidatedGenTx blk → WrapValidatedGenTx blk → Bool # (/=) ∷ WrapValidatedGenTx blk → WrapValidatedGenTx blk → Bool #
NoThunks (Validated (GenTx blk)) ⇒ NoThunks (WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapValidatedGenTx blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapValidatedGenTx blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapValidatedGenTx blk) → String Source #

Protocol based

newtype WrapCanBeLeader blk Source #

Constructors

WrapCanBeLeader
Fields unwrapCanBeLeader ∷ CanBeLeader (BlockProtocol blk)

Instances

Instances details

Isomorphic WrapCanBeLeader Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapCanBeLeader (HardForkBlock '[blk]) → WrapCanBeLeader blk Source # inject ∷ NoHardForks blk ⇒ WrapCanBeLeader blk → WrapCanBeLeader (HardForkBlock '[blk]) Source #

newtype WrapChainDepState blk Source #

Constructors

WrapChainDepState
Fields unwrapChainDepState ∷ ChainDepState (BlockProtocol blk)

Instances

Instances details

Inject WrapChainDepState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject ∷ ∀ x (xs ∷ [Type]). (CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ InjectionIndex xs x → WrapChainDepState x → WrapChainDepState (HardForkBlock xs) Source #
Isomorphic WrapChainDepState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapChainDepState (HardForkBlock '[blk]) → WrapChainDepState blk Source # inject ∷ NoHardForks blk ⇒ WrapChainDepState blk → WrapChainDepState (HardForkBlock '[blk]) Source #
DecodeDisk blk (ChainDepState (BlockProtocol blk)) ⇒ DecodeDisk blk (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods decodeDisk ∷ CodecConfig blk → ∀ s. Decoder s (WrapChainDepState blk) Source #
EncodeDisk blk (ChainDepState (BlockProtocol blk)) ⇒ EncodeDisk blk (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods encodeDisk ∷ CodecConfig blk → WrapChainDepState blk → Encoding Source #
Show (ChainDepState (BlockProtocol blk)) ⇒ Show (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapChainDepState blk → ShowS # show ∷ WrapChainDepState blk → String # showList ∷ [WrapChainDepState blk] → ShowS #
Eq (ChainDepState (BlockProtocol blk)) ⇒ Eq (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapChainDepState blk → WrapChainDepState blk → Bool # (/=) ∷ WrapChainDepState blk → WrapChainDepState blk → Bool #
NoThunks (ChainDepState (BlockProtocol blk)) ⇒ NoThunks (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapChainDepState blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapChainDepState blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapChainDepState blk) → String Source #
Serialise (ChainDepState (BlockProtocol blk)) ⇒ Serialise (WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods encode ∷ WrapChainDepState blk → Encoding Source # decode ∷ Decoder s (WrapChainDepState blk) Source # encodeList ∷ [WrapChainDepState blk] → Encoding Source # decodeList ∷ Decoder s [WrapChainDepState blk] Source #
SerialiseHFC xs ⇒ DecodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods decodeDisk ∷ CodecConfig (HardForkBlock xs) → ∀ s. Decoder s (HardForkChainDepState xs) Source #
SerialiseHFC xs ⇒ EncodeDisk (HardForkBlock xs) (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Serialisation.SerialiseDisk Methods encodeDisk ∷ CodecConfig (HardForkBlock xs) → HardForkChainDepState xs → Encoding Source #
data Ticked (HardForkChainDepState xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState ((Ticked ∷ Type → Type) :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }
newtype Ticked (WrapChainDepState blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState { unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk)) }

newtype WrapChainOrderConfig blk Source #

Constructors

WrapChainOrderConfig
Fields unwrapChainOrderConfig ∷ ChainOrderConfig (SelectView (BlockProtocol blk))

newtype WrapConsensusConfig blk Source #

Constructors

WrapConsensusConfig
Fields unwrapConsensusConfig ∷ ConsensusConfig (BlockProtocol blk)

newtype WrapIsLeader blk Source #

Constructors

WrapIsLeader
Fields unwrapIsLeader ∷ IsLeader (BlockProtocol blk)

Instances

Instances details

Isomorphic WrapIsLeader Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapIsLeader (HardForkBlock '[blk]) → WrapIsLeader blk Source # inject ∷ NoHardForks blk ⇒ WrapIsLeader blk → WrapIsLeader (HardForkBlock '[blk]) Source #

newtype WrapLedgerView blk Source #

Constructors

WrapLedgerView
Fields unwrapLedgerView ∷ LedgerView (BlockProtocol blk)

Instances

Instances details

Isomorphic WrapLedgerView Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project ∷ NoHardForks blk ⇒ WrapLedgerView (HardForkBlock '[blk]) → WrapLedgerView blk Source # inject ∷ NoHardForks blk ⇒ WrapLedgerView blk → WrapLedgerView (HardForkBlock '[blk]) Source #
Show (LedgerView (BlockProtocol blk)) ⇒ Show (WrapLedgerView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapLedgerView blk → ShowS # show ∷ WrapLedgerView blk → String # showList ∷ [WrapLedgerView blk] → ShowS #
CanHardFork xs ⇒ Show (HardForkLedgerView_ WrapLedgerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec ∷ Int → HardForkLedgerView_ WrapLedgerView xs → ShowS # show ∷ HardForkLedgerView_ WrapLedgerView xs → String # showList ∷ [HardForkLedgerView_ WrapLedgerView xs] → ShowS #

newtype WrapSelectView blk Source #

Constructors

WrapSelectView
Fields unwrapSelectView ∷ SelectView (BlockProtocol blk)

Instances

Instances details

Show (SelectView (BlockProtocol blk)) ⇒ Show (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

Methods

showsPrec ∷ Int → WrapSelectView blk → ShowS #

show ∷ WrapSelectView blk → String #

showList ∷ [WrapSelectView blk] → ShowS #

Eq (SelectView (BlockProtocol blk)) ⇒ Eq (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

Methods

(==) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

(/=) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

Ord (SelectView (BlockProtocol blk)) ⇒ Ord (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

Methods

compare ∷ WrapSelectView blk → WrapSelectView blk → Ordering #

(<) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

(<=) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

(>) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

(>=) ∷ WrapSelectView blk → WrapSelectView blk → Bool #

max ∷ WrapSelectView blk → WrapSelectView blk → WrapSelectView blk #

min ∷ WrapSelectView blk → WrapSelectView blk → WrapSelectView blk #

NoThunks (SelectView (BlockProtocol blk)) ⇒ NoThunks (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

Methods

noThunks ∷ Context → WrapSelectView blk → IO (Maybe ThunkInfo) Source #

wNoThunks ∷ Context → WrapSelectView blk → IO (Maybe ThunkInfo) Source #

showTypeOf ∷ Proxy (WrapSelectView blk) → String Source #

ChainOrder (SelectView (BlockProtocol blk)) ⇒ ChainOrder (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

Associated Types

type ChainOrderConfig (WrapSelectView blk)
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers type ChainOrderConfig (WrapSelectView blk) = ChainOrderConfig (SelectView (BlockProtocol blk))

Methods

preferCandidate ∷ ChainOrderConfig (WrapSelectView blk) → WrapSelectView blk → WrapSelectView blk → Bool Source #

type ChainOrderConfig (WrapSelectView blk) Source #

Instance details

Defined in Ouroboros.Consensus.TypeFamilyWrappers

type ChainOrderConfig (WrapSelectView blk) = ChainOrderConfig (SelectView (BlockProtocol blk))

newtype WrapValidateView blk Source #

Constructors

WrapValidateView
Fields unwrapValidateView ∷ ValidateView (BlockProtocol blk)

newtype WrapValidationErr blk Source #

Constructors

WrapValidationErr
Fields unwrapValidationErr ∷ ValidationErr (BlockProtocol blk)

Instances

Instances details

Show (ValidationErr (BlockProtocol blk)) ⇒ Show (WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapValidationErr blk → ShowS # show ∷ WrapValidationErr blk → String # showList ∷ [WrapValidationErr blk] → ShowS #
Eq (ValidationErr (BlockProtocol blk)) ⇒ Eq (WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapValidationErr blk → WrapValidationErr blk → Bool # (/=) ∷ WrapValidationErr blk → WrapValidationErr blk → Bool #
NoThunks (ValidationErr (BlockProtocol blk)) ⇒ NoThunks (WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks ∷ Context → WrapValidationErr blk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → WrapValidationErr blk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (WrapValidationErr blk) → String Source #

Versioning

newtype WrapNodeToClientVersion blk Source #

Constructors

WrapNodeToClientVersion
Fields unwrapNodeToClientVersion ∷ BlockNodeToClientVersion blk

Instances

Instances details

Show (BlockNodeToClientVersion blk) ⇒ Show (WrapNodeToClientVersion blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapNodeToClientVersion blk → ShowS # show ∷ WrapNodeToClientVersion blk → String # showList ∷ [WrapNodeToClientVersion blk] → ShowS #
Eq (BlockNodeToClientVersion blk) ⇒ Eq (WrapNodeToClientVersion blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapNodeToClientVersion blk → WrapNodeToClientVersion blk → Bool # (/=) ∷ WrapNodeToClientVersion blk → WrapNodeToClientVersion blk → Bool #

newtype WrapNodeToNodeVersion blk Source #

Constructors

WrapNodeToNodeVersion
Fields unwrapNodeToNodeVersion ∷ BlockNodeToNodeVersion blk

Instances

Instances details

Show (BlockNodeToNodeVersion blk) ⇒ Show (WrapNodeToNodeVersion blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec ∷ Int → WrapNodeToNodeVersion blk → ShowS # show ∷ WrapNodeToNodeVersion blk → String # showList ∷ [WrapNodeToNodeVersion blk] → ShowS #
Eq (BlockNodeToNodeVersion blk) ⇒ Eq (WrapNodeToNodeVersion blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapNodeToNodeVersion blk → WrapNodeToNodeVersion blk → Bool # (/=) ∷ WrapNodeToNodeVersion blk → WrapNodeToNodeVersion blk → Bool #

Type family instances

data family Ticked (st ∷ k) ∷ k Source #

" Ticked " piece of state, either LedgerState or ChainDepState

Ticking refers to the passage of time (the ticking of the clock). When a piece of state is marked as ticked, it means that time-related changes have been applied to the state. There are exactly two methods in the interface that do that: tickChainDepState and applyChainTickLedgerResult.

Also note that a successful forecast forecastFor (ledgerViewForecastAt cfg st) slot must equal protocolLedgerView cfg (applyChainTick cfg slot st). Thus a LedgerView can only be projected from a Ticked state, but cannot itself be ticked.

Some examples of time related changes:

Scheduled delegations might have been applied in Byron
New leader schedule computed for Shelley
Transition from Byron to Shelley activated in the hard fork combinator.
Nonces switched out at the start of a new epoch.

Instances

Instances details

Show (Ticked ()) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → Ticked () → ShowS # show ∷ Ticked () → String # showList ∷ [Ticked ()] → ShowS #
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (HardForkBlock xs)) mk → Point (Ticked (LedgerState (HardForkBlock xs))) Source #
Bridge m a ⇒ GetTip (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked (LedgerState (DualBlock m a)) mk → Point (Ticked (LedgerState (DualBlock m a))) Source #
IsLedger (LedgerState blk) ⇒ GetTip (Ticked (ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip ∷ ∀ (mk ∷ MapKind). Ticked (ExtLedgerState blk) mk → Point (Ticked (ExtLedgerState blk)) Source #
(CanHardFork xs, HasCanonicalTxIn xs, HasHardForkTxOut xs) ⇒ HasLedgerTables (Ticked (LedgerState (HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) mk → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (HardForkBlock xs)) any → LedgerTables (Ticked (LedgerState (HardForkBlock xs))) mk → Ticked (LedgerState (HardForkBlock xs)) mk Source #
(Bridge m a, NoThunks (TxOut (LedgerState m)), NoThunks (TxIn (LedgerState m)), Show (TxOut (LedgerState m)), Show (TxIn (LedgerState m)), Eq (TxOut (LedgerState m)), Ord (TxIn (LedgerState m)), MemPack (TxIn (LedgerState m))) ⇒ HasLedgerTables (Ticked (LedgerState (DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) mk → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (LedgerState (DualBlock m a)) any → LedgerTables (Ticked (LedgerState (DualBlock m a))) mk → Ticked (LedgerState (DualBlock m a)) mk Source #
(HasLedgerTables (Ticked (LedgerState blk)), NoThunks (TxOut (LedgerState blk)), NoThunks (TxIn (LedgerState blk)), Show (TxOut (LedgerState blk)), Show (TxIn (LedgerState blk)), Eq (TxOut (LedgerState blk)), Ord (TxIn (LedgerState blk)), MemPack (TxIn (LedgerState blk))) ⇒ HasLedgerTables (Ticked (ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods projectLedgerTables ∷ ∀ (mk ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (ExtLedgerState blk) mk → LedgerTables (Ticked (ExtLedgerState blk)) mk Source # withLedgerTables ∷ ∀ (mk ∷ MapKind) (any ∷ MapKind). (CanMapMK mk, CanMapKeysMK mk, ZeroableMK mk) ⇒ Ticked (ExtLedgerState blk) any → LedgerTables (Ticked (ExtLedgerState blk)) mk → Ticked (ExtLedgerState blk) mk Source #
LedgerTablesAreTrivial (Ticked (LedgerState blk)) ⇒ LedgerTablesAreTrivial (Ticked (ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods convertMapKind ∷ ∀ (mk ∷ MapKind) (mk' ∷ MapKind). Ticked (ExtLedgerState blk) mk → Ticked (ExtLedgerState blk) mk' Source #
NoThunks (Ticked (LedgerState (DualBlock m a)) mk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → Ticked (LedgerState (DualBlock m a)) mk → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (Ticked (LedgerState (DualBlock m a)) mk) → String Source #
Show (Ticked (f a)) ⇒ Show (((Ticked ∷ Type → Type) :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec ∷ Int → ((Ticked ∷ Type → Type) :.: f) a → ShowS # show ∷ ((Ticked ∷ Type → Type) :.: f) a → String # showList ∷ [((Ticked ∷ Type → Type) :.: f) a] → ShowS #
NoThunks (Ticked (f a)) ⇒ NoThunks (((Ticked ∷ Type → Type) :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → ((Ticked ∷ Type → Type) :.: f) a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (((Ticked ∷ Type → Type) :.: f) a) → String Source #
data Ticked () Source #
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
data Ticked (HardForkChainDepState xs ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs ∷ Type) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra ∷ HardForkState ((Ticked ∷ Type → Type) :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo ∷ EpochInfo (Except PastHorizonException) }
data Ticked (HeaderState blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked (HeaderState blk ∷ Type) = TickedHeaderState { untickedHeaderStateTip ∷ WithOrigin (AnnTip blk) tickedHeaderStateChainDep ∷ Ticked (ChainDepState (BlockProtocol blk)) }
data Ticked (PBftState c ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked (PBftState c ∷ Type) = TickedPBftState { getPBftLedgerView ∷ LedgerView (PBft c) getTickedPBftState ∷ PBftState c }
newtype Ticked (WrapChainDepState blk ∷ Type) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked (WrapChainDepState blk ∷ Type) = WrapTickedChainDepState { unwrapTickedChainDepState ∷ Ticked (ChainDepState (BlockProtocol blk)) }
type HeaderHash (Ticked l ∷ k) Source #
Instance details Defined in Ouroboros.Consensus.Ticked type HeaderHash (Ticked l ∷ k) = HeaderHash l
type TxIn (Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type TxIn (Ticked l) = TxIn l
type TxOut (Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Tables.Basics type TxOut (Ticked l) = TxOut l
data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition ∷ !TransitionInfo tickedHardForkLedgerStatePerEra ∷ !(HardForkState (FlipTickedLedgerState mk) xs) }
data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState { tickedDualLedgerStateMain ∷ Ticked (LedgerState m) mk tickedDualLedgerStateAux ∷ Ticked (LedgerState a) ValuesMK tickedDualLedgerStateBridge ∷ BridgeLedger m a tickedDualLedgerStateAuxOrig ∷ LedgerState a ValuesMK }
data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind) = TickedExtLedgerState { tickedLedgerState ∷ Ticked (LedgerState blk) mk ledgerView ∷ LedgerView (BlockProtocol blk) tickedHeaderState ∷ Ticked (HeaderState blk) }