Module P2p_ringcast_lwt
RingCast with Lwt
High-level library implementing the RingCast protocol using Lwt.
module Make : functor (Node_id : P2p.S.NODE_ID) -> functor (Node : P2p.S.NODE with type nid := Node_id.t) -> functor (View : P2p.S.VIEW with type nid := Node_id.t and type node := Node.t) -> functor (Msg_id : P2p.S.MSG_ID) -> functor (Ringcast : P2p.S.GOSSIP_DISSEM with type nid := Node_id.t and type node := Node.t and type view := View.t and type mid := Msg_id.t) -> functor (Io : S.RINGCAST_IO with type nid := Node_id.t and type node := Node.t and type view := View.t and type mid := Msg_id.t) -> S.RINGCAST with type nid := Node_id.t and type node := Node.t and type view := View.t and type mid := Msg_id.t and type io := Io.t
Functor building an implementation of Ringcast with Lwt given a
Node_id
,Node
, gossipView
, RingCastGossip
protocol, and anIo
event handler module.
module S : sig ... end
Signatures