Module `P2p_poldercast_lwt`

PolderCast with Lwt

High-level library implementing the PolderCast protocol using Lwt.

module Make : functor (Node_id : P2p.S.NODE_ID) -> functor (Group_id : P2p.S.GROUP_ID) -> functor (Node : P2p.S.NODE with type nid := Node_id.t) -> functor (Group : P2p.S.GROUP with type gid := Group_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 (Ringcast_io : P2p_ringcast_lwt.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) -> functor (Ringcast_lwt : P2p_ringcast_lwt.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 := Ringcast_io.t) -> functor (Poldercast : P2p_poldercast.S.PUBSUB with type nid := Node_id.t and type gid := Group_id.t and type node := Node.t and type group := Group.t and type view := View.t and type mid := Msg_id.t) -> S.POLDERCAST with type nid := Node_id.t and type gid := Group_id.t and type node := Node.t and type group := Group.t and type view := View.t and type mid := Msg_id.t and type ring := P2p_ringcast_lwt.Make(Node_id)(Node)(View)(Msg_id)(Ringcast)(Ringcast_io).t and type ring_io := Ringcast_io.t: Functor building an implementation of Poldercast with Lwt given a FIXME Node_id, Node, gossip View, PolderCast Gossip protocol, and an Io event handler module.