Documentation

protocolInfoBinary ∷ ∀ m kesAgentTrace blk1 blk2. (CanHardFork '[blk1, blk2], Monad m) ⇒ ProtocolInfo blk1 → (Tracer m kesAgentTrace → m [MkBlockForging m blk1]) → EraParams → (ConsensusConfig (BlockProtocol blk1) → PartialConsensusConfig (BlockProtocol blk1)) → (LedgerConfig blk1 → PartialLedgerConfig blk1) → ProtocolInfo blk2 → (Tracer m kesAgentTrace → m [MkBlockForging m blk2]) → EraParams → (ConsensusConfig (BlockProtocol blk2) → PartialConsensusConfig (BlockProtocol blk2)) → (LedgerConfig blk2 → PartialLedgerConfig blk2) → (ProtocolInfo (HardForkBlock '[blk1, blk2]), Tracer m kesAgentTrace → m [MkBlockForging m (HardForkBlock '[blk1, blk2])]) Source #