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 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 WrapChainSelConfig blk = WrapChainSelConfig {
- unwrapChainSelConfig :: ChainSelConfig (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 WrapNodeToNodeVersion blk = WrapNodeToNodeVersion {
- unwrapNodeToNodeVersion :: BlockNodeToNodeVersion blk
}
newtype WrapNodeToClientVersion blk = WrapNodeToClientVersion {
- unwrapNodeToClientVersion :: BlockNodeToClientVersion 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.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 -> 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 # (/=) :: WrapApplyTxErr blk -> WrapApplyTxErr blk -> Bool #
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 #

newtype WrapCannotForge blk Source #

Constructors

WrapCannotForge
Fields unwrapCannotForge :: CannotForge blk

Instances

Instances details

Isomorphic WrapCannotForge Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.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.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 # (/=) :: WrapEnvelopeErr blk -> WrapEnvelopeErr blk -> Bool #
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 #
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.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.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

Isomorphic WrapGenTxId Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Unary Methods project :: NoHardForks blk => WrapGenTxId (HardForkBlock '[blk]) -> WrapGenTxId blk Source # inject :: NoHardForks blk => WrapGenTxId blk -> WrapGenTxId (HardForkBlock '[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 # (/=) :: 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 #
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 #
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.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

newtype WrapLedgerErr blk Source #

Constructors

WrapLedgerErr
Fields unwrapLedgerErr :: LedgerError blk

Instances

Instances details

Isomorphic WrapLedgerErr Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.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 # (/=) :: WrapLedgerErr blk -> WrapLedgerErr blk -> Bool #
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 #
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 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 # (/=) :: WrapLedgerUpdate blk -> WrapLedgerUpdate blk -> Bool #
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 #

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 # (/=) :: WrapLedgerWarning blk -> WrapLedgerWarning blk -> Bool #
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 #

newtype WrapTipInfo blk Source #

Constructors

WrapTipInfo
Fields unwrapTipInfo :: TipInfo blk

Instances

Instances details

Isomorphic WrapTipInfo Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.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 # (/=) :: WrapTipInfo blk -> WrapTipInfo blk -> Bool #
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 #
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.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.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 -> 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 # (/=) :: WrapChainDepState blk -> WrapChainDepState blk -> Bool #
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 #
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 Identity }

newtype WrapChainSelConfig blk Source #

Constructors

WrapChainSelConfig
Fields unwrapChainSelConfig :: ChainSelConfig (BlockProtocol blk)

Instances

Instances details

Eq (ChainSelConfig (BlockProtocol blk)) => Eq (WrapChainSelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods (==) :: WrapChainSelConfig blk -> WrapChainSelConfig blk -> Bool # (/=) :: WrapChainSelConfig blk -> WrapChainSelConfig blk -> Bool #
Show (ChainSelConfig (BlockProtocol blk)) => Show (WrapChainSelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods showsPrec :: Int -> WrapChainSelConfig blk -> ShowS # show :: WrapChainSelConfig blk -> String # showList :: [WrapChainSelConfig blk] -> ShowS #
NoThunks (ChainSelConfig (BlockProtocol blk)) => NoThunks (WrapChainSelConfig blk) Source #
Instance details Defined in Ouroboros.Consensus.TypeFamilyWrappers Methods noThunks :: Context -> WrapChainSelConfig blk -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> WrapChainSelConfig blk -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (WrapChainSelConfig blk) -> String Source #

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.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.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 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

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 #

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

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 #
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 #
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 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 # (/=) :: WrapNodeToNodeVersion blk -> WrapNodeToNodeVersion blk -> Bool #
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 #

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 # (/=) :: WrapNodeToClientVersion blk -> WrapNodeToClientVersion blk -> Bool #
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 #

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 # show :: Ticked () -> String # showList :: [Ticked ()] -> ShowS #
Show (Ticked a) => Show (Ticked (K a x)) Source #
Instance details Defined in Ouroboros.Consensus.Ticked Methods showsPrec :: Int -> Ticked (K a x) -> ShowS # show :: Ticked (K a x) -> String # showList :: [Ticked (K a x)] -> ShowS #
(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 # show :: Ticked (HardForkLedgerView_ (K a) xs) -> String # showList :: [Ticked (HardForkLedgerView_ (K a) xs)] -> ShowS #
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 # Methods from :: Ticked (LedgerState (HardForkBlock xs)) -> Rep (Ticked (LedgerState (HardForkBlock xs))) x # to :: Rep (Ticked (LedgerState (HardForkBlock xs))) x -> Ticked (LedgerState (HardForkBlock xs)) #
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 l => GetTip (Ticked (LedgerDB l r)) Source #
Instance details Defined in Ouroboros.Consensus.Storage.LedgerDB.InMemory Methods getTip :: Ticked (LedgerDB l r) -> Point (Ticked (LedgerDB l r)) 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 #
Isomorphic (Ticked :.: LedgerState) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.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 # show :: (Ticked :.: f) a -> String # showList :: [(Ticked :.: f) a] -> ShowS #
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.0-GfJNvFcM6lj2s5utKAUPEp" '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)) }
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) }
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 (HardForkChainDepState xs) Source #
Instance details Defined in Ouroboros.Consensus.HardFork.Combinator.Protocol data Ticked (HardForkChainDepState xs) = TickedHardForkChainDepState { tickedHardForkChainDepStatePerEra :: HardForkState (Ticked :.: WrapChainDepState) xs tickedHardForkChainDepStateEpochInfo :: EpochInfo Identity }
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 }
data Ticked (PBftLedgerView c) Source #
Instance details Defined in Ouroboros.Consensus.Protocol.PBFT data Ticked (PBftLedgerView c) = TickedPBftLedgerView { tickedPBftDelegates :: Bimap (PBftVerKeyHash c) (PBftVerKeyHash c) }
data Ticked (LedgerDB l r) 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 r) = TickedLedgerDB { tickedLedgerDbTicked :: Ticked l tickedLedgerDbOrig :: LedgerDB l r }
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 }