diff options
author | Clombrong <cromblong@egregore.fun> | 2025-06-27 08:33:40 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-06-27 09:53:10 +0200 |
commit | 13273777453522c4b73083207b3ba50ea3ca6bd0 (patch) | |
tree | d51393040998bd5112201774c4c464b07e778bcd /lib/wire.ml | |
parent | 9276b39bcbed5e368d86da1bf02cba01fc164772 (diff) |
feat(wire): move next and get from xml to wire
Diffstat (limited to 'lib/wire.ml')
-rw-r--r-- | lib/wire.ml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/lib/wire.ml b/lib/wire.ml index e69de29..ce50f78 100644 --- a/lib/wire.ml +++ b/lib/wire.ml @@ -0,0 +1,21 @@ +open Lwt.Syntax +open Markup +open Xml + +(** [next stream] is a promise containing a full stanza of the fragments of + [stream]. *) +let next (stream : (signal, async) stream) : (signal, sync) stream Lwt.t = + let traverse_stanza depth fragment = + let depth = match fragment with + | `Start_element _ -> depth + 1 + | `End_element -> depth - 1 + | _ -> depth + in ([fragment], if depth = 0 then None else Some depth) + in transform traverse_stanza 0 stream |> Markup_lwt.load + +(** [get stream] is a promise containing a single Xml element of [stream]. *) +let get (stream : (signal, async) stream) : element Lwt.t = + let* signal = next stream + in match tree signal with + | Some xml -> Lwt.return xml + | None -> Lwt.fail (InvalidStanza (signal |> write_xml |> to_string)) |