IODyn Collection Signatures

2017-09-12-vmf-notes-iodyn-collection-sigs.ml

(* Directed graph *)
type graph
val empty : graph
val add_nd : graph -> ndid -> nddat -> (graph, option<nddat>)
val del_nd : graph -> ndid -> (graph, option<nddat>)
val dat_of_nd : graph -> ndid -> optional<nddat>
val adj_of_nd : graph -> ndid -> List<ndid>
val adj_of_nd : graph -> ndid -> (ndid -> α -> α) -> α -> α

type edgeid = (ndid, ndid)
val del_edge : graph -> edge -> (graph, bool)
val add_edge : graph -> edge -> graph
val has_edge : graph -> edge -> bool

type fm
type key
type val
val empty : fm
val add : fm -> key -> val -> (fm, optional<val>)       <--- return the old value, if any
val del : fm -> key -> (fm, optional<val>)
val get : fm -> key -> optional<val>
val fold : fm -> (key -> val -> α -> α) -> α -> α
val pairs : fm -> List<(key, val)>