@clayroach/effect 3.19.14-source-capture.8 → 3.19.14-source-trace.2

package/src/internal/stm/entry.ts

@@ -0,0 +1,59 @@
+import type * as TRef from "../../TRef.js"
+import * as Versioned from "./versioned.js"
+
+/** @internal */
+export interface Entry {
+  readonly ref: TRef.TRef<any>
+  readonly expected: Versioned.Versioned<any>
+  isChanged: boolean // mutable by design
+  readonly isNew: boolean
+  newValue: any // mutable by design
+}
+
+/** @internal */
+export const make = <A>(ref: TRef.TRef<A>, isNew: boolean): Entry => ({
+  ref,
+  isNew,
+  isChanged: false,
+  expected: ref.versioned,
+  newValue: ref.versioned.value
+})
+
+export const unsafeGet = (self: Entry): unknown => {
+  return self.newValue
+}
+
+/** @internal */
+export const unsafeSet = (self: Entry, value: unknown): void => {
+  self.isChanged = true
+  self.newValue = value
+}
+
+/** @internal */
+export const commit = (self: Entry): void => {
+  self.ref.versioned = new Versioned.Versioned(self.newValue)
+}
+
+/** @internal */
+export const copy = (self: Entry): Entry => ({
+  ref: self.ref,
+  isNew: self.isNew,
+  isChanged: self.isChanged,
+  expected: self.expected,
+  newValue: self.newValue
+})
+
+/** @internal */
+export const isValid = (self: Entry): boolean => {
+  return self.ref.versioned === self.expected
+}
+
+/** @internal */
+export const isInvalid = (self: Entry): boolean => {
+  return self.ref.versioned !== self.expected
+}
+
+/** @internal */
+export const isChanged = (self: Entry): boolean => {
+  return self.isChanged
+}

package/src/internal/stm/journal.ts

@@ -0,0 +1,123 @@
+import type * as TRef from "../../TRef.js"
+import * as Entry from "./entry.js"
+import type * as TxnId from "./txnId.js"
+
+/** @internal */
+export type Journal = Map<TRef.TRef<any>, Entry.Entry>
+
+/** @internal */
+export type Todo = () => unknown
+
+/** @internal */
+export type JournalAnalysis = JournalAnalysisInvalid | JournalAnalysisReadWrite | JournalAnalysisReadOnly
+
+/** @internal */
+export const JournalAnalysisInvalid = "Invalid" as const
+
+/** @internal */
+export type JournalAnalysisInvalid = typeof JournalAnalysisInvalid
+
+/** @internal */
+export const JournalAnalysisReadWrite = "ReadWrite" as const
+
+/** @internal */
+export type JournalAnalysisReadWrite = typeof JournalAnalysisReadWrite
+
+/** @internal */
+export const JournalAnalysisReadOnly = "ReadOnly" as const
+
+/** @internal */
+export type JournalAnalysisReadOnly = typeof JournalAnalysisReadOnly
+
+/** @internal */
+export const commitJournal = (journal: Journal) => {
+  for (const entry of journal) {
+    Entry.commit(entry[1])
+  }
+}
+
+/**
+ * Analyzes the journal, determining whether it is valid and whether it is
+ * read only in a single pass. Note that information on whether the
+ * journal is read only will only be accurate if the journal is valid, due
+ * to short-circuiting that occurs on an invalid journal.
+ *
+ * @internal
+ */
+export const analyzeJournal = (journal: Journal): JournalAnalysis => {
+  let val: JournalAnalysis = JournalAnalysisReadOnly
+  for (const [, entry] of journal) {
+    val = Entry.isInvalid(entry) ? JournalAnalysisInvalid : Entry.isChanged(entry) ? JournalAnalysisReadWrite : val
+    if (val === JournalAnalysisInvalid) {
+      return val
+    }
+  }
+  return val
+}
+
+/** @internal */
+export const prepareResetJournal = (journal: Journal): () => void => {
+  const saved: Journal = new Map<TRef.TRef<unknown>, Entry.Entry>()
+  for (const entry of journal) {
+    saved.set(entry[0], Entry.copy(entry[1]))
+  }
+  return () => {
+    journal.clear()
+    for (const entry of saved) {
+      journal.set(entry[0], entry[1])
+    }
+  }
+}
+
+/** @internal */
+export const collectTodos = (journal: Journal): Map<TxnId.TxnId, Todo> => {
+  const allTodos: Map<TxnId.TxnId, Todo> = new Map()
+  for (const [, entry] of journal) {
+    for (const todo of entry.ref.todos) {
+      allTodos.set(todo[0], todo[1])
+    }
+    entry.ref.todos = new Map()
+  }
+  return allTodos
+}
+
+/** @internal */
+export const execTodos = (todos: Map<TxnId.TxnId, Todo>) => {
+  const todosSorted = Array.from(todos.entries()).sort((x, y) => x[0] - y[0])
+  for (const [_, todo] of todosSorted) {
+    todo()
+  }
+}
+
+/** @internal */
+export const addTodo = (
+  txnId: TxnId.TxnId,
+  journal: Journal,
+  todoEffect: Todo
+): boolean => {
+  let added = false
+  for (const [, entry] of journal) {
+    if (!entry.ref.todos.has(txnId)) {
+      entry.ref.todos.set(txnId, todoEffect)
+      added = true
+    }
+  }
+  return added
+}
+
+/** @internal */
+export const isValid = (journal: Journal): boolean => {
+  let valid = true
+  for (const [, entry] of journal) {
+    valid = Entry.isValid(entry)
+    if (!valid) {
+      return valid
+    }
+  }
+  return valid
+}
+
+/** @internal */
+export const isInvalid = (journal: Journal): boolean => {
+  return !isValid(journal)
+}

package/src/internal/stm/opCodes/stm.ts

@@ -0,0 +1,71 @@
+/** @internal */
+export const OP_WITH_STM_RUNTIME = "WithSTMRuntime" as const
+
+/** @internal */
+export type OP_WITH_STM_RUNTIME = typeof OP_WITH_STM_RUNTIME
+
+/** @internal */
+export const OP_ON_FAILURE = "OnFailure" as const
+
+/** @internal */
+export type OP_ON_FAILURE = typeof OP_ON_FAILURE
+
+/** @internal */
+export const OP_ON_RETRY = "OnRetry" as const
+
+/** @internal */
+export type OP_ON_RETRY = typeof OP_ON_RETRY
+
+/** @internal */
+export const OP_ON_SUCCESS = "OnSuccess" as const
+
+/** @internal */
+export type OP_ON_SUCCESS = typeof OP_ON_SUCCESS
+
+/** @internal */
+export const OP_PROVIDE = "Provide" as const
+
+/** @internal */
+export type OP_PROVIDE = typeof OP_PROVIDE
+
+/** @internal */
+export const OP_SYNC = "Sync" as const
+
+/** @internal */
+export type OP_SYNC = typeof OP_SYNC
+
+/** @internal */
+export const OP_SUCCEED = "Succeed" as const
+
+/** @internal */
+export type OP_SUCCEED = typeof OP_SUCCEED
+
+/** @internal */
+export const OP_RETRY = "Retry" as const
+
+/** @internal */
+export type OP_RETRY = typeof OP_RETRY
+
+/** @internal */
+export const OP_FAIL = "Fail" as const
+
+/** @internal */
+export type OP_FAIL = typeof OP_FAIL
+
+/** @internal */
+export const OP_DIE = "Die" as const
+
+/** @internal */
+export type OP_DIE = typeof OP_DIE
+
+/** @internal */
+export const OP_INTERRUPT = "Interrupt" as const
+
+/** @internal */
+export type OP_INTERRUPT = typeof OP_INTERRUPT
+
+/** @internal */
+export const OP_TRACED = "Traced" as const
+
+/** @internal */
+export type OP_TRACED = typeof OP_TRACED

package/src/internal/stm/opCodes/stmState.ts

@@ -0,0 +1,17 @@
+/** @internal */
+export const OP_DONE = "Done" as const
+
+/** @internal */
+export type OP_DONE = typeof OP_DONE
+
+/** @internal */
+export const OP_INTERRUPTED = "Interrupted" as const
+
+/** @internal */
+export type OP_INTERRUPTED = typeof OP_INTERRUPTED
+
+/** @internal */
+export const OP_RUNNING = "Running" as const
+
+/** @internal */
+export type OP_RUNNING = typeof OP_RUNNING

package/src/internal/stm/opCodes/strategy.ts

@@ -0,0 +1,17 @@
+/** @internal */
+export const OP_BACKPRESSURE_STRATEGY = "BackPressure" as const
+
+/** @internal */
+export type OP_BACKPRESSURE_STRATEGY = typeof OP_BACKPRESSURE_STRATEGY
+
+/** @internal */
+export const OP_DROPPING_STRATEGY = "Dropping" as const
+
+/** @internal */
+export type OP_DROPPING_STRATEGY = typeof OP_DROPPING_STRATEGY
+
+/** @internal */
+export const OP_SLIDING_STRATEGY = "Sliding" as const
+
+/** @internal */
+export type OP_SLIDING_STRATEGY = typeof OP_SLIDING_STRATEGY

package/src/internal/stm/opCodes/tExit.ts

@@ -0,0 +1,29 @@
+/** @internal */
+export const OP_FAIL = "Fail" as const
+
+/** @internal */
+export type OP_FAIL = typeof OP_FAIL
+
+/** @internal */
+export const OP_DIE = "Die" as const
+
+/** @internal */
+export type OP_DIE = typeof OP_DIE
+
+/** @internal */
+export const OP_INTERRUPT = "Interrupt" as const
+
+/** @internal */
+export type OP_INTERRUPT = typeof OP_INTERRUPT
+
+/** @internal */
+export const OP_SUCCEED = "Succeed" as const
+
+/** @internal */
+export type OP_SUCCEED = typeof OP_SUCCEED
+
+/** @internal */
+export const OP_RETRY = "Retry" as const
+
+/** @internal */
+export type OP_RETRY = typeof OP_RETRY

package/src/internal/stm/opCodes/tryCommit.ts

@@ -0,0 +1,11 @@
+/** @internal */
+export const OP_DONE = "Done" as const
+
+/** @internal */
+export type OP_DONE = typeof OP_DONE
+
+/** @internal */
+export const OP_SUSPEND = "Suspend" as const
+
+/** @internal */
+export type OP_SUSPEND = typeof OP_SUSPEND