summaryrefslogtreecommitdiff
path: root/ocaml/lib/boot.mli
diff options
context:
space:
mode:
authorpolwex <polwex@sortug.com>2025-10-20 13:13:39 +0700
committerpolwex <polwex@sortug.com>2025-10-20 13:13:39 +0700
commitd21900836f89b2bf9cd55ff1708a4619c8b89656 (patch)
treebb3a5842ae408ffa465814c6bbf27a5002866252 /ocaml/lib/boot.mli
neoinityes
Diffstat (limited to 'ocaml/lib/boot.mli')
-rw-r--r--ocaml/lib/boot.mli12
1 files changed, 12 insertions, 0 deletions
diff --git a/ocaml/lib/boot.mli b/ocaml/lib/boot.mli
new file mode 100644
index 0000000..fbe70da
--- /dev/null
+++ b/ocaml/lib/boot.mli
@@ -0,0 +1,12 @@
+type error =
+ | Invalid_pill of string
+ | Unsupported of string
+
+val boot_ivory : State.t -> string -> (unit, error) result
+val boot_solid : ?limit:int -> ?apply:(State.t -> Noun.noun -> Noun.noun) -> State.t -> string -> (unit, error) result
+val boot_solid_lifecycle : State.t -> string -> (unit, error) result
+
+(* Utility functions *)
+val cue_file : ?verbose:bool -> string -> Noun.noun
+val parse_solid : Noun.noun -> (Noun.noun * Noun.noun * Noun.noun, error) result
+val run_lifecycle : Noun.noun -> Noun.noun