From 8c56a2250888c529fd14cf97c07317776bb0690d Mon Sep 17 00:00:00 2001 From: Estevan Castilho Date: Thu, 21 May 2026 00:28:51 +0000 Subject: Sketches of a condition system --- lib/condition.ml | 32 ++++++++++++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 lib/condition.ml (limited to 'lib/condition.ml') diff --git a/lib/condition.ml b/lib/condition.ml new file mode 100644 index 0000000..72eb773 --- /dev/null +++ b/lib/condition.ml @@ -0,0 +1,32 @@ + +class type serializable = object + method as_sexp : Sexplib.Sexp.t +end + +class literal (expr : Sexplib.Sexp.t) : serializable = object + method as_sexp = expr +end + +let of_sexp (expr : Sexplib.Sexp.t) = new literal expr +let of_string (s : string) = new literal (Sexplib.Sexp.Atom s) + +type condition = { name : string; properties : (string, serializable) BatMap.t } + +let condition name ?parent props = + { name; + properties = + parent + |> Option.map (fun { properties; _ } -> properties) + |> Option.value ~default:BatMap.empty + |> props } + +let ( |=| ) name value = (fun p -> BatMap.add name value p) +let ( & ) l r = (fun p -> r (l p)) + +let to_sexp { name; properties } = + let open Sexplib.Sexp in + let properties' = + BatMap.to_seq properties + |> BatSeq.map (fun (k, v) -> List [Atom k; v#as_sexp]) + |> BatList.of_seq in + List (Atom name :: properties') -- cgit v1.2.3