@clayroach/effect 3.19.14-source-capture.6 → 3.19.14-source-capture.8

package/src/internal/stm/entry.ts

@@ -1,59 +0,0 @@
-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

@@ -1,123 +0,0 @@
-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

@@ -1,71 +0,0 @@
-/** @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

@@ -1,17 +0,0 @@
-/** @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

@@ -1,17 +0,0 @@
-/** @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

@@ -1,29 +0,0 @@
-/** @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

@@ -1,11 +0,0 @@
-/** @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