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 WrapTipInfo blk = WrapTipInfo {
- unwrapTipInfo :: TipInfo blk
}
newtype WrapCanBeLeader blk = WrapCanBeLeader {
- unwrapCanBeLeader :: CanBeLeader ( BlockProtocol blk)
}
newtype WrapChainDepState blk = WrapChainDepState {
- unwrapChainDepState :: ChainDepState ( 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 WrapValidatedGenTx blk = WrapValidatedGenTx {
- unwrapValidatedGenTx :: Validated ( GenTx 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 :: Type

Block based

newtype WrapApplyTxErr blk Source #

Constructors

WrapApplyTxErr
Fields unwrapApplyTxErr :: ApplyTxErr blk

Instances

Instances details

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 #
Inject WrapApplyTxErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> WrapApplyTxErr x -> WrapApplyTxErr ( HardForkBlock xs) 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 -> forall s. Decoder s ( WrapApplyTxErr blk) Source #
Eq ( ApplyTxErr blk) => Eq ( WrapApplyTxErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapApplyTxErr blk -> WrapApplyTxErr blk -> Bool Source # (/=) :: WrapApplyTxErr blk -> WrapApplyTxErr blk -> Bool Source #
Show ( ApplyTxErr blk) => Show ( WrapApplyTxErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapApplyTxErr blk -> ShowS Source # show :: WrapApplyTxErr blk -> String Source # showList :: [ WrapApplyTxErr blk] -> ShowS Source #

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 Source # show :: WrapCannotForge blk -> String Source # showList :: [ WrapCannotForge blk] -> ShowS Source #

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 #
Eq ( OtherHeaderEnvelopeError blk) => Eq ( WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapEnvelopeErr blk -> WrapEnvelopeErr blk -> Bool Source # (/=) :: WrapEnvelopeErr blk -> WrapEnvelopeErr blk -> Bool Source #
Show ( OtherHeaderEnvelopeError blk) => Show ( WrapEnvelopeErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapEnvelopeErr blk -> ShowS Source # show :: WrapEnvelopeErr blk -> String Source # showList :: [ WrapEnvelopeErr blk] -> ShowS Source #
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 Source # show :: WrapForgeStateInfo blk -> String Source # showList :: [ WrapForgeStateInfo blk] -> ShowS Source #

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 Source # show :: WrapForgeStateUpdateError blk -> String Source # showList :: [ WrapForgeStateUpdateError blk] -> ShowS Source #

newtype WrapGenTxId blk Source #

Constructors

WrapGenTxId
Fields unwrapGenTxId :: GenTxId blk

Instances

Instances details

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 #
Inject WrapGenTxId Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> WrapGenTxId x -> WrapGenTxId ( HardForkBlock xs) 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 -> forall 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 -> forall s. Decoder s ( WrapGenTxId blk) Source #
Eq ( GenTxId blk) => Eq ( WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source # (/=) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source #
Ord ( GenTxId blk) => Ord ( WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare :: WrapGenTxId blk -> WrapGenTxId blk -> Ordering Source # (<) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source # (<=) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source # (>) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source # (>=) :: WrapGenTxId blk -> WrapGenTxId blk -> Bool Source # max :: WrapGenTxId blk -> WrapGenTxId blk -> WrapGenTxId blk Source # min :: WrapGenTxId blk -> WrapGenTxId blk -> WrapGenTxId blk Source #
Show ( GenTxId blk) => Show ( WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapGenTxId blk -> ShowS Source # show :: WrapGenTxId blk -> String Source # showList :: [ WrapGenTxId blk] -> ShowS Source #
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 #
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 #
Condense ( GenTxId blk) => Condense ( WrapGenTxId blk) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Condense Methods condense :: WrapGenTxId blk -> String Source #

newtype WrapHeaderHash blk Source #

Constructors

WrapHeaderHash
Fields unwrapHeaderHash :: HeaderHash blk

Instances

Instances details

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 #
Inject WrapHeaderHash Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> WrapHeaderHash x -> WrapHeaderHash ( HardForkBlock xs) Source #

newtype WrapLedgerConfig blk Source #

Constructors

WrapLedgerConfig
Fields unwrapLedgerConfig :: LedgerConfig blk

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 #
Eq ( LedgerError blk) => Eq ( WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapLedgerErr blk -> WrapLedgerErr blk -> Bool Source # (/=) :: WrapLedgerErr blk -> WrapLedgerErr blk -> Bool Source #
Show ( LedgerError blk) => Show ( WrapLedgerErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapLedgerErr blk -> ShowS Source # show :: WrapLedgerErr blk -> String Source # showList :: [ WrapLedgerErr blk] -> ShowS Source #
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

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

newtype WrapLedgerWarning blk Source #

Constructors

WrapLedgerWarning
Fields unwrapLedgerWarning :: LedgerWarning blk

Instances

Instances details

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

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 #
Eq ( TipInfo blk) => Eq ( WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapTipInfo blk -> WrapTipInfo blk -> Bool Source # (/=) :: WrapTipInfo blk -> WrapTipInfo blk -> Bool Source #
Show ( TipInfo blk) => Show ( WrapTipInfo blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapTipInfo blk -> ShowS Source # show :: WrapTipInfo blk -> String Source # showList :: [ WrapTipInfo blk] -> ShowS Source #
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 #

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

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 #
Inject WrapChainDepState Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Nary Methods inject :: forall x (xs :: [ Type ]). CanHardFork xs => Exactly xs Bound -> Index xs x -> WrapChainDepState x -> WrapChainDepState ( HardForkBlock xs) Source #
DecodeDisk blk ( ChainDepState ( BlockProtocol blk)) => DecodeDisk blk ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.Storage.Serialisation Methods decodeDisk :: CodecConfig blk -> forall 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 #
Eq ( ChainDepState ( BlockProtocol blk)) => Eq ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapChainDepState blk -> WrapChainDepState blk -> Bool Source # (/=) :: WrapChainDepState blk -> WrapChainDepState blk -> Bool Source #
Show ( ChainDepState ( BlockProtocol blk)) => Show ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapChainDepState blk -> ShowS Source # show :: WrapChainDepState blk -> String Source # showList :: [ WrapChainDepState blk] -> ShowS Source #
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) -> forall 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 #
newtype Ticked ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState :: Ticked ( ChainDepState ( BlockProtocol blk)) }
data Ticked ( HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked ( HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState ( Ticked :.: WrapChainDepState ) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo ( Except PastHorizonException ) }

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 Source # show :: WrapLedgerView blk -> String Source # showList :: [ WrapLedgerView blk] -> ShowS Source #
CanHardFork xs => Show ( HardForkLedgerView_ WrapLedgerView xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> HardForkLedgerView_ WrapLedgerView xs -> ShowS Source # show :: HardForkLedgerView_ WrapLedgerView xs -> String Source # showList :: [ HardForkLedgerView_ WrapLedgerView xs] -> ShowS Source #
newtype Ticked ( WrapLedgerView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) }

newtype WrapSelectView blk Source #

Constructors

WrapSelectView
Fields unwrapSelectView :: SelectView ( BlockProtocol blk)

Instances

Instances details

Eq ( SelectView ( BlockProtocol blk)) => Eq ( WrapSelectView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source # (/=) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source #
Ord ( SelectView ( BlockProtocol blk)) => Ord ( WrapSelectView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods compare :: WrapSelectView blk -> WrapSelectView blk -> Ordering Source # (<) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source # (<=) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source # (>) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source # (>=) :: WrapSelectView blk -> WrapSelectView blk -> Bool Source # max :: WrapSelectView blk -> WrapSelectView blk -> WrapSelectView blk Source # min :: WrapSelectView blk -> WrapSelectView blk -> WrapSelectView blk Source #
Show ( SelectView ( BlockProtocol blk)) => Show ( WrapSelectView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapSelectView blk -> ShowS Source # show :: WrapSelectView blk -> String Source # showList :: [ WrapSelectView blk] -> ShowS Source #
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 #

newtype WrapValidateView blk Source #

Constructors

WrapValidateView
Fields unwrapValidateView :: ValidateView ( BlockProtocol blk)

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 #
Eq ( Validated ( GenTx blk)) => Eq ( WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapValidatedGenTx blk -> WrapValidatedGenTx blk -> Bool Source # (/=) :: WrapValidatedGenTx blk -> WrapValidatedGenTx blk -> Bool Source #
Show ( Validated ( GenTx blk)) => Show ( WrapValidatedGenTx blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapValidatedGenTx blk -> ShowS Source # show :: WrapValidatedGenTx blk -> String Source # showList :: [ WrapValidatedGenTx blk] -> ShowS Source #
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 #

newtype WrapValidationErr blk Source #

Constructors

WrapValidationErr
Fields unwrapValidationErr :: ValidationErr ( BlockProtocol blk)

Instances

Instances details

Eq ( ValidationErr ( BlockProtocol blk)) => Eq ( WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapValidationErr blk -> WrapValidationErr blk -> Bool Source # (/=) :: WrapValidationErr blk -> WrapValidationErr blk -> Bool Source #
Show ( ValidationErr ( BlockProtocol blk)) => Show ( WrapValidationErr blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapValidationErr blk -> ShowS Source # show :: WrapValidationErr blk -> String Source # showList :: [ WrapValidationErr blk] -> ShowS Source #
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

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

newtype WrapNodeToNodeVersion blk Source #

Constructors

WrapNodeToNodeVersion
Fields unwrapNodeToNodeVersion :: BlockNodeToNodeVersion blk

Instances

Instances details

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

Type family instances

data family Ticked st :: Type Source #

" Ticked " piece of state ( LedgerState , LedgerView , ChainIndepState )

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 (or forecast).

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 Source # show :: Ticked () -> String Source # showList :: [ Ticked ()] -> ShowS Source #
Show ( Ticked a) => Show ( Ticked ( K a x)) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked ( K a x) -> ShowS Source # show :: Ticked ( K a x) -> String Source # showList :: [ Ticked ( K a x)] -> ShowS Source #
( SListI xs, Show ( Ticked a)) => Show ( Ticked ( HardForkLedgerView_ ( K a :: Type -> Type ) xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView Methods showsPrec :: Int -> Ticked ( HardForkLedgerView_ ( K a) xs) -> ShowS Source # show :: Ticked ( HardForkLedgerView_ ( K a) xs) -> String Source # showList :: [ Ticked ( HardForkLedgerView_ ( K a) xs)] -> ShowS Source #
Generic ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Associated Types type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) :: Type -> Type Source # Methods from :: Ticked ( LedgerState ( HardForkBlock xs)) -> Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x Source # to :: Rep ( Ticked ( LedgerState ( HardForkBlock xs))) x -> Ticked ( LedgerState ( HardForkBlock xs)) Source #
NoThunks ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods noThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( DualBlock m a)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( DualBlock m a))) -> String Source #
CanHardFork xs => NoThunks ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods noThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Ticked ( LedgerState ( HardForkBlock xs)) -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy ( Ticked ( LedgerState ( HardForkBlock xs))) -> String Source #
Bridge m a => GetTip ( Ticked ( LedgerState ( DualBlock m a))) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual Methods getTip :: Ticked ( LedgerState ( DualBlock m a)) -> Point ( Ticked ( LedgerState ( DualBlock m a))) Source #
CanHardFork xs => GetTip ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger Methods getTip :: Ticked ( LedgerState ( HardForkBlock xs)) -> Point ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
IsLedger ( LedgerState blk) => GetTip ( Ticked ( ExtLedgerState blk)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended Methods getTip :: Ticked ( ExtLedgerState blk) -> Point ( Ticked ( ExtLedgerState blk)) Source #
IsLedger l => GetTip ( Ticked ( LedgerDB l)) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods getTip :: Ticked ( LedgerDB l) -> Point ( Ticked ( LedgerDB l)) Source #
Isomorphic ( Ticked :.: LedgerState ) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Embed.Unary Methods project :: NoHardForks blk => ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) -> ( Ticked :.: LedgerState ) blk Source # inject :: NoHardForks blk => ( Ticked :.: LedgerState ) blk -> ( Ticked :.: LedgerState ) ( HardForkBlock '[blk]) Source #
Show ( Ticked (f a)) => Show (( Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> ( Ticked :.: f) a -> ShowS Source # show :: ( Ticked :.: f) a -> String Source # showList :: [( Ticked :.: f) a] -> ShowS Source #
NoThunks ( Ticked (f a)) => NoThunks (( Ticked :.: f) a) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods noThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> ( Ticked :.: f) a -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy (( Ticked :.: f) a) -> String Source #
data Ticked () Source #
Instance details Defined in Ouroboros.Consensus.Ticked data Ticked () = TickedTrivial
type Rep ( Ticked ( LedgerState ( HardForkBlock xs))) Source #
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.1-DT4Cvwf63DZKctsEvaJqCU" ' 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 HeaderHash ( Ticked l) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Basics type HeaderHash ( Ticked l) = HeaderHash l
data Ticked ( LedgerState ( DualBlock m a)) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Dual data Ticked ( LedgerState ( DualBlock m a)) = TickedDualLedgerState { tickedDualLedgerStateMain :: Ticked ( LedgerState m) tickedDualLedgerStateAux :: Ticked ( LedgerState a) tickedDualLedgerStateBridge :: BridgeLedger m a tickedDualLedgerStateAuxOrig :: LedgerState a }
data Ticked ( LedgerState ( HardForkBlock xs)) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Ledger data Ticked ( LedgerState ( HardForkBlock xs)) = TickedHardForkLedgerState { tickedHardForkLedgerStateTransition :: ! TransitionInfo tickedHardForkLedgerStatePerEra :: !( HardForkState ( Ticked :.: LedgerState ) xs) }
data Ticked ( HeaderState blk) Source #
Instance details Defined in Ouroboros.Consensus.HeaderValidation data Ticked ( HeaderState blk) = TickedHeaderState { untickedHeaderStateTip :: WithOrigin ( AnnTip blk) tickedHeaderStateChainDep :: Ticked ( ChainDepState ( BlockProtocol blk)) }
newtype Ticked ( WrapLedgerView blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapLedgerView blk) = WrapTickedLedgerView { unwrapTickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) }
newtype Ticked ( WrapChainDepState blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers newtype Ticked ( WrapChainDepState blk) = WrapTickedChainDepState { unwrapTickedChainDepState :: Ticked ( ChainDepState ( BlockProtocol blk)) }
data Ticked ( ExtLedgerState blk) Source #
Instance details Defined in Ouroboros.Consensus.Ledger.Extended data Ticked ( ExtLedgerState blk) = TickedExtLedgerState { tickedLedgerState :: Ticked ( LedgerState blk) tickedLedgerView :: Ticked ( LedgerView ( BlockProtocol blk)) tickedHeaderState :: Ticked ( HeaderState blk) }
data Ticked ( LedgerDB l) Source #	Ticking the ledger DB just ticks the current state We don't push the new state into the DB until we apply a block.
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory data Ticked ( LedgerDB l) = TickedLedgerDB { tickedLedgerDbTicked :: Ticked l tickedLedgerDbOrig :: LedgerDB l }
data Ticked ( HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked ( HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState ( Ticked :.: WrapChainDepState ) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo ( Except PastHorizonException ) }
data Ticked ( PBftState c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked ( PBftState c) = TickedPBftState { tickedPBftLedgerView :: Ticked ( LedgerView ( PBft c)) getTickedPBftState :: PBftState c }
newtype Ticked ( PBftLedgerView c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT newtype Ticked ( PBftLedgerView c) = TickedPBftLedgerView { tickedPBftDelegates :: Bimap ( PBftVerKeyHash c) ( PBftVerKeyHash c) }
data Ticked ( HardForkLedgerView_ f xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol.LedgerView data Ticked ( HardForkLedgerView_ f xs) = TickedHardForkLedgerView { tickedHardForkLedgerViewTransition :: TransitionInfo tickedHardForkLedgerViewPerEra :: HardForkState ( Ticked :.: f) xs }
newtype Ticked ( K a x) Source #
Instance details Defined in Ouroboros.Consensus.Ticked newtype Ticked ( K a x) = TickedK { getTickedK :: Ticked a }