xote 1.0.2 → 1.2.0

package/src/Xote__Computed.res.mjs

@@ -1,61 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as Xote__Id from "./Xote__Id.res.mjs";
-import * as Xote__Core from "./Xote__Core.res.mjs";
-import * as Belt_MapInt from "rescript/lib/es6/belt_MapInt.js";
-import * as Xote__Signal from "./Xote__Signal.res.mjs";
-
-function make(calc) {
-  var s = Xote__Signal.make();
-  var initialized = {
-    contents: false
-  };
-  var id = Xote__Id.make();
-  var recompute = function () {
-    var next = calc();
-    if (initialized.contents === false) {
-      initialized.contents = true;
-      return Xote__Signal.set(s, next);
-    } else {
-      return Xote__Signal.set(s, next);
-    }
-  };
-  var o = {
-    id: id,
-    kind: {
-      NAME: "Computed",
-      VAL: s.id
-    },
-    run: recompute,
-    deps: undefined
-  };
-  Xote__Core.observers.contents = Belt_MapInt.set(Xote__Core.observers.contents, id, o);
-  Xote__Core.clearDeps(o);
-  Xote__Core.currentObserverId.contents = id;
-  o.run();
-  Xote__Core.currentObserverId.contents = undefined;
-  return s;
-}
-
-var IntSet;
-
-var IntMap;
-
-var Signal;
-
-var Core;
-
-var Observer;
-
-var Id;
-
-export {
-  IntSet ,
-  IntMap ,
-  Signal ,
-  Core ,
-  Observer ,
-  Id ,
-  make ,
-}
-/* No side effect */

package/src/Xote__Core.res

@@ -1,105 +0,0 @@
-module IntSet = Belt.Set.Int
-module IntMap = Belt.Map.Int
-module Observer = Xote__Observer
-module Id = Xote__Id
-
-type t<'a> = {id: int, value: ref<'a>, version: ref<int>}
-
-/* Global tables */
-let observers: ref<IntMap.t<Observer.t>> = ref(IntMap.empty)
-let signalObservers: ref<IntMap.t<IntSet.t>> = ref(IntMap.empty) /* signal id -> observer ids */
-let signalPeeks: ref<IntSet.t> = ref(IntSet.empty) /* optional; for debugging */
-
-/* Currently running observer for tracking */
-let currentObserverId: ref<option<int>> = ref(None)
-
-/* Simple scheduler */
-let pending: ref<IntSet.t> = ref(IntSet.empty)
-let batching = ref(false)
-
-let ensureSignalBucket = (sid: int) => {
-  switch IntMap.get(signalObservers.contents, sid) {
-  | Some(_) => ()
-  | None => signalObservers := IntMap.set(signalObservers.contents, sid, IntSet.empty)
-  }
-}
-
-let addDep = (obsId: int, sid: int) => {
-  ensureSignalBucket(sid)
-  /* add obs -> dep */
-  let obs = Belt.Option.getExn(IntMap.get(observers.contents, obsId))
-  if currentObserverId.contents == Some(obsId) {
-    if obs.deps->IntSet.has(sid) == false {
-      obs.deps = obs.deps->IntSet.add(sid)
-      /* add dep -> obs */
-      let sset = Belt.Option.getExn(IntMap.get(signalObservers.contents, sid))
-      signalObservers := IntMap.set(signalObservers.contents, sid, sset->IntSet.add(obsId))
-    }
-  }
-}
-
-let clearDeps = (obs: Observer.t) => {
-  /* remove obs from all signal buckets it was in */
-  obs.deps->IntSet.forEach(sid => {
-    switch IntMap.get(signalObservers.contents, sid) {
-    | None => ()
-    | Some(sset) =>
-      signalObservers := IntMap.set(signalObservers.contents, sid, sset->IntSet.remove(obs.id))
-    }
-  })
-  obs.deps = IntSet.empty
-}
-
-let schedule = (obsId: int) => {
-  pending := pending.contents->IntSet.add(obsId)
-  if batching.contents == false {
-    /* flush immediately (sync microtask-ish) */
-    let toRun = pending.contents
-    pending := IntSet.empty
-    toRun->IntSet.forEach(id => {
-      switch IntMap.get(observers.contents, id) {
-      | None => ()
-      | Some(o) => {
-          /* re-track */
-          clearDeps(o)
-          currentObserverId := Some(id)
-          o.run()
-          currentObserverId := None
-        }
-      }
-    })
-  }
-}
-
-let notify = (sid: int) => {
-  ensureSignalBucket(sid)
-  switch IntMap.get(signalObservers.contents, sid) {
-  | None => ()
-  | Some(sset) => sset->IntSet.forEach(schedule)
-  }
-}
-
-/* Run a function without tracking dependencies */
-let untrack = (f: unit => 'a): 'a => {
-  let prev = currentObserverId.contents
-  currentObserverId := None
-  let r = f()
-  currentObserverId := prev
-  r
-}
-
-/* Batch: defer scheduling until after block ends */
-let batch = (f: unit => 'a): 'a => {
-  let prev = batching.contents
-  batching := true
-  let r = f()
-  batching := prev
-
-  /* flush anything queued */
-  if pending.contents != IntSet.empty {
-    let toRun = pending.contents
-    pending := IntSet.empty
-    toRun->IntSet.forEach(id => schedule(id))
-  }
-  r
-}

package/src/Xote__Core.res.mjs

@@ -1,148 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as Caml_obj from "rescript/lib/es6/caml_obj.js";
-import * as Belt_MapInt from "rescript/lib/es6/belt_MapInt.js";
-import * as Belt_Option from "rescript/lib/es6/belt_Option.js";
-import * as Belt_SetInt from "rescript/lib/es6/belt_SetInt.js";
-import * as Caml_option from "rescript/lib/es6/caml_option.js";
-
-var observers = {
-  contents: undefined
-};
-
-var signalObservers = {
-  contents: undefined
-};
-
-var signalPeeks = {
-  contents: undefined
-};
-
-var currentObserverId = {
-  contents: undefined
-};
-
-var pending = {
-  contents: undefined
-};
-
-var batching = {
-  contents: false
-};
-
-function ensureSignalBucket(sid) {
-  var match = Belt_MapInt.get(signalObservers.contents, sid);
-  if (match !== undefined) {
-    return ;
-  } else {
-    signalObservers.contents = Belt_MapInt.set(signalObservers.contents, sid, undefined);
-    return ;
-  }
-}
-
-function addDep(obsId, sid) {
-  ensureSignalBucket(sid);
-  var obs = Belt_Option.getExn(Belt_MapInt.get(observers.contents, obsId));
-  if (!Caml_obj.equal(currentObserverId.contents, obsId)) {
-    return ;
-  }
-  if (Belt_SetInt.has(obs.deps, sid) !== false) {
-    return ;
-  }
-  obs.deps = Belt_SetInt.add(obs.deps, sid);
-  var sset = Belt_Option.getExn(Belt_MapInt.get(signalObservers.contents, sid));
-  signalObservers.contents = Belt_MapInt.set(signalObservers.contents, sid, Belt_SetInt.add(sset, obsId));
-}
-
-function clearDeps(obs) {
-  Belt_SetInt.forEach(obs.deps, (function (sid) {
-          var sset = Belt_MapInt.get(signalObservers.contents, sid);
-          if (sset !== undefined) {
-            signalObservers.contents = Belt_MapInt.set(signalObservers.contents, sid, Belt_SetInt.remove(Caml_option.valFromOption(sset), obs.id));
-            return ;
-          }
-          
-        }));
-  obs.deps = undefined;
-}
-
-function schedule(obsId) {
-  pending.contents = Belt_SetInt.add(pending.contents, obsId);
-  if (batching.contents !== false) {
-    return ;
-  }
-  var toRun = pending.contents;
-  pending.contents = undefined;
-  Belt_SetInt.forEach(toRun, (function (id) {
-          var o = Belt_MapInt.get(observers.contents, id);
-          if (o !== undefined) {
-            clearDeps(o);
-            currentObserverId.contents = id;
-            o.run();
-            currentObserverId.contents = undefined;
-            return ;
-          }
-          
-        }));
-}
-
-function notify(sid) {
-  ensureSignalBucket(sid);
-  var sset = Belt_MapInt.get(signalObservers.contents, sid);
-  if (sset !== undefined) {
-    return Belt_SetInt.forEach(Caml_option.valFromOption(sset), schedule);
-  }
-  
-}
-
-function untrack(f) {
-  var prev = currentObserverId.contents;
-  currentObserverId.contents = undefined;
-  var r = f();
-  currentObserverId.contents = prev;
-  return r;
-}
-
-function batch(f) {
-  var prev = batching.contents;
-  batching.contents = true;
-  var r = f();
-  batching.contents = prev;
-  if (pending.contents !== undefined) {
-    var toRun = pending.contents;
-    pending.contents = undefined;
-    Belt_SetInt.forEach(toRun, (function (id) {
-            schedule(id);
-          }));
-  }
-  return r;
-}
-
-var IntSet;
-
-var IntMap;
-
-var Observer;
-
-var Id;
-
-export {
-  IntSet ,
-  IntMap ,
-  Observer ,
-  Id ,
-  observers ,
-  signalObservers ,
-  signalPeeks ,
-  currentObserverId ,
-  pending ,
-  batching ,
-  ensureSignalBucket ,
-  addDep ,
-  clearDeps ,
-  schedule ,
-  notify ,
-  untrack ,
-  batch ,
-}
-/* No side effect */

package/src/Xote__Effect.res

@@ -1,36 +0,0 @@
-module IntSet = Belt.Set.Int
-module IntMap = Belt.Map.Int
-
-module Id = Xote__Id
-module Observer = Xote__Observer
-module Signal = Xote__Signal
-module Core = Xote__Core
-
-type disposer = {dispose: unit => unit}
-
-let run = (fn: unit => unit): disposer => {
-  let id = Id.make()
-  let rec o: Observer.t = {
-    id,
-    kind: #Effect,
-    run: () => fn(),
-    deps: IntSet.empty,
-  }
-  Core.observers := IntMap.set(Core.observers.contents, id, o)
-  /* initial run */
-  Core.clearDeps(o)
-  Core.currentObserverId := Some(id)
-  o.run()
-  Core.currentObserverId := None
-
-  let dispose = () => {
-    switch IntMap.get(Core.observers.contents, id) {
-    | None => ()
-    | Some(o) => {
-        Core.clearDeps(o)
-        Core.observers := IntMap.remove(Core.observers.contents, id)
-      }
-    }
-  }
-  {dispose: dispose}
-}

package/src/Xote__Effect.res.mjs

@@ -1,57 +0,0 @@
-// Generated by ReScript, PLEASE EDIT WITH CARE
-
-import * as Xote__Id from "./Xote__Id.res.mjs";
-import * as Xote__Core from "./Xote__Core.res.mjs";
-import * as Belt_MapInt from "rescript/lib/es6/belt_MapInt.js";
-
-function run(fn) {
-  var id = Xote__Id.make();
-  var o = {
-    id: id,
-    kind: "Effect",
-    run: (function () {
-        fn();
-      }),
-    deps: undefined
-  };
-  Xote__Core.observers.contents = Belt_MapInt.set(Xote__Core.observers.contents, id, o);
-  Xote__Core.clearDeps(o);
-  Xote__Core.currentObserverId.contents = id;
-  o.run();
-  Xote__Core.currentObserverId.contents = undefined;
-  var dispose = function () {
-    var o = Belt_MapInt.get(Xote__Core.observers.contents, id);
-    if (o !== undefined) {
-      Xote__Core.clearDeps(o);
-      Xote__Core.observers.contents = Belt_MapInt.remove(Xote__Core.observers.contents, id);
-      return ;
-    }
-    
-  };
-  return {
-          dispose: dispose
-        };
-}
-
-var IntSet;
-
-var IntMap;
-
-var Id;
-
-var Observer;
-
-var Signal;
-
-var Core;
-
-export {
-  IntSet ,
-  IntMap ,
-  Id ,
-  Observer ,
-  Signal ,
-  Core ,
-  run ,
-}
-/* No side effect */

package/src/Xote__Example.res

@@ -1,266 +0,0 @@
-open Xote
-
-type todo = {
-  id: int,
-  text: string,
-  completed: bool,
-}
-
-let todos = Signal.make([])
-let nextId = ref(0)
-let inputValue = Signal.make("")
-let darkMode = Signal.make(false)
-
-// Computed values derived from todos
-let completedCount = Computed.make(() => {
-  Signal.get(todos)->Array.filter(todo => todo.completed)->Array.length
-})
-
-let activeCount = Computed.make(() => {
-  Signal.get(todos)->Array.filter(todo => !todo.completed)->Array.length
-})
-
-let totalCount = Computed.make(() => {
-  Signal.get(todos)->Array.length
-})
-
-let addTodo = (text: string) => {
-  if String.trim(text) != "" {
-    Signal.update(todos, list => {
-      Array.concat(list, [{id: nextId.contents, text, completed: false}])
-    })
-    nextId := nextId.contents + 1
-    Signal.set(inputValue, "")
-  }
-}
-
-let toggleTodo = (id: int) => {
-  Signal.update(todos, list => {
-    Array.map(list, todo => todo.id == id ? {...todo, completed: !todo.completed} : todo)
-  })
-}
-
-@val @scope("document") external querySelector: string => Nullable.t<Dom.element> = "querySelector"
-@get external target: Dom.event => Dom.element = "target"
-@get external value: Dom.element => string = "value"
-@set external setValue: (Dom.element, string) => unit = "value"
-@get external key: Dom.event => string = "key"
-
-let clearInput = () => {
-  switch querySelector(".todo-input")->Nullable.toOption {
-  | Some(input) => setValue(input, "")
-  | None => ()
-  }
-}
-
-let handleInput = (evt: Dom.event) => {
-  let newValue = evt->target->value
-  Signal.set(inputValue, newValue)
-}
-
-let getInputValue = () => {
-  switch querySelector(".todo-input")->Nullable.toOption {
-  | Some(input) => input->value
-  | None => ""
-  }
-}
-
-let handleKeyDown = (evt: Dom.event) => {
-  if evt->key == "Enter" {
-    addTodo(getInputValue())
-    clearInput()
-  }
-}
-
-let handleAddClick = (_evt: Dom.event) => {
-  addTodo(getInputValue())
-  clearInput()
-}
-
-let toggleTheme = (_evt: Dom.event) => {
-  Signal.update(darkMode, mode => !mode)
-}
-
-// Effect to sync dark mode with HTML class
-let _ = Effect.run(() => {
-  let isDark = Signal.get(darkMode)
-  if isDark {
-    %raw(`document.documentElement.classList.add('dark')`)
-  } else {
-    %raw(`document.documentElement.classList.remove('dark')`)
-  }
-})
-
-let todoItem = (todo: todo) => {
-  let checkboxAttrs = todo.completed
-    ? [("type", "checkbox"), ("checked", "checked"), ("class", "w-5 h-5 cursor-pointer")]
-    : [("type", "checkbox"), ("class", "w-5 h-5 cursor-pointer")]
-
-  Component.li(
-    ~attrs=[
-      (
-        "class",
-        "flex items-center gap-3 p-3 bg-white dark:bg-gray-800 rounded-lg border border-gray-200 dark:border-gray-700 mb-2 " ++
-        (todo.completed ? "completed" : ""),
-      ),
-    ],
-    ~children=[
-      Component.input(~attrs=checkboxAttrs, ~events=[("change", _ => toggleTodo(todo.id))], ()),
-      Component.span(
-        ~attrs=[("class", "flex-1 text-gray-900 dark:text-gray-100")],
-        ~children=[Component.text(todo.text)],
-        (),
-      ),
-    ],
-    (),
-  )
-}
-
-let inputElement = Component.input(
-  ~attrs=[
-    ("type", "text"),
-    ("placeholder", "What needs to be done?"),
-    ("class", "todo-input flex-1 px-4 py-2 border border-gray-300 dark:border-gray-600 rounded-lg bg-white dark:bg-gray-800 text-gray-900 dark:text-gray-100 focus:outline-none focus:ring-2 focus:ring-blue-500"),
-  ],
-  ~events=[("input", handleInput), ("keydown", handleKeyDown)],
-  (),
-)
-
-let app = Component.div(
-  ~attrs=[("class", "max-w-2xl mx-auto p-6 space-y-6")],
-  ~children=[
-    Component.div(
-      ~attrs=[("class", "bg-white dark:bg-gray-800 rounded-xl shadow-lg p-8")],
-      ~children=[
-        Component.div(
-          ~attrs=[("class", "flex items-center justify-between mb-6")],
-          ~children=[
-            Component.h1(
-              ~attrs=[("class", "text-3xl font-bold text-gray-900 dark:text-white")],
-              ~children=[Component.text("Todo List")],
-              (),
-            ),
-            Component.button(
-              ~attrs=[
-                (
-                  "class",
-                  "px-4 py-2 rounded-lg bg-gray-200 dark:bg-gray-700 text-gray-800 dark:text-gray-200 hover:bg-gray-300 dark:hover:bg-gray-600 transition-colors",
-                ),
-              ],
-              ~events=[("click", toggleTheme)],
-              ~children=[
-                Component.textSignal(
-                  Computed.make(() => Signal.get(darkMode) ? "☀️ Light" : "🌙 Dark")
-                ),
-              ],
-              (),
-            ),
-          ],
-          (),
-        ),
-        Component.div(
-          ~attrs=[
-            (
-              "class",
-              "grid grid-cols-3 gap-4 mb-6 p-4 bg-gray-50 dark:bg-gray-900 rounded-lg border border-gray-200 dark:border-gray-700",
-            ),
-          ],
-          ~children=[
-            Component.div(
-              ~attrs=[("class", "flex flex-col items-center")],
-              ~children=[
-                Component.span(
-                  ~attrs=[
-                    ("class", "text-xs text-gray-600 dark:text-gray-400 uppercase tracking-wide mb-1"),
-                  ],
-                  ~children=[Component.text("Total")],
-                  (),
-                ),
-                Component.span(
-                  ~attrs=[("class", "text-2xl font-bold text-gray-900 dark:text-white")],
-                  ~children=[
-                    Component.textSignal(Computed.make(() => Int.toString(Signal.get(totalCount)))),
-                  ],
-                  (),
-                ),
-              ],
-              (),
-            ),
-            Component.div(
-              ~attrs=[("class", "flex flex-col items-center")],
-              ~children=[
-                Component.span(
-                  ~attrs=[
-                    ("class", "text-xs text-gray-600 dark:text-gray-400 uppercase tracking-wide mb-1"),
-                  ],
-                  ~children=[Component.text("Active")],
-                  (),
-                ),
-                Component.span(
-                  ~attrs=[("class", "text-2xl font-bold text-blue-600 dark:text-blue-400")],
-                  ~children=[
-                    Component.textSignal(
-                      Computed.make(() => Int.toString(Signal.get(activeCount)))
-                    ),
-                  ],
-                  (),
-                ),
-              ],
-              (),
-            ),
-            Component.div(
-              ~attrs=[("class", "flex flex-col items-center")],
-              ~children=[
-                Component.span(
-                  ~attrs=[
-                    ("class", "text-xs text-gray-600 dark:text-gray-400 uppercase tracking-wide mb-1"),
-                  ],
-                  ~children=[Component.text("Completed")],
-                  (),
-                ),
-                Component.span(
-                  ~attrs=[("class", "text-2xl font-bold text-green-600 dark:text-green-400")],
-                  ~children=[
-                    Component.textSignal(
-                      Computed.make(() => Int.toString(Signal.get(completedCount)))
-                    ),
-                  ],
-                  (),
-                ),
-              ],
-              (),
-            ),
-          ],
-          (),
-        ),
-        Component.div(
-          ~attrs=[("class", "flex gap-2 mb-6")],
-          ~children=[
-            inputElement,
-            Component.button(
-              ~attrs=[
-                (
-                  "class",
-                  "px-6 py-2 bg-blue-600 hover:bg-blue-700 text-white rounded-lg font-medium transition-colors focus:outline-none focus:ring-2 focus:ring-blue-500",
-                ),
-              ],
-              ~events=[("click", handleAddClick)],
-              ~children=[Component.text("Add")],
-              (),
-            ),
-          ],
-          (),
-        ),
-        Component.ul(
-          ~attrs=[("class", "todo-list space-y-2")],
-          ~children=[Component.list(todos, todoItem)],
-          (),
-        ),
-      ],
-      (),
-    ),
-  ],
-  (),
-)
-
-Component.mountById(app, "app")