effer 0.0.1

package/build/esm/index.js

@@ -0,0 +1,195 @@
+import { Context, Data, Effect, Layer, Queue, Ref, Stream, SubscriptionRef, Unify } from "effect";
+import { NoSuchElementException } from "effect/Cause";
+import { isChannel } from "effect/Channel";
+import { isEffect } from "effect/Effect";
+import { hasProperty } from "effect/Predicate";
+import { StreamTypeId } from "effect/Stream";
+import { html as _html, render as _render } from "lit-html";
+import { AsyncReplaceDirective as _AsyncReplaceDirective, asyncReplace } from "lit-html/directives/async-replace.js";
+import * as Nav from "@typed/navigation";
+import { GetRandomValues } from "@typed/id";
+/**
+ * Create an HTML template result that can be rendered to the DOM
+ */
+export const html = _html;
+/**
+ * Renders a template result to the container
+ */
+export const render = _render;
+export class AsyncReplaceDirective extends _AsyncReplaceDirective {}
+const isQueue = val => hasProperty(val, Unify.ignoreSymbol) && hasProperty(val[Unify.ignoreSymbol], 'Dequeue');
+const isStream = val => hasProperty(val, StreamTypeId);
+const isSubscriptionRef = val => hasProperty(val, SubscriptionRef.SubscriptionRefTypeId);
+/**
+ * The Effer service provides methods for attaching Attachable values to the template and queueing events
+ */
+export class Effer extends /*#__PURE__*/Effect.Service()('Effer', {
+  effect: /*#__PURE__*/Effect.gen(function* () {
+    const attach = val => {
+      let stream;
+      if (isChannel(val)) {
+        stream = Stream.fromChannel(val);
+      } else if (isSubscriptionRef(val)) {
+        stream = val.changes;
+      } else if (isEffect(val) && !isQueue(val)) {
+        stream = Stream.fromEffect(val);
+      } else if (isQueue(val)) {
+        stream = Stream.fromQueue(val);
+      } else if (isStream(val)) {
+        stream = val;
+      } else {
+        stream = Stream.fromPubSub(val);
+      }
+      return stream.pipe(Stream.toAsyncIterableEffect, Effect.andThen(iter => asyncReplace(iter)));
+    };
+    const queueMsg = (offer, mapper) => {
+      if (mapper) {
+        return e => offer(mapper(e));
+      }
+      return offer;
+    };
+    return {
+      /**
+       * Attaches any Attachable value to the template:
+       * ```ts
+       * const Counter = () => Effect.gen(function*() {
+       *   [ countRef, countQueue ] = yield* CounterService // service made with makeReducer or makeState
+       *
+       *   return html`
+       *     <p>The count is ${yield* attach(countRef)}</p>
+       *   `
+       * })
+       * ```
+       */
+      attach,
+      /**
+       * Used in place of an event handler callback, this function takes a queue to dispatch messages to,
+       * as well as a mapping function from the DOM event to the queue's expected event type
+       * ```ts
+       * const Counter = () => Effect.gen(function*() {
+       *   [ countRef, countQueue ] = yield* CounterService // service made with makeReducer
+       *
+       *   return html`
+       *     <button
+       *       ＠click=${queueMsg(countQueue, () => Increment())}
+       *     > // Increment() is an action defined as part of the CounterService reducer
+       *       The count is ${yield* attach(countRef)}
+       *     </button>
+       *   `
+       * })
+       * ```
+       */
+      queueMsg
+    };
+  })
+  // dependencies: [Registry.layer]
+}) {}
+/**
+ * Creates a stream of the latest state value, and a queue to update the value.
+ * @param initialState The starting state value
+ * @param updateFn An effectful function that takes the old state, an update message, and returns a new state
+ * @returns A tuple of the stream of the current state value and a queue to dispatch update messages
+ *
+ * ```ts
+ * type Msg = Data.TaggedEnum<{
+ *   Increment: {};
+ *   Decrement: {};
+ * }>
+ * const { Increment, Decrement, $match } = Data.taggedEnum<Msg>()
+ * const counterReducer = (state: number, msg: Msg) => $match({
+ *   Increment: () => Effect.succeed(state + 1),
+ *   Decrement: () => Effect.succeed(state - 1)
+ * })
+ *
+ * // Inside an Effect
+ * const [ countStream, countQueue ] = yield* makeReducer(0, counterReducer)
+ * ```
+ */
+export const makeReducer = (initialState, updateFn) => Effect.gen(function* () {
+  const subRef = yield* SubscriptionRef.make(initialState);
+  const updateQueue = yield* Queue.unbounded();
+  yield* Effect.gen(function* () {
+    const msg = yield* updateQueue.take;
+    yield* SubscriptionRef.updateEffect(subRef, state => updateFn(state, msg));
+  }).pipe(Effect.forever, Effect.fork);
+  const dispatch = msg => Queue.unsafeOffer(updateQueue, msg);
+  return {
+    stream: subRef.changes,
+    dispatch
+  };
+});
+export const makeState = initialState => Effect.gen(function* () {
+  const subRef = yield* SubscriptionRef.make(initialState);
+  const updateQueue = yield* Queue.unbounded();
+  yield* Effect.gen(function* () {
+    const updateFn = yield* updateQueue.take;
+    yield* SubscriptionRef.update(subRef, updateFn);
+  }).pipe(Effect.forever, Effect.fork);
+  const set = val => Queue.unsafeOffer(updateQueue, _ => val);
+  const update = updateFn => Queue.unsafeOffer(updateQueue, updateFn);
+  return {
+    stream: subRef.changes,
+    set,
+    update
+  };
+});
+/**
+ * Effer's service to interact with navigation. Provides the current URL object, a stream of the
+ * current app path, a method to get a query param from the URL, and a method to navigate the page.
+ */
+export class NavService extends /*#__PURE__*/Context.Tag('NavService')() {
+  static Live = /*#__PURE__*/Layer.effect(NavService, /*#__PURE__*/Effect.gen(function* () {
+    const url = yield* Ref.make(new URL(window.navigation.currentEntry?.url));
+    const pathStream = Stream.fromEventListener(window.navigation, 'navigate').pipe(Stream.map(e => new URL(e.destination.url)), Stream.merge(Stream.make(new URL(window.navigation.currentEntry?.url))), Stream.tap(u => Ref.set(url, u)));
+    const getQueryParam = name => Effect.gen(function* () {
+      const result = (yield* Ref.get(url)).searchParams.get(name);
+      if (result === null) {
+        yield* Effect.fail(new NoSuchElementException());
+      }
+      return result;
+    });
+    return {
+      /**
+       * The current URL object
+       */
+      url,
+      /**
+       * A stream of the current app path ('/', '/actuator', etc.)
+       */
+      pathStream,
+      /**
+       * Method used to navigate. Accepts a URL string and navigates the page
+       */
+      navigate: window.navigation.navigate,
+      /**
+       * Get a value from the current URL's query params
+       */
+      getQueryParam
+    };
+  }));
+}
+export const makeAsyncResult = effect => {
+  const {
+    Loading,
+    Success,
+    Failure,
+    $is,
+    $match
+  } = Data.taggedEnum();
+  const startStream = Stream.make(Loading());
+  const resultStream = Stream.asyncPush(emit => Effect.gen(function* () {
+    const result = yield* effect.pipe(Effect.map(data => Success({
+      data
+    })), Effect.mapError(error => Failure({
+      error
+    })), Effect.merge);
+    emit.single(result);
+  }));
+  return {
+    stream: Stream.concat(startStream, resultStream),
+    is: $is,
+    match: $match
+  };
+};
+export const layer = /*#__PURE__*/Effer.Default.pipe(/*#__PURE__*/Layer.provideMerge(NavService.Live), /*#__PURE__*/Layer.provide(/*#__PURE__*/Nav.fromWindow(window)), /*#__PURE__*/Layer.provide(GetRandomValues.CryptoRandom));
+//# sourceMappingURL=index.js.map

package/build/esm/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":["Context","Data","Effect","Layer","Queue","Ref","Stream","SubscriptionRef","Unify","NoSuchElementException","isChannel","isEffect","hasProperty","StreamTypeId","html","_html","render","_render","AsyncReplaceDirective","_AsyncReplaceDirective","asyncReplace","Nav","GetRandomValues","isQueue","val","ignoreSymbol","isStream","isSubscriptionRef","SubscriptionRefTypeId","Effer","Service","effect","gen","attach","stream","fromChannel","changes","fromEffect","fromQueue","fromPubSub","pipe","toAsyncIterableEffect","andThen","iter","queueMsg","offer","mapper","e","makeReducer","initialState","updateFn","subRef","make","updateQueue","unbounded","msg","take","updateEffect","state","forever","fork","dispatch","unsafeOffer","makeState","update","set","_","NavService","Tag","Live","url","URL","window","navigation","currentEntry","pathStream","fromEventListener","map","destination","merge","tap","u","getQueryParam","name","result","get","searchParams","fail","navigate","makeAsyncResult","Loading","Success","Failure","$is","$match","taggedEnum","startStream","resultStream","asyncPush","emit","data","mapError","error","single","concat","is","match","layer","Default","provideMerge","provide","fromWindow","CryptoRandom"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":"AAAA,SAAyBA,OAAO,EAAEC,IAAI,EAAEC,MAAM,EAAEC,KAAK,EAAEC,KAAK,EAAEC,GAAG,EAAEC,MAAM,EAAEC,eAAe,EAAEC,KAAK,QAAQ,QAAQ;AACjH,SAASC,sBAAsB,QAAQ,cAAc;AACrD,SAAuBC,SAAS,QAAQ,gBAAgB;AACxD,SAASC,QAAQ,QAAQ,eAAe;AACxC,SAASC,WAAW,QAAQ,kBAAkB;AAE9C,SAASC,YAAY,QAAQ,eAAe;AAC5C,SAAiDC,IAAI,IAAIC,KAAK,EAAEC,MAAM,IAAIC,OAAO,QAAQ,UAAU;AAEnG,SAASC,qBAAqB,IAAIC,sBAAsB,EAAEC,YAAY,QAAQ,sCAAsC;AACpH,OAAO,KAAKC,GAAG,MAAM,mBAAmB;AACxC,SAASC,eAAe,QAAQ,WAAW;AAE3C;;;AAGA,OAAO,MAAMR,IAAI,GAAGC,KAAK;AACzB;;;AAGA,OAAO,MAAMC,MAAM,GAAGC,OAAO;AAI7B,OAAM,MAAOC,qBAAsB,SAAQC,sBAAsB;AAYjE,MAAMI,OAAO,GAAMC,GAAY,IAA4BZ,WAAW,CAACY,GAAG,EAAEhB,KAAK,CAACiB,YAAY,CAAC,IAAIb,WAAW,CAACY,GAAG,CAAChB,KAAK,CAACiB,YAAY,CAAC,EAAE,SAAS,CAAC;AAClJ,MAAMC,QAAQ,GAAWF,GAAY,IAAkCZ,WAAW,CAACY,GAAG,EAAEX,YAAY,CAAC;AACrG,MAAMc,iBAAiB,GAAOH,GAAY,IAAgDZ,WAAW,CAACY,GAAG,EAAEjB,eAAe,CAACqB,qBAAqB,CAAC;AAEjJ;;;AAGA,OAAM,MAAOC,KAAM,sBAAQ3B,MAAM,CAAC4B,OAAO,EAAS,CAAC,OAAO,EAAE;EACxDC,MAAM,eAAE7B,MAAM,CAAC8B,GAAG,CAAC,aAAS;IACxB,MAAMC,MAAM,GAAuBT,GAAsB,IAAI;MACzD,IAAIU,MAA4B;MAChC,IAAGxB,SAAS,CAACc,GAAG,CAAC,EAAE;QACfU,MAAM,GAAG5B,MAAM,CAAC6B,WAAW,CAAQX,GAAG,CAAC;MAC3C,CAAC,MAAM,IAAIG,iBAAiB,CAAIH,GAAG,CAAC,EAAE;QAClCU,MAAM,GAAGV,GAAG,CAACY,OAAO;MACxB,CAAC,MAAM,IAAGzB,QAAQ,CAACa,GAAG,CAAC,IAAI,CAACD,OAAO,CAAIC,GAAG,CAAC,EAAE;QACzCU,MAAM,GAAG5B,MAAM,CAAC+B,UAAU,CAACb,GAAG,CAAC;MACnC,CAAC,MAAM,IAAGD,OAAO,CAAIC,GAAG,CAAC,EAAE;QACvBU,MAAM,GAAG5B,MAAM,CAACgC,SAAS,CAACd,GAAG,CAAC;MAClC,CAAC,MAAM,IAAGE,QAAQ,CAAQF,GAAG,CAAC,EAAE;QAC5BU,MAAM,GAAGV,GAAG;MAChB,CAAC,MAAM;QACHU,MAAM,GAAG5B,MAAM,CAACiC,UAAU,CAACf,GAAG,CAAC;MACnC;MACA,OAAOU,MAAM,CAACM,IAAI,CACdlC,MAAM,CAACmC,qBAAqB,EAC5BvC,MAAM,CAACwC,OAAO,CAACC,IAAI,IAAIvB,YAAY,CAACuB,IAAI,CAAC,CAAC,CAC7C;IACL,CAAC;IACD,MAAMC,QAAQ,GAAGA,CAAgBC,KAA4B,EAAEC,MAA6B,KAAI;MAC5F,IAAIA,MAAM,EAAE;QACR,OAAQC,CAAW,IAAKF,KAAK,CAACC,MAAM,CAACC,CAAC,CAAC,CAAC;MAC5C;MACA,OAAOF,KAAK;IAChB,CAAC;IAED,OAAO;MACH;;;;;;;;;;;;MAYAZ,MAAM;MACN;;;;;;;;;;;;;;;;;MAiBAW;KACH;EACL,CAAC;EACD;CACH,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;AAqBA,OAAO,MAAMI,WAAW,GAAGA,CAAsBC,YAAe,EAAEC,QAAoD,KAAKhD,MAAM,CAAC8B,GAAG,CAAC,aAAS;EAC3I,MAAMmB,MAAM,GAAG,OAAO5C,eAAe,CAAC6C,IAAI,CAAIH,YAAY,CAAC;EAC3D,MAAMI,WAAW,GAAG,OAAOjD,KAAK,CAACkD,SAAS,EAAK;EAE/C,OAAOpD,MAAM,CAAC8B,GAAG,CAAC,aAAS;IACvB,MAAMuB,GAAG,GAAG,OAAOF,WAAW,CAACG,IAAI;IACnC,OAAOjD,eAAe,CAACkD,YAAY,CAACN,MAAM,EAAEO,KAAK,IAAIR,QAAQ,CAACQ,KAAK,EAAEH,GAAG,CAAC,CAAC;EAC9E,CAAC,CAAC,CAACf,IAAI,CACHtC,MAAM,CAACyD,OAAO,EACdzD,MAAM,CAAC0D,IAAI,CACd;EACD,MAAMC,QAAQ,GAAIN,GAAM,IAAKnD,KAAK,CAAC0D,WAAW,CAACT,WAAW,EAAEE,GAAG,CAAC;EAEhE,OAAO;IAACrB,MAAM,EAAEiB,MAAM,CAACf,OAAO;IAAEyB;EAAQ,CAAC;AAC7C,CAAC,CAAC;AAEF,OAAO,MAAME,SAAS,GAAOd,YAAe,IAAK/C,MAAM,CAAC8B,GAAG,CAAC,aAAS;EACjE,MAAMmB,MAAM,GAAG,OAAO5C,eAAe,CAAC6C,IAAI,CAAIH,YAAY,CAAC;EAC3D,MAAMI,WAAW,GAAG,OAAOjD,KAAK,CAACkD,SAAS,EAAiB;EAE3D,OAAOpD,MAAM,CAAC8B,GAAG,CAAC,aAAS;IACvB,MAAMkB,QAAQ,GAAG,OAAOG,WAAW,CAACG,IAAI;IACxC,OAAOjD,eAAe,CAACyD,MAAM,CAACb,MAAM,EAAED,QAAQ,CAAC;EACnD,CAAC,CAAC,CAACV,IAAI,CACHtC,MAAM,CAACyD,OAAO,EACdzD,MAAM,CAAC0D,IAAI,CACd;EACD,MAAMK,GAAG,GAAIzC,GAAM,IAAKpB,KAAK,CAAC0D,WAAW,CAACT,WAAW,EAAEa,CAAC,IAAI1C,GAAG,CAAC;EAChE,MAAMwC,MAAM,GAAId,QAA4B,IAAK9C,KAAK,CAAC0D,WAAW,CAACT,WAAW,EAACH,QAAQ,CAAC;EACxF,OAAO;IAAChB,MAAM,EAAEiB,MAAM,CAACf,OAAO;IAAE6B,GAAG;IAAED;EAAM,CAAU;AACzD,CAAC,CAAC;AAEF;;;;AAIA,OAAM,MAAOG,UAAW,sBAAQnE,OAAO,CAACoE,GAAG,CAAC,YAAY,CAAC,EAQtD;EACC,OAAOC,IAAI,gBAAGlE,KAAK,CAAC4B,MAAM,CAACoC,UAAU,eAAEjE,MAAM,CAAC8B,GAAG,CAAC,aAAS;IACvD,MAAMsC,GAAG,GAAG,OAAOjE,GAAG,CAAC+C,IAAI,CAAM,IAAImB,GAAG,CAACC,MAAM,CAACC,UAAU,CAACC,YAAY,EAAEJ,GAAI,CAAC,CAAC;IAC/E,MAAMK,UAAU,GAAGrE,MAAM,CAACsE,iBAAiB,CAAgBJ,MAAM,CAACC,UAAU,EAAE,UAAU,CAAC,CAACjC,IAAI,CAC1FlC,MAAM,CAACuE,GAAG,CAAC9B,CAAC,IAAI,IAAIwB,GAAG,CAACxB,CAAC,CAAC+B,WAAW,CAACR,GAAG,CAAC,CAAC,EAC3ChE,MAAM,CAACyE,KAAK,CAACzE,MAAM,CAAC8C,IAAI,CAAC,IAAImB,GAAG,CAACC,MAAM,CAACC,UAAU,CAACC,YAAY,EAAEJ,GAAI,CAAC,CAAC,CAAC,EACxEhE,MAAM,CAAC0E,GAAG,CAACC,CAAC,IAAI5E,GAAG,CAAC4D,GAAG,CAACK,GAAG,EAAEW,CAAC,CAAC,CAAC,CACnC;IACD,MAAMC,aAAa,GAAIC,IAAY,IAAKjF,MAAM,CAAC8B,GAAG,CAAC,aAAS;MACxD,MAAMoD,MAAM,GAAkB,CAAC,OAAO/E,GAAG,CAACgF,GAAG,CAACf,GAAG,CAAC,EAAEgB,YAAY,CAACD,GAAG,CAACF,IAAI,CAAC;MAC1E,IAAGC,MAAM,KAAK,IAAI,EAAE;QAChB,OAAOlF,MAAM,CAACqF,IAAI,CAAC,IAAI9E,sBAAsB,EAAE,CAAC;MACpD;MACA,OAAO2E,MAAO;IAClB,CAAC,CAAC;IACF,OAAO;MACH;;;MAGAd,GAAG;MACH;;;MAGAK,UAAU;MACV;;;MAGAa,QAAQ,EAAEhB,MAAM,CAACC,UAAU,CAACe,QAAQ;MACpC;;;MAGAN;KACH;EACL,CAAC,CAAC,CAAC;;AASP,OAAO,MAAMO,eAAe,GAAW1D,MAA4B,IAAI;EACnE,MAAM;IAAE2D,OAAO;IAAEC,OAAO;IAAEC,OAAO;IAAEC,GAAG;IAAEC;EAAM,CAAE,GAAG7F,IAAI,CAAC8F,UAAU,EAAmB;EACrF,MAAMC,WAAW,GAAG1F,MAAM,CAAC8C,IAAI,CAACsC,OAAO,EAAE,CAAC;EAC1C,MAAMO,YAAY,GAA2C3F,MAAM,CAAC4F,SAAS,CACzEC,IAAI,IAAIjG,MAAM,CAAC8B,GAAG,CAAC,aAAS;IACxB,MAAMoD,MAAM,GAAG,OAAOrD,MAAM,CAACS,IAAI,CAC7BtC,MAAM,CAAC2E,GAAG,CAACuB,IAAI,IAAIT,OAAO,CAAC;MAACS;IAAI,CAAC,CAAC,CAAC,EACnClG,MAAM,CAACmG,QAAQ,CAACC,KAAK,IAAIV,OAAO,CAAC;MAACU;IAAK,CAAC,CAAC,CAAC,EAC1CpG,MAAM,CAAC6E,KAAK,CACf;IACDoB,IAAI,CAACI,MAAM,CAACnB,MAAM,CAAC;EACvB,CAAC,CAAC,CACL;EAED,OAAO;IAAClD,MAAM,EAAE5B,MAAM,CAACkG,MAAM,CAACR,WAAW,EAAEC,YAAY,CAAC;IAAEQ,EAAE,EAAEZ,GAAG;IAAEa,KAAK,EAAEZ;EAAM,CAAC;AACrF,CAAC;AAGD,OAAO,MAAMa,KAAK,gBAAG9E,KAAK,CAAC+E,OAAO,CAACpE,IAAI,cACnCrC,KAAK,CAAC0G,YAAY,CAAC1C,UAAU,CAACE,IAAI,CAAC,eACnClE,KAAK,CAAC2G,OAAO,cAACzF,GAAG,CAAC0F,UAAU,CAACvC,MAAM,CAAC,CAAC,eACrCrE,KAAK,CAAC2G,OAAO,CAACxF,eAAe,CAAC0F,YAAY,CAAC,CAC9C","ignoreList":[]}

package/eslint.config.mjs

@@ -0,0 +1,121 @@
+import * as effectEslint from "@effect/eslint-plugin"
+import { fixupPluginRules } from "@eslint/compat"
+import { FlatCompat } from "@eslint/eslintrc"
+import js from "@eslint/js"
+import tsParser from "@typescript-eslint/parser"
+import codegen from "eslint-plugin-codegen"
+import _import from "eslint-plugin-import"
+import simpleImportSort from "eslint-plugin-simple-import-sort"
+import sortDestructureKeys from "eslint-plugin-sort-destructure-keys"
+import path from "node:path"
+import { fileURLToPath } from "node:url"
+
+const __filename = fileURLToPath(import.meta.url)
+const __dirname = path.dirname(__filename)
+const compat = new FlatCompat({
+  baseDirectory: __dirname,
+  recommendedConfig: js.configs.recommended,
+  allConfig: js.configs.all
+})
+
+export default [
+  {
+    ignores: ["**/dist", "**/build", "**/docs", "**/*.md"]
+  },
+  ...compat.extends(
+    "eslint:recommended",
+    "plugin:@typescript-eslint/eslint-recommended",
+    "plugin:@typescript-eslint/recommended"
+  ),
+  ...effectEslint.configs.dprint,
+  {
+    plugins: {
+      import: fixupPluginRules(_import),
+      "sort-destructure-keys": sortDestructureKeys,
+      "simple-import-sort": simpleImportSort,
+      codegen
+    },
+
+    languageOptions: {
+      parser: tsParser,
+      ecmaVersion: 2018,
+      sourceType: "module"
+    },
+
+    settings: {
+      "import/parsers": {
+        "@typescript-eslint/parser": [".ts", ".tsx"]
+      },
+
+      "import/resolver": {
+        typescript: {
+          alwaysTryTypes: true
+        }
+      }
+    },
+
+    rules: {
+      "codegen/codegen": "error",
+      "no-fallthrough": "off",
+      "no-irregular-whitespace": "off",
+      "object-shorthand": "error",
+      "prefer-destructuring": "off",
+      "sort-imports": "off",
+
+      "no-restricted-syntax": ["error", {
+        selector: "CallExpression[callee.property.name='push'] > SpreadElement.arguments",
+        message: "Do not use spread arguments in Array.push"
+      }],
+
+      "no-unused-vars": "off",
+      "prefer-rest-params": "off",
+      "prefer-spread": "off",
+      "import/first": "error",
+      "import/newline-after-import": "error",
+      "import/no-duplicates": "error",
+      "import/no-unresolved": "off",
+      "import/order": "off",
+      "simple-import-sort/imports": "off",
+      "sort-destructure-keys/sort-destructure-keys": "error",
+      "deprecation/deprecation": "off",
+
+      "@typescript-eslint/array-type": ["warn", {
+        default: "generic",
+        readonly: "generic"
+      }],
+
+      "@typescript-eslint/member-delimiter-style": 0,
+      "@typescript-eslint/no-non-null-assertion": "off",
+      "@typescript-eslint/ban-types": "off",
+      "@typescript-eslint/no-explicit-any": "off",
+      "@typescript-eslint/no-empty-interface": "off",
+      "@typescript-eslint/consistent-type-imports": "warn",
+
+      "@typescript-eslint/no-unused-vars": ["error", {
+        argsIgnorePattern: "^_",
+        varsIgnorePattern: "^_"
+      }],
+
+      "@typescript-eslint/ban-ts-comment": "off",
+      "@typescript-eslint/camelcase": "off",
+      "@typescript-eslint/explicit-function-return-type": "off",
+      "@typescript-eslint/explicit-module-boundary-types": "off",
+      "@typescript-eslint/interface-name-prefix": "off",
+      "@typescript-eslint/no-array-constructor": "off",
+      "@typescript-eslint/no-use-before-define": "off",
+      "@typescript-eslint/no-namespace": "off",
+
+      "@effect/dprint": ["error", {
+        config: {
+          indentWidth: 2,
+          lineWidth: 120,
+          semiColons: "asi",
+          quoteStyle: "alwaysDouble",
+          trailingCommas: "never",
+          operatorPosition: "maintain",
+          "arrowFunction.useParentheses": "force"
+        }
+      }]
+    }
+  }
+]

package/package.json

@@ -0,0 +1,77 @@
+{
+  "name": "effer",
+  "version": "0.0.1",
+  "type": "module",
+  "license": "MIT",
+  "description": "An Effect native UI library based on Lit-HTML",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/lself1022/effer"
+  },
+  "publishConfig": {
+    "access": "public",
+    "directory": "dist"
+  },
+  "exports": {
+    "./package.json": "./package.json",
+    ".": "./src/index.ts",
+    "./*": "./src/*.ts"
+  },
+  "scripts": {
+    "codegen": "build-utils prepare-v2",
+    "build": "pnpm build-esm && pnpm build-annotate && pnpm build-cjs && build-utils pack-v2",
+    "build-esm": "tsc -b tsconfig.build.json",
+    "build-cjs": "babel build/esm --plugins @babel/transform-export-namespace-from --plugins @babel/transform-modules-commonjs --out-dir build/cjs --source-maps",
+    "build-annotate": "babel build/esm --plugins annotate-pure-calls --out-dir build/esm --source-maps",
+    "check": "tsc -b tsconfig.json",
+    "lint": "eslint \"**/{src,test,examples,scripts,dtslint}/**/*.{ts,mjs}\"",
+    "lint-fix": "pnpm lint --fix",
+    "test": "vitest",
+    "coverage": "vitest --coverage"
+  },
+  "dependencies": {
+    "effect": "^3.18.4",
+    "@typed/id": "^0.17.2",
+    "@typed/navigation": "^0.18.1",
+    "lit-html": "^3.3.1"
+  },
+  "devDependencies": {
+    "@babel/cli": "^7.24.8",
+    "@babel/core": "^7.25.2",
+    "@babel/plugin-transform-export-namespace-from": "^7.24.7",
+    "@babel/plugin-transform-modules-commonjs": "^7.24.8",
+    "@effect/build-utils": "^0.8.9",
+    "@effect/eslint-plugin": "^0.3.2",
+    "@effect/language-service": "latest",
+    "@effect/vitest": "^0.25.1",
+    "@eslint/compat": "1.1.1",
+    "@eslint/eslintrc": "3.1.0",
+    "@eslint/js": "9.10.0",
+    "@types/node": "^22.5.2",
+    "@types/dom-navigation": "^1.0.6",
+    "@typescript-eslint/eslint-plugin": "^8.4.0",
+    "@typescript-eslint/parser": "^8.4.0",
+    "babel-plugin-annotate-pure-calls": "^0.5.0",
+    "eslint": "^9.10.0",
+    "eslint-import-resolver-typescript": "^3.6.3",
+    "eslint-plugin-codegen": "^0.28.0",
+    "eslint-plugin-import": "^2.30.0",
+    "eslint-plugin-simple-import-sort": "^12.1.1",
+    "eslint-plugin-sort-destructure-keys": "^2.0.0",
+    "tsx": "^4.17.0",
+    "typescript": "^5.6.2",
+    "vitest": "^3.2.0"
+  },
+  "effect": {
+    "generateExports": {
+      "include": [
+        "**/*.ts"
+      ]
+    },
+    "generateIndex": {
+      "include": [
+        "**/*.ts"
+      ]
+    }
+  }
+}

package/setupTests.ts

@@ -0,0 +1,3 @@
+import * as it from "@effect/vitest"
+
+it.addEqualityTesters()

package/src/index.ts

@@ -0,0 +1,239 @@
+import { Chunk, Console, Context, Data, Effect, Layer, Queue, Ref, Stream, SubscriptionRef, Unify } from "effect";
+import { NoSuchElementException } from "effect/Cause";
+import { type Channel, isChannel } from "effect/Channel";
+import { isEffect } from "effect/Effect";
+import { hasProperty } from "effect/Predicate";
+import { type PubSub } from "effect/PubSub";
+import { StreamTypeId } from "effect/Stream";
+import { type TemplateResult as _TemplateResult, html as _html, render as _render } from "lit-html";
+import type { DirectiveClass, DirectiveResult as _DirectiveResult } from "lit-html/directive.js";
+import { AsyncReplaceDirective as _AsyncReplaceDirective, asyncReplace } from "lit-html/directives/async-replace.js";
+import * as Nav from "@typed/navigation";
+import { GetRandomValues } from "@typed/id";
+
+/**
+ * Create an HTML template result that can be rendered to the DOM
+ */
+export const html = _html
+/**
+ * Renders a template result to the container
+ */
+export const render = _render
+
+export type TemplateResult = _TemplateResult
+export type DirectiveResult<C extends DirectiveClass = DirectiveClass> = _DirectiveResult<C>
+export class AsyncReplaceDirective extends _AsyncReplaceDirective {}
+
+/**
+ * Types that can be attached to the DOM template using Effer's 'attach' method
+ */
+export type Attachable<A,E,R> = 
+    | Channel<Chunk.Chunk<A>, unknown, E, unknown, unknown, unknown, R> 
+    | Effect.Effect<A,E,R> 
+    | SubscriptionRef.SubscriptionRef<A>
+    | PubSub<A> 
+    | Queue.Queue<A> 
+    | Stream.Stream<A,E,R>
+const isQueue= <A>(val: unknown): val is Queue.Queue<A> => hasProperty(val, Unify.ignoreSymbol) && hasProperty(val[Unify.ignoreSymbol], 'Dequeue')
+const isStream = <A,E,R>(val: unknown): val is Stream.Stream<A,E,R> => hasProperty(val, StreamTypeId)
+const isSubscriptionRef = <A>(val: unknown): val is SubscriptionRef.SubscriptionRef<A> => hasProperty(val, SubscriptionRef.SubscriptionRefTypeId)
+
+/**
+ * The Effer service provides methods for attaching Attachable values to the template and queueing events
+ */
+export class Effer extends Effect.Service<Effer>()('Effer', {
+    effect: Effect.gen(function*() {
+        const attach = <A,E=never,R=never>(val: Attachable<A,E,R>) => {
+            let stream: Stream.Stream<A,E,R>;
+            if(isChannel(val)) {
+                stream = Stream.fromChannel<A,E,R>(val)
+            } else if (isSubscriptionRef<A>(val)) {
+                stream = val.changes
+            } else if(isEffect(val) && !isQueue<A>(val)) {
+                stream = Stream.fromEffect(val)
+            } else if(isQueue<A>(val)) {
+                stream = Stream.fromQueue(val)
+            } else if(isStream<A,E,R>(val)) {
+                stream = val
+            } else {
+                stream = Stream.fromPubSub(val)
+            }
+            return stream.pipe(
+                Stream.toAsyncIterableEffect,
+                Effect.andThen(iter => asyncReplace(iter))
+            )
+        }
+        const queueMsg = <DOMEvent, Msg>(offer: (msg: Msg) => boolean, mapper?: (e: DOMEvent) => Msg) => {
+            if (mapper) {
+                return (e: DOMEvent) => offer(mapper(e));
+            }
+            return offer;
+        }
+
+        return {
+            /**
+             * Attaches any Attachable value to the template:
+             * ```ts
+             * const Counter = () => Effect.gen(function*() {
+             *   [ countRef, countQueue ] = yield* CounterService // service made with makeReducer or makeState
+             * 
+             *   return html`
+             *     <p>The count is ${yield* attach(countRef)}</p>
+             *   `
+             * })
+             * ```
+             */
+            attach,
+            /**
+             * Used in place of an event handler callback, this function takes a queue to dispatch messages to, 
+             * as well as a mapping function from the DOM event to the queue's expected event type
+             * ```ts
+             * const Counter = () => Effect.gen(function*() {
+             *   [ countRef, countQueue ] = yield* CounterService // service made with makeReducer
+             * 
+             *   return html`
+             *     <button 
+             *       ＠click=${queueMsg(countQueue, () => Increment())}
+             *     > // Increment() is an action defined as part of the CounterService reducer
+             *       The count is ${yield* attach(countRef)}
+             *     </button>
+             *   `
+             * })
+             * ```
+             */
+            queueMsg
+        }
+    }),
+    // dependencies: [Registry.layer]
+}) {}
+
+/**
+ * Creates a stream of the latest state value, and a queue to update the value.
+ * @param initialState The starting state value
+ * @param updateFn An effectful function that takes the old state, an update message, and returns a new state
+ * @returns A tuple of the stream of the current state value and a queue to dispatch update messages
+ * 
+ * ```ts
+ * type Msg = Data.TaggedEnum<{
+ *   Increment: {};
+ *   Decrement: {};
+ * }>
+ * const { Increment, Decrement, $match } = Data.taggedEnum<Msg>()
+ * const counterReducer = (state: number, msg: Msg) => $match({
+ *   Increment: () => Effect.succeed(state + 1),
+ *   Decrement: () => Effect.succeed(state - 1)
+ * })
+ * 
+ * // Inside an Effect
+ * const [ countStream, countQueue ] = yield* makeReducer(0, counterReducer)
+ * ```
+ */
+export const makeReducer = <A,M,E=never,R=never>(initialState: A, updateFn: (state: A, msg: M) => Effect.Effect<A,E,R>) => Effect.gen(function*() {
+    const subRef = yield* SubscriptionRef.make<A>(initialState)
+    const updateQueue = yield* Queue.unbounded<M>()
+
+    yield* Effect.gen(function*() {
+        const msg = yield* updateQueue.take
+        yield* SubscriptionRef.updateEffect(subRef, state => updateFn(state, msg))
+    }).pipe(
+        Effect.forever,
+        Effect.fork
+    )
+    const dispatch = (msg: M) => Queue.unsafeOffer(updateQueue, msg)
+
+    return {stream: subRef.changes, dispatch}
+})
+
+export const makeState = <A>(initialState: A) => Effect.gen(function*() {
+    const subRef = yield* SubscriptionRef.make<A>(initialState)
+    const updateQueue = yield* Queue.unbounded<(val: A) => A>()
+
+    yield* Effect.gen(function*() {
+        const updateFn = yield* updateQueue.take
+        yield* SubscriptionRef.update(subRef, updateFn)
+    }).pipe(
+        Effect.forever,
+        Effect.fork
+    )
+    const set = (val: A) => Queue.unsafeOffer(updateQueue, _ => val) 
+    const update = (updateFn: (oldValue: A) => A) => Queue.unsafeOffer(updateQueue,updateFn)
+    return {stream: subRef.changes, set, update} as const
+})
+
+/**
+ * Effer's service to interact with navigation. Provides the current URL object, a stream of the
+ * current app path, a method to get a query param from the URL, and a method to navigate the page.
+ */
+export class NavService extends Context.Tag('NavService')<
+    NavService, 
+    {
+        url: Ref.Ref<URL>;
+        pathStream: Stream.Stream<URL>;
+        getQueryParam: (name: string) => Effect.Effect<string, NoSuchElementException, never>
+        navigate: typeof window.navigation.navigate;
+    }
+>() {
+    static Live = Layer.effect(NavService, Effect.gen(function*() {
+        const url = yield* Ref.make<URL>(new URL(window.navigation.currentEntry?.url!))
+        const pathStream = Stream.fromEventListener<NavigateEvent>(window.navigation, 'navigate').pipe(
+            Stream.map(e => new URL(e.destination.url)),
+            Stream.merge(Stream.make(new URL(window.navigation.currentEntry?.url!))),
+            Stream.tap(u => Ref.set(url, u))
+        )
+        const getQueryParam = (name: string) => Effect.gen(function*() {
+            const result: string | null = (yield* Ref.get(url)).searchParams.get(name)
+            if(result === null) {
+                yield* Effect.fail(new NoSuchElementException())
+            }
+            return result!
+        })
+        return {
+            /**
+             * The current URL object
+             */
+            url,
+            /**
+             * A stream of the current app path ('/', '/actuator', etc.)
+             */
+            pathStream,
+            /**
+             * Method used to navigate. Accepts a URL string and navigates the page
+             */
+            navigate: window.navigation.navigate,
+            /**
+             * Get a value from the current URL's query params
+             */
+            getQueryParam
+        }
+    }))
+}
+
+export type Result<A,E> = Data.TaggedEnum<{
+    Loading: {}
+    Success: { readonly data: A }
+    Failure: { readonly error: E }
+}> & {}
+
+export const makeAsyncResult = <A,E,R>(effect: Effect.Effect<A,E,R>) => {
+    const { Loading, Success, Failure, $is, $match } = Data.taggedEnum<Result<A,E>>()
+    const startStream = Stream.make(Loading())
+    const resultStream: Stream.Stream<Result<A,E>,never,R> = Stream.asyncPush<Result<A,E>,never,R>(
+        emit => Effect.gen(function*() {
+            const result = yield* effect.pipe(
+                Effect.map(data => Success({data})),
+                Effect.mapError(error => Failure({error})),
+                Effect.merge
+            )
+            emit.single(result)
+        })
+    )
+
+    return {stream: Stream.concat(startStream, resultStream), is: $is, match: $match}
+}
+
+
+export const layer = Effer.Default.pipe(
+    Layer.provideMerge(NavService.Live),
+    Layer.provide(Nav.fromWindow(window)),
+    Layer.provide(GetRandomValues.CryptoRandom),
+)

package/test/index.test.ts

@@ -0,0 +1,3 @@
+import { describe, expect, test } from 'vitest'
+
+describe('')