effer 0.0.1

package/README.md

@@ -0,0 +1,274 @@
+# Effer
+
+An Effect native UI library based on lit-html.
+
+## Installation
+
+WIP.
+
+## Creating a Counter with Effer
+
+Example:
+
+```ts
+// INSIDE counter.ts
+
+import { Data, Effect } from "effect";
+import { Effer, html, makeReducer } from "effer";
+
+type Msg = Data.TaggedEnum<{
+    Increment: {};
+    Decrement: {};
+}>
+const { Increment, Decrement, $match } = Data.taggedEnum<Msg>()
+
+const makeCounterState = makeReducer(
+    0, 
+    (state: number, msg: Msg) => $match({
+            Increment: () => Effect.succeed(state + 1),
+            Decrement: () => Effect.succeed(state - 1),
+        })(msg)
+)
+
+export class CounterService extends Effect.Service<CounterService>()('CounterService', {
+    effect: makeCounterState
+}) {}
+
+const _Counter = () => Effect.gen(function*() {
+    const { attach, queueMsg } = yield* Effer
+    const [counterStream, counterQueue] = yield* CounterService
+
+    return html`
+        <section class="counter-container d-flex flex-row align-items-baseline justify-content-center">
+            <button 
+                class="btn btn-primary btn-sm counter-button" 
+                id="decButton" 
+                @click=${queueMsg(counterQueue, () => Increment())}
+            >
+                - 1
+            </button>
+            Count is ${yield* attach(counterStream)}
+            <button 
+                class="btn btn-primary btn-sm counter-button" 
+                id="incButton" 
+                @click=${queueMsg(counterQueue, () => Decrement())}
+            >
+                + 1
+            </button>
+        </section>
+    `
+})
+
+// Optional - make your component a service for ease of dependency management and mocking
+
+export class Counter extends Effect.Service<Counter>()('Counter', {
+    effect: _Counter(),
+    dependencies: [CounterService.Default, Effer.Default]
+}) {}
+
+// INSIDE main.ts
+
+const ComponentsLayer = Layer.empty.pipe(
+  Layer.merge(Counter.Default),
+  // ... merge in any other component layers
+)
+
+App().pipe(
+  Effect.andThen(
+    // render our component to the DOM element with ID 'app'
+    app => render(app, document.getElementById('app')!)
+  ),
+  Layer.effectDiscard, // transform the render effect into a Layer
+  Layer.provide(ComponentsLayer), // merge in Component layers
+  Layer.provideMerge(layer), // merge in Effer layer
+  Layer.launch, // launch our combined Effer app layer
+  BrowserRuntime.runMain
+)
+```
+
+
+To bring our UI and business logic together, Effer gives us two tools: attach and queueMsg, both available in the Effer service.
+
+```ts
+const { attach, queueMsg } = yield* Effer
+```
+
+In the UI, we need to represent data changing over time. Effect gives us Streams as a way to do that. The attach method of the Effer service lets you "attach" a stream (or anything that can be converted to a Stream) to the UI, and the UI will automatically display the most up-to-date value of that Stream.
+
+```ts
+html`
+    Count is ${yield* attach(counterStream)}
+`
+```
+
+Here is a complete list of what can be attached:
+
+```ts
+type Attachable<A,E,R> = 
+    | Effect<A,E,R> 
+    | SubscriptionRef<A>
+    | PubSub<A> 
+    | Queue<A> 
+    | Stream<A,E,R>
+    | Channel<Chunk.Chunk<A>, unknown, E, unknown, unknown, unknown, R> 
+```
+
+When we need to handle events from the UI, we do so with the queueMsg method of the Effer service. This function can go anywhere an event listener callback is expected (like onclick, onchange, etc.). It takes a queue to send the event to, and a function that maps from the DOM event to the queue's event that we want to dispatch:
+
+```ts
+html`
+    <button 
+        class="btn btn-primary btn-sm counter-button" 
+        id="decButton" 
+        @click=${queueMsg(counterQueue, (e: MouseEvent) => Increment())}
+    >
+`
+```
+
+## Managing State
+
+### makeReducer - For Complex State or Logic
+
+To manage state, Effer provides two helper functions: makeReducer and makeState. These are very similar to useReducer and useState in React, except you use them outside your UI components as part of your business logic.
+
+makeReducer lets you define a state and update it using events:
+
+```ts
+type Msg = Data.TaggedEnum<{
+    Increment: {};
+    Decrement: {};
+}>
+const { Increment, Decrement, $match } = Data.taggedEnum<Msg>()
+
+const makeCounterState = makeReducer(
+    0, 
+    (state: number, msg: Msg) => $match({
+            Increment: () => Effect.succeed(state + 1),
+            Decrement: () => Effect.succeed(state - 1),
+        })(msg)
+)
+
+// Making our state values a Service so we can easily pass it around
+export class CounterService extends Effect.Service<CounterService>()('CounterService', {
+    effect: makeCounterState
+}) {}
+```
+
+We define the expected update messages as Increment and Decrement, and we provide a function that takes the old state and a message, and provides a new updated state. Now when we inject the service, we will get the stream of values as well as a queue to send updates to:
+
+```ts
+// counterQueue will accept either Increment or Decrement and the stream will update 
+// according to the update function
+const [counterStream, counterQueue] = yield* CounterService
+```
+
+### makeState - For Simple State Management
+
+makeState is very similar, but more simplified. We just provide an initial state, and the queue will accept new state values instead of messages. 
+
+```ts
+const makeCounterState = makeState(0)
+
+// Making our state values a Service so we can easily pass it around
+export class CounterService extends Effect.Service<CounterService>()('CounterService', {
+    effect: makeCounterState
+}) {}
+```
+
+```ts
+// the counterQueue now accepts a number (the new count) instead of update messages
+const [counterStream, counterQueue] = yield* CounterService
+```
+
+### makeAsyncResult - For Async State and Logic
+
+If we have an effect that as asynchronous, like making an HTTP call, we can wrap that effect in makeAsyncResult:
+
+```ts
+const posts = yield* makeAsyncResult(getPostsAsyncEffect) // an async effect wrapped in makeAsyncResult
+```
+
+When you wrap an `Effect<A,E,R>` in makeAsyncResult, you get 3 things. The first is a `Stream<Result<A,E>, never, R>` where `Result<A,E>` is:
+
+```ts
+export type Result<A,E> = Data.TaggedEnum<{
+    Loading: {}
+    Success: { readonly data: A }
+    Failure: { readonly error: E }
+}> & {}
+```
+
+The other thing makeAsyncResult gives us is a helper function called `match()` for matching the state of the streaming Result values: 
+
+```ts
+const posts = yield* makeAsyncResult(getPostsAsyncEffect) // an async effect wrapped in makeAsyncResult
+// mapping the state of our Result to what we want to display on screen
+const postsTable = posts.stream.pipe(
+    Stream.map(postsClient.match({
+        Loading: () => html`<h1>Loading...</h1>`, // if the async effect is still loading, show this
+        Success: ({ data }) => data.map(post => PostCard(post)), // if it loaded successfully, show the PostCard component
+        Failure: ({ error }) => html`<p>Error retrieving data: ${error}</p>` // if it errored out, show this
+    }))
+)
+```
+
+Note that since `Result<A,E>` is a TaggedEnum, `match()` is exactly the same as the `$match()` function you get from creating a TaggedEnum. See the [Effect Documentation](https://effect.website/docs/data-types/data/#union-of-tagged-structs)
+
+## Navigation and URLs
+
+Effer offers a NavService for handling things related to navigation and URLs. Here is its interface:
+
+```ts
+interface NavService {
+    url: Ref.Ref<URL>; // the current URL as a Ref
+    pathStream: Stream.Stream<URL>; // a stream of the current URL value for reacting to changes
+    getQueryParam: (name: string) => Effect.Effect<string, NoSuchElementException, never> // helper to get a query param from the URL
+    navigate: typeof window.navigation.navigate; // the window's navigate() method
+}
+```
+
+You can use this inside of an Effect (like an Effer component) to navigate like so:
+
+```ts
+export const App = () => Effect.gen(function*() {
+    const { pathStream } = yield* NavService // get the pathStream from NavService
+    const { attach } = yield* Effer
+    // a function that maps from a path string to the Effer component we want to display
+    const navFn = (path: string) => {
+        switch (path) {
+            case '/counters':
+                return yield* Counter
+            case '/todos':
+                return yield* Todos
+            case '/posts':
+                return yield* Posts
+            default:
+                return yield* Todos
+        }
+    }
+
+    // getting the pathname from the pathStream then running that through our nav function
+    const page = pathStream.pipe(
+        Stream.map(url => url.pathname),
+        Stream.map(navFn)
+    )
+    // attaching the page stream to the template so the current page displays
+    return html`
+        <main class="w-100">
+            ${ yield* attach(page) }
+        </main>
+    `
+})
+```
+
+You can also use NavService to retrieve query params from the current URL:
+
+```ts
+const {getQueryParam} = yield* NavService
+// Getting a "count" query param and parsing it into an integer
+const startingCount: number = yield* getQueryParam('count').pipe(
+    Effect.map(parseInt),
+    Effect.orElseSucceed(() => 0)
+)
+```
+

package/build/cjs/index.js

@@ -0,0 +1,208 @@
+"use strict";
+
+Object.defineProperty(exports, "__esModule", {
+  value: true
+});
+exports.render = exports.makeState = exports.makeReducer = exports.makeAsyncResult = exports.layer = exports.html = exports.NavService = exports.Effer = exports.AsyncReplaceDirective = void 0;
+var _effect = require("effect");
+var _Cause = require("effect/Cause");
+var _Channel = require("effect/Channel");
+var _Effect = require("effect/Effect");
+var _Predicate = require("effect/Predicate");
+var _Stream = require("effect/Stream");
+var _litHtml = require("lit-html");
+var _asyncReplace = require("lit-html/directives/async-replace.js");
+var Nav = _interopRequireWildcard(require("@typed/navigation"));
+var _id = require("@typed/id");
+function _interopRequireWildcard(e, t) { if ("function" == typeof WeakMap) var r = new WeakMap(), n = new WeakMap(); return (_interopRequireWildcard = function (e, t) { if (!t && e && e.__esModule) return e; var o, i, f = { __proto__: null, default: e }; if (null === e || "object" != typeof e && "function" != typeof e) return f; if (o = t ? n : r) { if (o.has(e)) return o.get(e); o.set(e, f); } for (const t in e) "default" !== t && {}.hasOwnProperty.call(e, t) && ((i = (o = Object.defineProperty) && Object.getOwnPropertyDescriptor(e, t)) && (i.get || i.set) ? o(f, t, i) : f[t] = e[t]); return f; })(e, t); }
+/**
+ * Create an HTML template result that can be rendered to the DOM
+ */
+const html = exports.html = _litHtml.html;
+/**
+ * Renders a template result to the container
+ */
+const render = exports.render = _litHtml.render;
+class AsyncReplaceDirective extends _asyncReplace.AsyncReplaceDirective {}
+exports.AsyncReplaceDirective = AsyncReplaceDirective;
+const isQueue = val => (0, _Predicate.hasProperty)(val, _effect.Unify.ignoreSymbol) && (0, _Predicate.hasProperty)(val[_effect.Unify.ignoreSymbol], 'Dequeue');
+const isStream = val => (0, _Predicate.hasProperty)(val, _Stream.StreamTypeId);
+const isSubscriptionRef = val => (0, _Predicate.hasProperty)(val, _effect.SubscriptionRef.SubscriptionRefTypeId);
+/**
+ * The Effer service provides methods for attaching Attachable values to the template and queueing events
+ */
+class Effer extends /*#__PURE__*/_effect.Effect.Service()('Effer', {
+  effect: /*#__PURE__*/_effect.Effect.gen(function* () {
+    const attach = val => {
+      let stream;
+      if ((0, _Channel.isChannel)(val)) {
+        stream = _effect.Stream.fromChannel(val);
+      } else if (isSubscriptionRef(val)) {
+        stream = val.changes;
+      } else if ((0, _Effect.isEffect)(val) && !isQueue(val)) {
+        stream = _effect.Stream.fromEffect(val);
+      } else if (isQueue(val)) {
+        stream = _effect.Stream.fromQueue(val);
+      } else if (isStream(val)) {
+        stream = val;
+      } else {
+        stream = _effect.Stream.fromPubSub(val);
+      }
+      return stream.pipe(_effect.Stream.toAsyncIterableEffect, _effect.Effect.andThen(iter => (0, _asyncReplace.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)
+ * ```
+ */
+exports.Effer = Effer;
+const makeReducer = (initialState, updateFn) => _effect.Effect.gen(function* () {
+  const subRef = yield* _effect.SubscriptionRef.make(initialState);
+  const updateQueue = yield* _effect.Queue.unbounded();
+  yield* _effect.Effect.gen(function* () {
+    const msg = yield* updateQueue.take;
+    yield* _effect.SubscriptionRef.updateEffect(subRef, state => updateFn(state, msg));
+  }).pipe(_effect.Effect.forever, _effect.Effect.fork);
+  const dispatch = msg => _effect.Queue.unsafeOffer(updateQueue, msg);
+  return {
+    stream: subRef.changes,
+    dispatch
+  };
+});
+exports.makeReducer = makeReducer;
+const makeState = initialState => _effect.Effect.gen(function* () {
+  const subRef = yield* _effect.SubscriptionRef.make(initialState);
+  const updateQueue = yield* _effect.Queue.unbounded();
+  yield* _effect.Effect.gen(function* () {
+    const updateFn = yield* updateQueue.take;
+    yield* _effect.SubscriptionRef.update(subRef, updateFn);
+  }).pipe(_effect.Effect.forever, _effect.Effect.fork);
+  const set = val => _effect.Queue.unsafeOffer(updateQueue, _ => val);
+  const update = updateFn => _effect.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.
+ */
+exports.makeState = makeState;
+class NavService extends /*#__PURE__*/_effect.Context.Tag('NavService')() {
+  static Live = /*#__PURE__*/_effect.Layer.effect(NavService, /*#__PURE__*/_effect.Effect.gen(function* () {
+    const url = yield* _effect.Ref.make(new URL(window.navigation.currentEntry?.url));
+    const pathStream = _effect.Stream.fromEventListener(window.navigation, 'navigate').pipe(_effect.Stream.map(e => new URL(e.destination.url)), _effect.Stream.merge(_effect.Stream.make(new URL(window.navigation.currentEntry?.url))), _effect.Stream.tap(u => _effect.Ref.set(url, u)));
+    const getQueryParam = name => _effect.Effect.gen(function* () {
+      const result = (yield* _effect.Ref.get(url)).searchParams.get(name);
+      if (result === null) {
+        yield* _effect.Effect.fail(new _Cause.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
+    };
+  }));
+}
+exports.NavService = NavService;
+const makeAsyncResult = effect => {
+  const {
+    Loading,
+    Success,
+    Failure,
+    $is,
+    $match
+  } = _effect.Data.taggedEnum();
+  const startStream = _effect.Stream.make(Loading());
+  const resultStream = _effect.Stream.asyncPush(emit => _effect.Effect.gen(function* () {
+    const result = yield* effect.pipe(_effect.Effect.map(data => Success({
+      data
+    })), _effect.Effect.mapError(error => Failure({
+      error
+    })), _effect.Effect.merge);
+    emit.single(result);
+  }));
+  return {
+    stream: _effect.Stream.concat(startStream, resultStream),
+    is: $is,
+    match: $match
+  };
+};
+exports.makeAsyncResult = makeAsyncResult;
+const layer = exports.layer = /*#__PURE__*/Effer.Default.pipe(/*#__PURE__*/_effect.Layer.provideMerge(NavService.Live), /*#__PURE__*/_effect.Layer.provide(/*#__PURE__*/Nav.fromWindow(window)), /*#__PURE__*/_effect.Layer.provide(_id.GetRandomValues.CryptoRandom));
+//# sourceMappingURL=index.js.map

package/build/cjs/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","names":["_effect","require","_Cause","_Channel","_Effect","_Predicate","_Stream","_litHtml","_asyncReplace","Nav","_interopRequireWildcard","_id","e","t","WeakMap","r","n","__esModule","o","i","f","__proto__","default","has","get","set","hasOwnProperty","call","Object","defineProperty","getOwnPropertyDescriptor","html","exports","_html","render","_render","AsyncReplaceDirective","_AsyncReplaceDirective","isQueue","val","hasProperty","Unify","ignoreSymbol","isStream","StreamTypeId","isSubscriptionRef","SubscriptionRef","SubscriptionRefTypeId","Effer","Effect","Service","effect","gen","attach","stream","isChannel","Stream","fromChannel","changes","isEffect","fromEffect","fromQueue","fromPubSub","pipe","toAsyncIterableEffect","andThen","iter","asyncReplace","queueMsg","offer","mapper","makeReducer","initialState","updateFn","subRef","make","updateQueue","Queue","unbounded","msg","take","updateEffect","state","forever","fork","dispatch","unsafeOffer","makeState","update","_","NavService","Context","Tag","Live","Layer","url","Ref","URL","window","navigation","currentEntry","pathStream","fromEventListener","map","destination","merge","tap","u","getQueryParam","name","result","searchParams","fail","NoSuchElementException","navigate","makeAsyncResult","Loading","Success","Failure","$is","$match","Data","taggedEnum","startStream","resultStream","asyncPush","emit","data","mapError","error","single","concat","is","match","layer","Default","provideMerge","provide","fromWindow","GetRandomValues","CryptoRandom"],"sources":["../../src/index.ts"],"sourcesContent":[null],"mappings":";;;;;;AAAA,IAAAA,OAAA,GAAAC,OAAA;AACA,IAAAC,MAAA,GAAAD,OAAA;AACA,IAAAE,QAAA,GAAAF,OAAA;AACA,IAAAG,OAAA,GAAAH,OAAA;AACA,IAAAI,UAAA,GAAAJ,OAAA;AAEA,IAAAK,OAAA,GAAAL,OAAA;AACA,IAAAM,QAAA,GAAAN,OAAA;AAEA,IAAAO,aAAA,GAAAP,OAAA;AACA,IAAAQ,GAAA,GAAAC,uBAAA,CAAAT,OAAA;AACA,IAAAU,GAAA,GAAAV,OAAA;AAA2C,SAAAS,wBAAAE,CAAA,EAAAC,CAAA,6BAAAC,OAAA,MAAAC,CAAA,OAAAD,OAAA,IAAAE,CAAA,OAAAF,OAAA,YAAAJ,uBAAA,YAAAA,CAAAE,CAAA,EAAAC,CAAA,SAAAA,CAAA,IAAAD,CAAA,IAAAA,CAAA,CAAAK,UAAA,SAAAL,CAAA,MAAAM,CAAA,EAAAC,CAAA,EAAAC,CAAA,KAAAC,SAAA,QAAAC,OAAA,EAAAV,CAAA,iBAAAA,CAAA,uBAAAA,CAAA,yBAAAA,CAAA,SAAAQ,CAAA,MAAAF,CAAA,GAAAL,CAAA,GAAAG,CAAA,GAAAD,CAAA,QAAAG,CAAA,CAAAK,GAAA,CAAAX,CAAA,UAAAM,CAAA,CAAAM,GAAA,CAAAZ,CAAA,GAAAM,CAAA,CAAAO,GAAA,CAAAb,CAAA,EAAAQ,CAAA,gBAAAP,CAAA,IAAAD,CAAA,gBAAAC,CAAA,OAAAa,cAAA,CAAAC,IAAA,CAAAf,CAAA,EAAAC,CAAA,OAAAM,CAAA,IAAAD,CAAA,GAAAU,MAAA,CAAAC,cAAA,KAAAD,MAAA,CAAAE,wBAAA,CAAAlB,CAAA,EAAAC,CAAA,OAAAM,CAAA,CAAAK,GAAA,IAAAL,CAAA,CAAAM,GAAA,IAAAP,CAAA,CAAAE,CAAA,EAAAP,CAAA,EAAAM,CAAA,IAAAC,CAAA,CAAAP,CAAA,IAAAD,CAAA,CAAAC,CAAA,WAAAO,CAAA,KAAAR,CAAA,EAAAC,CAAA;AAE3C;;;AAGO,MAAMkB,IAAI,GAAAC,OAAA,CAAAD,IAAA,GAAGE,aAAK;AACzB;;;AAGO,MAAMC,MAAM,GAAAF,OAAA,CAAAE,MAAA,GAAGC,eAAO;AAIvB,MAAOC,qBAAsB,SAAQC,mCAAsB;AAAAL,OAAA,CAAAI,qBAAA,GAAAA,qBAAA;AAYjE,MAAME,OAAO,GAAMC,GAAY,IAA4B,IAAAC,sBAAW,EAACD,GAAG,EAAEE,aAAK,CAACC,YAAY,CAAC,IAAI,IAAAF,sBAAW,EAACD,GAAG,CAACE,aAAK,CAACC,YAAY,CAAC,EAAE,SAAS,CAAC;AAClJ,MAAMC,QAAQ,GAAWJ,GAAY,IAAkC,IAAAC,sBAAW,EAACD,GAAG,EAAEK,oBAAY,CAAC;AACrG,MAAMC,iBAAiB,GAAON,GAAY,IAAgD,IAAAC,sBAAW,EAACD,GAAG,EAAEO,uBAAe,CAACC,qBAAqB,CAAC;AAEjJ;;;AAGM,MAAOC,KAAM,sBAAQC,cAAM,CAACC,OAAO,EAAS,CAAC,OAAO,EAAE;EACxDC,MAAM,eAAEF,cAAM,CAACG,GAAG,CAAC,aAAS;IACxB,MAAMC,MAAM,GAAuBd,GAAsB,IAAI;MACzD,IAAIe,MAA4B;MAChC,IAAG,IAAAC,kBAAS,EAAChB,GAAG,CAAC,EAAE;QACfe,MAAM,GAAGE,cAAM,CAACC,WAAW,CAAQlB,GAAG,CAAC;MAC3C,CAAC,MAAM,IAAIM,iBAAiB,CAAIN,GAAG,CAAC,EAAE;QAClCe,MAAM,GAAGf,GAAG,CAACmB,OAAO;MACxB,CAAC,MAAM,IAAG,IAAAC,gBAAQ,EAACpB,GAAG,CAAC,IAAI,CAACD,OAAO,CAAIC,GAAG,CAAC,EAAE;QACzCe,MAAM,GAAGE,cAAM,CAACI,UAAU,CAACrB,GAAG,CAAC;MACnC,CAAC,MAAM,IAAGD,OAAO,CAAIC,GAAG,CAAC,EAAE;QACvBe,MAAM,GAAGE,cAAM,CAACK,SAAS,CAACtB,GAAG,CAAC;MAClC,CAAC,MAAM,IAAGI,QAAQ,CAAQJ,GAAG,CAAC,EAAE;QAC5Be,MAAM,GAAGf,GAAG;MAChB,CAAC,MAAM;QACHe,MAAM,GAAGE,cAAM,CAACM,UAAU,CAACvB,GAAG,CAAC;MACnC;MACA,OAAOe,MAAM,CAACS,IAAI,CACdP,cAAM,CAACQ,qBAAqB,EAC5Bf,cAAM,CAACgB,OAAO,CAACC,IAAI,IAAI,IAAAC,0BAAY,EAACD,IAAI,CAAC,CAAC,CAC7C;IACL,CAAC;IACD,MAAME,QAAQ,GAAGA,CAAgBC,KAA4B,EAAEC,MAA6B,KAAI;MAC5F,IAAIA,MAAM,EAAE;QACR,OAAQ1D,CAAW,IAAKyD,KAAK,CAACC,MAAM,CAAC1D,CAAC,CAAC,CAAC;MAC5C;MACA,OAAOyD,KAAK;IAChB,CAAC;IAED,OAAO;MACH;;;;;;;;;;;;MAYAhB,MAAM;MACN;;;;;;;;;;;;;;;;;MAiBAe;KACH;EACL,CAAC;EACD;CACH,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;AAAApC,OAAA,CAAAgB,KAAA,GAAAA,KAAA;AAqBO,MAAMuB,WAAW,GAAGA,CAAsBC,YAAe,EAAEC,QAAoD,KAAKxB,cAAM,CAACG,GAAG,CAAC,aAAS;EAC3I,MAAMsB,MAAM,GAAG,OAAO5B,uBAAe,CAAC6B,IAAI,CAAIH,YAAY,CAAC;EAC3D,MAAMI,WAAW,GAAG,OAAOC,aAAK,CAACC,SAAS,EAAK;EAE/C,OAAO7B,cAAM,CAACG,GAAG,CAAC,aAAS;IACvB,MAAM2B,GAAG,GAAG,OAAOH,WAAW,CAACI,IAAI;IACnC,OAAOlC,uBAAe,CAACmC,YAAY,CAACP,MAAM,EAAEQ,KAAK,IAAIT,QAAQ,CAACS,KAAK,EAAEH,GAAG,CAAC,CAAC;EAC9E,CAAC,CAAC,CAAChB,IAAI,CACHd,cAAM,CAACkC,OAAO,EACdlC,cAAM,CAACmC,IAAI,CACd;EACD,MAAMC,QAAQ,GAAIN,GAAM,IAAKF,aAAK,CAACS,WAAW,CAACV,WAAW,EAAEG,GAAG,CAAC;EAEhE,OAAO;IAACzB,MAAM,EAAEoB,MAAM,CAAChB,OAAO;IAAE2B;EAAQ,CAAC;AAC7C,CAAC,CAAC;AAAArD,OAAA,CAAAuC,WAAA,GAAAA,WAAA;AAEK,MAAMgB,SAAS,GAAOf,YAAe,IAAKvB,cAAM,CAACG,GAAG,CAAC,aAAS;EACjE,MAAMsB,MAAM,GAAG,OAAO5B,uBAAe,CAAC6B,IAAI,CAAIH,YAAY,CAAC;EAC3D,MAAMI,WAAW,GAAG,OAAOC,aAAK,CAACC,SAAS,EAAiB;EAE3D,OAAO7B,cAAM,CAACG,GAAG,CAAC,aAAS;IACvB,MAAMqB,QAAQ,GAAG,OAAOG,WAAW,CAACI,IAAI;IACxC,OAAOlC,uBAAe,CAAC0C,MAAM,CAACd,MAAM,EAAED,QAAQ,CAAC;EACnD,CAAC,CAAC,CAACV,IAAI,CACHd,cAAM,CAACkC,OAAO,EACdlC,cAAM,CAACmC,IAAI,CACd;EACD,MAAM3D,GAAG,GAAIc,GAAM,IAAKsC,aAAK,CAACS,WAAW,CAACV,WAAW,EAAEa,CAAC,IAAIlD,GAAG,CAAC;EAChE,MAAMiD,MAAM,GAAIf,QAA4B,IAAKI,aAAK,CAACS,WAAW,CAACV,WAAW,EAACH,QAAQ,CAAC;EACxF,OAAO;IAACnB,MAAM,EAAEoB,MAAM,CAAChB,OAAO;IAAEjC,GAAG;IAAE+D;EAAM,CAAU;AACzD,CAAC,CAAC;AAEF;;;;AAAAxD,OAAA,CAAAuD,SAAA,GAAAA,SAAA;AAIM,MAAOG,UAAW,sBAAQC,eAAO,CAACC,GAAG,CAAC,YAAY,CAAC,EAQtD;EACC,OAAOC,IAAI,gBAAGC,aAAK,CAAC3C,MAAM,CAACuC,UAAU,eAAEzC,cAAM,CAACG,GAAG,CAAC,aAAS;IACvD,MAAM2C,GAAG,GAAG,OAAOC,WAAG,CAACrB,IAAI,CAAM,IAAIsB,GAAG,CAACC,MAAM,CAACC,UAAU,CAACC,YAAY,EAAEL,GAAI,CAAC,CAAC;IAC/E,MAAMM,UAAU,GAAG7C,cAAM,CAAC8C,iBAAiB,CAAgBJ,MAAM,CAACC,UAAU,EAAE,UAAU,CAAC,CAACpC,IAAI,CAC1FP,cAAM,CAAC+C,GAAG,CAAC3F,CAAC,IAAI,IAAIqF,GAAG,CAACrF,CAAC,CAAC4F,WAAW,CAACT,GAAG,CAAC,CAAC,EAC3CvC,cAAM,CAACiD,KAAK,CAACjD,cAAM,CAACmB,IAAI,CAAC,IAAIsB,GAAG,CAACC,MAAM,CAACC,UAAU,CAACC,YAAY,EAAEL,GAAI,CAAC,CAAC,CAAC,EACxEvC,cAAM,CAACkD,GAAG,CAACC,CAAC,IAAIX,WAAG,CAACvE,GAAG,CAACsE,GAAG,EAAEY,CAAC,CAAC,CAAC,CACnC;IACD,MAAMC,aAAa,GAAIC,IAAY,IAAK5D,cAAM,CAACG,GAAG,CAAC,aAAS;MACxD,MAAM0D,MAAM,GAAkB,CAAC,OAAOd,WAAG,CAACxE,GAAG,CAACuE,GAAG,CAAC,EAAEgB,YAAY,CAACvF,GAAG,CAACqF,IAAI,CAAC;MAC1E,IAAGC,MAAM,KAAK,IAAI,EAAE;QAChB,OAAO7D,cAAM,CAAC+D,IAAI,CAAC,IAAIC,6BAAsB,EAAE,CAAC;MACpD;MACA,OAAOH,MAAO;IAClB,CAAC,CAAC;IACF,OAAO;MACH;;;MAGAf,GAAG;MACH;;;MAGAM,UAAU;MACV;;;MAGAa,QAAQ,EAAEhB,MAAM,CAACC,UAAU,CAACe,QAAQ;MACpC;;;MAGAN;KACH;EACL,CAAC,CAAC,CAAC;;;AASA,MAAMO,eAAe,GAAWhE,MAA4B,IAAI;EACnE,MAAM;IAAEiE,OAAO;IAAEC,OAAO;IAAEC,OAAO;IAAEC,GAAG;IAAEC;EAAM,CAAE,GAAGC,YAAI,CAACC,UAAU,EAAmB;EACrF,MAAMC,WAAW,GAAGnE,cAAM,CAACmB,IAAI,CAACyC,OAAO,EAAE,CAAC;EAC1C,MAAMQ,YAAY,GAA2CpE,cAAM,CAACqE,SAAS,CACzEC,IAAI,IAAI7E,cAAM,CAACG,GAAG,CAAC,aAAS;IACxB,MAAM0D,MAAM,GAAG,OAAO3D,MAAM,CAACY,IAAI,CAC7Bd,cAAM,CAACsD,GAAG,CAACwB,IAAI,IAAIV,OAAO,CAAC;MAACU;IAAI,CAAC,CAAC,CAAC,EACnC9E,cAAM,CAAC+E,QAAQ,CAACC,KAAK,IAAIX,OAAO,CAAC;MAACW;IAAK,CAAC,CAAC,CAAC,EAC1ChF,cAAM,CAACwD,KAAK,CACf;IACDqB,IAAI,CAACI,MAAM,CAACpB,MAAM,CAAC;EACvB,CAAC,CAAC,CACL;EAED,OAAO;IAACxD,MAAM,EAAEE,cAAM,CAAC2E,MAAM,CAACR,WAAW,EAAEC,YAAY,CAAC;IAAEQ,EAAE,EAAEb,GAAG;IAAEc,KAAK,EAAEb;EAAM,CAAC;AACrF,CAAC;AAAAxF,OAAA,CAAAmF,eAAA,GAAAA,eAAA;AAGM,MAAMmB,KAAK,GAAAtG,OAAA,CAAAsG,KAAA,gBAAGtF,KAAK,CAACuF,OAAO,CAACxE,IAAI,cACnC+B,aAAK,CAAC0C,YAAY,CAAC9C,UAAU,CAACG,IAAI,CAAC,eACnCC,aAAK,CAAC2C,OAAO,cAAChI,GAAG,CAACiI,UAAU,CAACxC,MAAM,CAAC,CAAC,eACrCJ,aAAK,CAAC2C,OAAO,CAACE,mBAAe,CAACC,YAAY,CAAC,CAC9C","ignoreList":[]}

package/build/dts/index.d.ts

@@ -0,0 +1,169 @@
+import { Chunk, Context, Data, Effect, Layer, Queue, Ref, Stream, SubscriptionRef, Unify } from "effect";
+import { NoSuchElementException } from "effect/Cause";
+import { type Channel } from "effect/Channel";
+import { type PubSub } from "effect/PubSub";
+import { type TemplateResult as _TemplateResult } from "lit-html";
+import type { DirectiveClass, DirectiveResult as _DirectiveResult } from "lit-html/directive.js";
+import { AsyncReplaceDirective as _AsyncReplaceDirective } from "lit-html/directives/async-replace.js";
+/**
+ * Create an HTML template result that can be rendered to the DOM
+ */
+export declare const html: (strings: TemplateStringsArray, ...values: unknown[]) => _TemplateResult<1>;
+/**
+ * Renders a template result to the container
+ */
+export declare const render: {
+    (value: unknown, container: import("lit-html").RenderRootNode, options?: import("lit-html").RenderOptions): import("lit-html").RootPart;
+    setSanitizer: (newSanitizer: import("lit-html").SanitizerFactory) => void;
+    createSanitizer: import("lit-html").SanitizerFactory;
+    _testOnlyClearSanitizerFactoryDoNotCallOrElse: () => void;
+};
+export type TemplateResult = _TemplateResult;
+export type DirectiveResult<C extends DirectiveClass = DirectiveClass> = _DirectiveResult<C>;
+export declare 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>;
+declare const Effer_base: Effect.Service.Class<Effer, "Effer", {
+    readonly effect: Effect.Effect<{
+        /**
+         * 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: <A, E = never, R = never>(val: Attachable<A, E, R>) => Effect.Effect<_DirectiveResult<typeof _AsyncReplaceDirective>, never, R>;
+        /**
+         * 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: <DOMEvent, Msg>(offer: (msg: Msg) => boolean, mapper?: (e: DOMEvent) => Msg) => ((msg: Msg) => boolean) | ((e: DOMEvent) => boolean);
+    }, never, never>;
+}>;
+/**
+ * The Effer service provides methods for attaching Attachable values to the template and queueing events
+ */
+export declare class Effer extends Effer_base {
+}
+/**
+ * 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 declare const makeReducer: <A, M, E = never, R = never>(initialState: A, updateFn: (state: A, msg: M) => Effect.Effect<A, E, R>) => Effect.Effect<{
+    stream: Stream.Stream<A, never, never>;
+    dispatch: (msg: M) => boolean;
+}, never, R>;
+export declare const makeState: <A>(initialState: A) => Effect.Effect<{
+    readonly stream: Stream.Stream<A, never, never>;
+    readonly set: (val: A) => boolean;
+    readonly update: (updateFn: (oldValue: A) => A) => boolean;
+}, never, never>;
+declare const NavService_base: Context.TagClass<NavService, "NavService", {
+    url: Ref.Ref<URL>;
+    pathStream: Stream.Stream<URL>;
+    getQueryParam: (name: string) => Effect.Effect<string, NoSuchElementException, never>;
+    navigate: typeof window.navigation.navigate;
+}>;
+/**
+ * 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 declare class NavService extends NavService_base {
+    static Live: Layer.Layer<NavService, never, never>;
+}
+export type RemoteData<T, E> = Data.TaggedEnum<{
+    Loading: {};
+    Success: {
+        readonly data: T;
+    };
+    Failure: {
+        readonly error: E;
+    };
+}> & {};
+export declare const makeAsyncResult: <A, E, R>(effect: Effect.Effect<A, E, R>) => {
+    stream: Stream.Stream<RemoteData<A, E>, never, R>;
+    is: <Tag extends "Loading" | "Success" | "Failure">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "Loading";
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Success";
+        readonly data: A;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "Failure";
+        readonly error: E;
+    }, {
+        readonly _tag: Tag;
+    }>;
+    match: {
+        <const Cases extends {
+            readonly Loading: (args: {
+                readonly _tag: "Loading";
+            }) => any;
+            readonly Success: (args: {
+                readonly _tag: "Success";
+                readonly data: A;
+            }) => any;
+            readonly Failure: (args: {
+                readonly _tag: "Failure";
+                readonly error: E;
+            }) => any;
+        }>(cases: Cases & { [K in Exclude<keyof Cases, "Loading" | "Success" | "Failure">]: never; }): (value: RemoteData<A, E>) => Unify.Unify<ReturnType<Cases["Loading" | "Success" | "Failure"]>>;
+        <const Cases extends {
+            readonly Loading: (args: {
+                readonly _tag: "Loading";
+            }) => any;
+            readonly Success: (args: {
+                readonly _tag: "Success";
+                readonly data: A;
+            }) => any;
+            readonly Failure: (args: {
+                readonly _tag: "Failure";
+                readonly error: E;
+            }) => any;
+        }>(value: RemoteData<A, E>, cases: Cases & { [K in Exclude<keyof Cases, "Loading" | "Success" | "Failure">]: never; }): Unify.Unify<ReturnType<Cases["Loading" | "Success" | "Failure"]>>;
+    };
+};
+export declare const layer: Layer.Layer<Effer | NavService, never, never>;
+export {};
+//# sourceMappingURL=index.d.ts.map

package/build/dts/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAW,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,eAAe,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAClH,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,EAAE,KAAK,OAAO,EAAa,MAAM,gBAAgB,CAAC;AAGzD,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,eAAe,CAAC;AAE5C,OAAO,EAAE,KAAK,cAAc,IAAI,eAAe,EAAoC,MAAM,UAAU,CAAC;AACpG,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,IAAI,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACjG,OAAO,EAAE,qBAAqB,IAAI,sBAAsB,EAAgB,MAAM,sCAAsC,CAAC;AAIrH;;GAEG;AACH,eAAO,MAAM,IAAI,6EAAQ,CAAA;AACzB;;GAEG;AACH,eAAO,MAAM,MAAM;;;;;CAAU,CAAA;AAE7B,MAAM,MAAM,cAAc,GAAG,eAAe,CAAA;AAC5C,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,cAAc,GAAG,cAAc,IAAI,gBAAgB,CAAC,CAAC,CAAC,CAAA;AAC5F,qBAAa,qBAAsB,SAAQ,sBAAsB;CAAG;AAEpE;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,IACtB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,GACjE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC,GACpB,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,GAClC,MAAM,CAAC,CAAC,CAAC,GACT,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GACd,MAAM,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC,CAAA;;;QAsCd;;;;;;;;;;;WAWG;iBAvCS,CAAC,EAAC,CAAC,UAAO,CAAC,eAAa,UAAU,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC;QAyCrD;;;;;;;;;;;;;;;;WAgBG;mBArCW,QAAQ,EAAE,GAAG,SAAS,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,WAAW,CAAC,CAAC,EAAE,QAAQ,KAAK,GAAG,YAA9C,GAAG,KAAK,OAAO,SAE1C,QAAQ;;;AA3BnC;;GAEG;AACH,qBAAa,KAAM,SAAQ,UAgEzB;CAAG;AAEL;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,WAAW,GAAI,CAAC,EAAC,CAAC,EAAC,CAAC,GAAC,KAAK,EAAC,CAAC,GAAC,KAAK,EAAE,cAAc,CAAC,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC;;oBAW3F,CAAC;YAG1B,CAAA;AAEF,eAAO,MAAM,SAAS,GAAI,CAAC,EAAE,cAAc,CAAC;;wBAWtB,CAAC;gCACO,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC;gBAE9C,CAAA;;SASW,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;gBACL,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;mBACf,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,EAAE,KAAK,CAAC;cAC3E,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ;;AAVnD;;;GAGG;AACH,qBAAa,UAAW,SAAQ,eAQ7B;IACC,MAAM,CAAC,IAAI,wCAgCR;CACN;AAED,MAAM,MAAM,UAAU,CAAC,CAAC,EAAC,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC;IAC1C,OAAO,EAAE,EAAE,CAAA;IACX,OAAO,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;KAAE,CAAA;IAC7B,OAAO,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAA;CACjC,CAAC,GAAG,EAAE,CAAA;AAEP,eAAO,MAAM,eAAe,GAAI,CAAC,EAAC,CAAC,EAAC,CAAC,EAAE,QAAQ,MAAM,CAAC,MAAM,CAAC,CAAC,EAAC,CAAC,EAAC,CAAC,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAelE,CAAA;AAGD,eAAO,MAAM,KAAK,+CAIjB,CAAA"}