Safe Haskell | None |
---|---|
Language | Haskell2010 |
Ouroboros.Consensus.TypeFamilyWrappers
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 {}
- newtype WrapForgeStateInfo blk = WrapForgeStateInfo {}
- newtype WrapForgeStateUpdateError blk = WrapForgeStateUpdateError {}
- newtype WrapGenTxId blk = WrapGenTxId {
- unwrapGenTxId ∷ GenTxId blk
- newtype WrapHeaderHash blk = WrapHeaderHash {
- unwrapHeaderHash ∷ HeaderHash blk
- newtype WrapLedgerConfig blk = WrapLedgerConfig {}
- newtype WrapLedgerErr blk = WrapLedgerErr {
- unwrapLedgerErr ∷ LedgerError blk
- newtype WrapLedgerEvent blk = WrapLedgerEvent {}
- newtype WrapLedgerUpdate blk = WrapLedgerUpdate {}
- newtype WrapLedgerWarning blk = WrapLedgerWarning {}
- newtype WrapTentativeHeaderState blk = WrapTentativeHeaderState {}
- newtype WrapTentativeHeaderView blk = WrapTentativeHeaderView {}
- 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 {}
- newtype WrapChainDepState blk = WrapChainDepState {}
- newtype WrapChainOrderConfig blk = WrapChainOrderConfig {}
- newtype WrapConsensusConfig blk = WrapConsensusConfig {}
- 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 {}
- newtype WrapValidationErr blk = WrapValidationErr {}
- newtype WrapNodeToClientVersion blk = WrapNodeToClientVersion {}
- newtype WrapNodeToNodeVersion blk = WrapNodeToNodeVersion {}
- data family Ticked (st ∷ k) ∷ k
Block based
newtype WrapApplyTxErr blk Source #
Constructors
WrapApplyTxErr | |
Fields
|
Instances
newtype WrapCannotForge blk Source #
Constructors
WrapCannotForge | |
Fields
|
Instances
Isomorphic WrapCannotForge Source # | |
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 # | |
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 |
Instances
Isomorphic WrapEnvelopeErr Source # | |
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 # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapEnvelopeErr blk → WrapEnvelopeErr blk → Bool # (/=) ∷ WrapEnvelopeErr blk → WrapEnvelopeErr blk → Bool # | |
NoThunks (OtherHeaderEnvelopeError blk) ⇒ NoThunks (WrapEnvelopeErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers |
newtype WrapForgeStateInfo blk Source #
Constructors
WrapForgeStateInfo | |
Fields |
Instances
Isomorphic WrapForgeStateInfo Source # | |
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 # | |
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 |
Instances
Isomorphic WrapForgeStateUpdateError Source # | |
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 # | |
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
|
Instances
newtype WrapHeaderHash blk Source #
Constructors
WrapHeaderHash | |
Fields
|
Instances
Inject WrapHeaderHash Source # | |
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 # | |
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 |
Instances
SerialiseNodeToClient blk (LedgerConfig blk) ⇒ SerialiseNodeToClient blk (WrapLedgerConfig blk) Source # | |
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
|
Instances
Isomorphic WrapLedgerErr Source # | |
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 # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerErr blk → WrapLedgerErr blk → Bool # (/=) ∷ WrapLedgerErr blk → WrapLedgerErr blk → Bool # | |
NoThunks (LedgerError blk) ⇒ NoThunks (WrapLedgerErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers |
newtype WrapLedgerEvent blk Source #
Constructors
WrapLedgerEvent | |
Fields |
newtype WrapLedgerUpdate blk Source #
Constructors
WrapLedgerUpdate | |
Fields |
Instances
Show (LedgerUpdate blk) ⇒ Show (WrapLedgerUpdate blk) Source # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerUpdate blk → WrapLedgerUpdate blk → Bool # (/=) ∷ WrapLedgerUpdate blk → WrapLedgerUpdate blk → Bool # |
newtype WrapLedgerWarning blk Source #
Constructors
WrapLedgerWarning | |
Fields |
Instances
Show (LedgerWarning blk) ⇒ Show (WrapLedgerWarning blk) Source # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapLedgerWarning blk → WrapLedgerWarning blk → Bool # (/=) ∷ WrapLedgerWarning blk → WrapLedgerWarning blk → Bool # |
newtype WrapTentativeHeaderState blk Source #
Constructors
WrapTentativeHeaderState | |
Fields |
Instances
newtype WrapTentativeHeaderView blk Source #
Constructors
WrapTentativeHeaderView | |
Fields |
Instances
Show (TentativeHeaderView blk) ⇒ Show (WrapTentativeHeaderView blk) Source # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapTentativeHeaderView blk → WrapTentativeHeaderView blk → Bool # (/=) ∷ WrapTentativeHeaderView blk → WrapTentativeHeaderView blk → Bool # |
newtype WrapTipInfo blk Source #
Constructors
WrapTipInfo | |
Fields
|
Instances
Constructors
WrapTxIn | |
Fields
|
Instances
Show (TxIn (LedgerState blk)) ⇒ Show (WrapTxIn blk) Source # | |
Eq (TxIn (LedgerState blk)) ⇒ Eq (WrapTxIn blk) Source # | |
Ord (TxIn (LedgerState blk)) ⇒ Ord (WrapTxIn blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
NoThunks (TxIn (LedgerState blk)) ⇒ NoThunks (WrapTxIn blk) Source # | |
newtype WrapTxMeasure blk Source #
Constructors
WrapTxMeasure | |
Fields
|
newtype WrapTxOut blk Source #
Constructors
WrapTxOut | |
Fields
|
Instances
Show (TxOut (LedgerState blk)) ⇒ Show (WrapTxOut blk) Source # | |
Eq (TxOut (LedgerState blk)) ⇒ Eq (WrapTxOut blk) Source # | |
Ord (TxOut (LedgerState blk)) ⇒ Ord (WrapTxOut blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
(All MemPackTxOut xs, Typeable xs) ⇒ MemPack (DefaultHardForkTxOut xs) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods 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 # | |
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
requires @Eq
(f
:.: g)Eq1
f)). The bespoke composition
WrapValidatedGenTx
therefore serves much the same purpose as the other
wrappers in this module.
Constructors
WrapValidatedGenTx | |
Fields
|
Instances
Isomorphic WrapValidatedGenTx Source # | |
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 # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapValidatedGenTx blk → WrapValidatedGenTx blk → Bool # (/=) ∷ WrapValidatedGenTx blk → WrapValidatedGenTx blk → Bool # | |
NoThunks (Validated (GenTx blk)) ⇒ NoThunks (WrapValidatedGenTx blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers |
Protocol based
newtype WrapCanBeLeader blk Source #
Constructors
WrapCanBeLeader | |
Fields |
Instances
Isomorphic WrapCanBeLeader Source # | |
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 |
Instances
newtype WrapChainOrderConfig blk Source #
Constructors
WrapChainOrderConfig | |
Fields |
newtype WrapConsensusConfig blk Source #
Constructors
WrapConsensusConfig | |
Fields |
newtype WrapIsLeader blk Source #
Constructors
WrapIsLeader | |
Fields
|
Instances
Isomorphic WrapIsLeader Source # | |
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
|
Instances
Isomorphic WrapLedgerView Source # | |
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 # | |
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 # | |
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
|
Instances
newtype WrapValidateView blk Source #
Constructors
WrapValidateView | |
Fields |
newtype WrapValidationErr blk Source #
Constructors
WrapValidationErr | |
Fields |
Instances
Show (ValidationErr (BlockProtocol blk)) ⇒ Show (WrapValidationErr blk) Source # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapValidationErr blk → WrapValidationErr blk → Bool # (/=) ∷ WrapValidationErr blk → WrapValidationErr blk → Bool # | |
NoThunks (ValidationErr (BlockProtocol blk)) ⇒ NoThunks (WrapValidationErr blk) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers |
Versioning
newtype WrapNodeToClientVersion blk Source #
Constructors
WrapNodeToClientVersion | |
Fields |
Instances
Show (BlockNodeToClientVersion blk) ⇒ Show (WrapNodeToClientVersion blk) Source # | |
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 # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) ∷ WrapNodeToClientVersion blk → WrapNodeToClientVersion blk → Bool # (/=) ∷ WrapNodeToClientVersion blk → WrapNodeToClientVersion blk → Bool # |
newtype WrapNodeToNodeVersion blk Source #
Constructors
WrapNodeToNodeVersion | |
Fields |
Instances
Show (BlockNodeToNodeVersion blk) ⇒ Show (WrapNodeToNodeVersion blk) Source # | |
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 # | |
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
must equal
forecastFor
(ledgerViewForecastAt
cfg st)
slot
. Thus a
protocolLedgerView
cfg
(applyChainTick
cfg slot st)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
Show (Ticked ()) Source # | |
CanHardFork xs ⇒ GetTip (Ticked (LedgerState (HardForkBlock xs))) Source # | |
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 # | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
IsLedger (LedgerState blk) ⇒ GetTip (Ticked (ExtLedgerState blk)) Source # | |
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 # | |
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 # | |
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 # | |
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 # | |
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 # | |
Defined in Ouroboros.Consensus.Ledger.Dual | |
Show (Ticked (f a)) ⇒ Show (((Ticked ∷ Type → Type) :.: f) a) Source # | |
NoThunks (Ticked (f a)) ⇒ NoThunks (((Ticked ∷ Type → Type) :.: f) a) Source # | |
data Ticked () Source # | |
Defined in Ouroboros.Consensus.Ticked | |
data Ticked (HardForkChainDepState xs ∷ Type) Source # | |
data Ticked (HeaderState blk ∷ Type) Source # | |
Defined in Ouroboros.Consensus.HeaderValidation | |
data Ticked (PBftState c ∷ Type) Source # | |
Defined in Ouroboros.Consensus.Protocol.PBFT | |
newtype Ticked (WrapChainDepState blk ∷ Type) Source # | |
Defined in Ouroboros.Consensus.TypeFamilyWrappers | |
type HeaderHash (Ticked l ∷ k) Source # | |
Defined in Ouroboros.Consensus.Ticked | |
type TxIn (Ticked l) Source # | |
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |
type TxOut (Ticked l) Source # | |
Defined in Ouroboros.Consensus.Ledger.Tables.Basics | |
data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) Source # | |
Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked (LedgerState (HardForkBlock xs) ∷ MapKind → Type) (mk ∷ MapKind) = TickedHardForkLedgerState {} | |
data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) Source # | |
Defined in Ouroboros.Consensus.Ledger.Dual data Ticked (LedgerState (DualBlock m a) ∷ MapKind → Type) (mk ∷ MapKind) = TickedDualLedgerState {} | |
data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind) Source # | |
Defined in Ouroboros.Consensus.Ledger.Extended data Ticked (ExtLedgerState blk ∷ MapKind → Type) (mk ∷ MapKind) = TickedExtLedgerState {
|