Documentation

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