Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
data SomeConsensusProtocol where Source #
SomeConsensusProtocol :: forall blk. (Protocol IO blk, HasKESMetricsData blk, HasKESInfo blk, TraceConstraints blk) => BlockType blk -> ProtocolInfoArgs blk -> SomeConsensusProtocol |