Module Ringcast.Sub

Subscriptions

module Rings : module type of sig ... end

Subscribed rings

val empty : 'data node View.t Rings.t

empty contains no subscriptions

val add : string -> 'data node View.t -> 'data node View.t Rings.t -> 'data node View.t Rings.t

add rid view adds a ring with ID rid and view to the subscriptions

val remove : string -> 'data node View.t Rings.t -> 'data node View.t Rings.t

remove rid view removes a ring from the subscriptions

val intersect : 'data node View.t Rings.t -> 'data node -> ('data node -> string -> 'data node View.t -> bool) -> (string * 'data node View.t) list

intersect t node is_member returns a list of common rings with node

is_member node rid ring determines whether a node is member of ring with ID rid