The interactive example loads in the browser.
The interactive example loads in the browser.
Complete one of two items in the preview. The count should become one, and Clear completed should appear. Both follow the list without a second mutable counter.
Derive the answers in src/application.ts
export const ActiveCount: RefSubject.Computed<number, never, TodoList> = RefSubject.map(
TodoList,
Domain.activeCount,
);
export const SomeAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map(
TodoList,
Domain.someAreCompleted,
);
export const AllAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map(
TodoList,
Domain.allAreCompleted,
);
Every creation, deletion, and toggle changes TodoList. These read views recompute from that authority, so actions do not also have to maintain counts and flags.
Render the count in src/presentation.ts
<span class="todo-count"><strong>${App.ActiveCount}</strong>
${RefSubject.map(App.ActiveCount, (count) => (count === 1 ? " item" : " items"))} left</span>
The number and its singular or plural label are both live values. The count means active items in the whole list; adding a filter later should not change that meaning.
Show a control only when it can act
${Fx.if(App.SomeAreCompleted, {
onTrue: html`<button
class="clear-completed"
type="button"
onclick=${App.clearCompletedTodos}
>
Clear completed
</button>`,
onFalse: Fx.null,
})}
After the last completed item is cleared, the button and its event binding disappear together. The action changes the list; the condition handles its presentation.
Handle the empty list
The empty list deserves a deliberate rule in src/domain.ts:
export function allAreCompleted(list: TodoList): boolean {
return list.length > 0 && list.every(isCompleted);
}
every alone would report true for an empty array. The nonempty check keeps Mark all complete unchecked when there are no items. Toggling all completes every item if any is active; otherwise it reopens them.
The main section and footer also follow the canonical non-empty condition. The named HasTodos view suppresses repeated boolean values.
const HasTodos = RefSubject.map(App.TodoList, (list) => list.length > 0).pipe(Fx.skipRepeats);
${Fx.if(HasTodos, {
onTrue: html`<section class="main">
Try it: clear one completed item, complete the remaining item, then toggle all. Check the count, clear button, and checkbox after each action. A stale count suggests a separate mutable counter or a one-time read where you intended a live view.
Complete files
Keep the files from the previous step and replace or add these. Each full file is the source used by this milestone; the excerpts above select lines from it.
src/application.ts
import * as Effect from "effect/Effect";
import * as Option from "effect/Option";
import * as Context from "effect/Context";
import { RefArray, RefSubject } from "@typed/fx";
import * as Domain from "./domain.js";
export class CreateTodo extends Context.Service<
CreateTodo,
(text: string) => Effect.Effect<Domain.Todo>
>()("CreateTodo") {
static readonly call = (text: string) =>
Effect.flatMap(CreateTodo, (createTodo) => createTodo(text));
}
export class TodoList extends RefSubject.Service<TodoList, Domain.TodoList>()("TodoList") {}
export class FilterState extends RefSubject.Service<FilterState, Domain.FilterState>()(
"FilterState",
) {}
export class TodoText extends RefSubject.Service<TodoText, string>()("TodoText") {}
export const Todos: RefSubject.Computed<Domain.TodoList, never, TodoList | FilterState> =
RefSubject.map(
RefSubject.struct({
list: TodoList,
state: FilterState,
}),
Domain.filterTodoList,
);
export const ActiveCount: RefSubject.Computed<number, never, TodoList> = RefSubject.map(
TodoList,
Domain.activeCount,
);
export const SomeAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map(
TodoList,
Domain.someAreCompleted,
);
export const AllAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map(
TodoList,
Domain.allAreCompleted,
);
export const createTodo: Effect.Effect<
Option.Option<Domain.Todo>,
never,
CreateTodo | TodoList | TodoText
> = Effect.flatMap(TodoText, (text: string) =>
text.trim() === ""
? Effect.succeed(Option.none<Domain.Todo>())
: CreateTodo.call(text).pipe(
Effect.tap((todo) => RefArray.prepend(TodoList, todo)),
Effect.tap(() => RefSubject.set(TodoText, "")),
Effect.asSome,
),
);
export const editTodo = (
id: Domain.TodoId,
text: string,
): Effect.Effect<Domain.TodoList, never, TodoList> =>
text.trim() === "" ? deleteTodo(id) : RefSubject.update(TodoList, Domain.editText(id, text));
export const toggleTodoCompleted: (
id: Domain.TodoId,
) => Effect.Effect<Domain.TodoList, never, TodoList> = (id) =>
RefSubject.update(TodoList, Domain.toggleCompleted(id));
export const deleteTodo: (id: Domain.TodoId) => Effect.Effect<Domain.TodoList, never, TodoList> = (
id,
) => RefSubject.update(TodoList, Domain.deleteTodo(id));
export const clearCompletedTodos: Effect.Effect<Domain.TodoList, never, TodoList> =
RefSubject.update(TodoList, Domain.clearCompleted);
export const toggleAllCompleted: Effect.Effect<Domain.TodoList, never, TodoList> =
RefSubject.update(TodoList, Domain.toggleAllCompleted);
src/presentation.ts
// oxlint-disable require-yield
import { Effect } from "effect";
import { Fx, RefSubject } from "@typed/fx";
import { component, EventHandler, html, many } from "@typed/template";
import * as App from "./application.js";
import * as Domain from "./domain.js";
const HasTodos = RefSubject.map(App.TodoList, (list) => list.length > 0).pipe(Fx.skipRepeats);
const TodoItem = component(function* (todo: RefSubject.RefSubject<Domain.Todo>, id: Domain.TodoId) {
const editing = yield* RefSubject.make(false);
const draft = yield* RefSubject.make("");
const text = RefSubject.map(todo, (value) => value.text);
const completed = RefSubject.map(todo, (value) => value.completed);
const begin = text.pipe(
Effect.flatMap((value) => RefSubject.set(draft, value)),
Effect.flatMap(() => RefSubject.set(editing, true)),
);
const cancel = RefSubject.set(editing, false);
const save = draft.pipe(
Effect.flatMap((value) => App.editTodo(id, value)),
Effect.flatMap(() => cancel),
);
return html`<li
class="${Fx.when(completed, { onTrue: "completed", onFalse: "" })} ${Fx.when(editing, { onTrue: "editing", onFalse: "" })}"
>
<div class="view">
<input
class="toggle"
type="checkbox"
aria-label="Complete ${text}"
?checked=${completed}
onchange=${App.toggleTodoCompleted(id)}
/>
<label ondblclick=${begin}>${text}</label>
<button
class="destroy"
type="button"
aria-label="Delete ${text}"
onclick=${App.deleteTodo(id)}
></button>
</div>
<input
class="edit"
aria-label="Edit todo"
.value=${draft}
oninput=${EventHandler.make((event: InputEvent & { target: HTMLInputElement }) =>
RefSubject.set(draft, event.target.value),
)}
onblur=${EventHandler.make(
() => Effect.flatMap(editing, (isEditing) => (isEditing ? save : Effect.void)),
{ capture: true },
)}
onkeydown=${EventHandler.make((event: KeyboardEvent) => {
if (event.key === "Escape") return cancel;
if (event.key === "Enter") return save;
return undefined;
})}
/>
</li>`;
});
const onInput = EventHandler.make((event: InputEvent & { target: HTMLInputElement }) =>
RefSubject.set(App.TodoText, event.target.value),
);
const onNewTodoKeydown = EventHandler.make((event: KeyboardEvent) =>
event.key === "Enter" ? App.createTodo : undefined,
);
export const TodoApp = html`<section class="todoapp">
<header class="header">
<h1>todos</h1>
<input
class="new-todo"
aria-label="New todo"
autofocus
autocomplete="off"
.value=${App.TodoText}
oninput=${onInput}
onkeydown=${onNewTodoKeydown}
placeholder="What needs to be done?"
/>
</header>
${Fx.if(HasTodos, {
onTrue: html`<section class="main">
<input
id="toggle-all"
class="toggle-all"
type="checkbox"
?checked=${App.AllAreCompleted}
onchange=${App.toggleAllCompleted}
/>
<label for="toggle-all">Mark all as complete</label>
<ul class="todo-list">
${many(App.Todos, (todo) => todo.id, TodoItem)}
</ul>
</section>
<footer class="footer">
<span class="todo-count"><strong>${App.ActiveCount}</strong>
${RefSubject.map(App.ActiveCount, (count) => (count === 1 ? " item" : " items"))} left</span>
${Fx.if(App.SomeAreCompleted, {
onTrue: html`<button
class="clear-completed"
type="button"
onclick=${App.clearCompletedTodos}
>
Clear completed
</button>`,
onFalse: Fx.null,
})}
</footer>`,
onFalse: Fx.null,
})}
</section>
<footer class="info">
<p>Double-click to edit a todo</p>
<p>Part of <a href="http://todomvc.com">TodoMVC</a></p>
</footer>`;
src/infrastructure.ts
import { DateTime, Effect, Layer } from "effect";
import * as Router from "@typed/router";
import * as App from "./application.js";
import * as Domain from "./domain.js";
const CreateTodo = Layer.sync(
App.CreateTodo,
() => (text: string) =>
Effect.sync((): Domain.Todo => ({
id: Domain.TodoId.make(crypto.randomUUID()),
text,
completed: false,
timestamp: DateTime.makeUnsafe(new Date()),
})),
);
export const makeServices = (router = Router.BrowserRouter()) =>
Layer.mergeAll(
CreateTodo,
App.TodoList.make([]),
App.TodoText.make(""),
App.FilterState.make("all"),
).pipe(Layer.provideMerge(router));
export const Services = makeServices();
src/preview.ts
import { Fx } from "@typed/fx";
import { ServerRouter } from "@typed/router";
import { TodoApp } from "./presentation.js";
import { makeServices } from "./infrastructure.js";
// Only the runtime router changes when this example is embedded in the website.
export const Preview = TodoApp.pipe(
Fx.provide(makeServices(ServerRouter({ url: "https://tutorial.local/" }))),
);
Changes from Render keyed Todo items2 files
| Before | After | Change | Code |
|---|---|---|---|
| … 28 unchanged lines … | |||
| 29 | 29 | Unchanged | Domain.filterTodoList, |
| 30 | 30 | Unchanged | ); |
| 31 | 31 | Unchanged | |
| 32 | Added | export const ActiveCount: RefSubject.Computed<number, never, TodoList> = RefSubject.map( | |
| 33 | Added | TodoList, | |
| 34 | Added | Domain.activeCount, | |
| 35 | Added | ); | |
| 36 | Added | | |
| 37 | Added | export const SomeAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map( | |
| 38 | Added | TodoList, | |
| 39 | Added | Domain.someAreCompleted, | |
| 40 | Added | ); | |
| 41 | Added | | |
| 42 | Added | export const AllAreCompleted: RefSubject.Computed<boolean, never, TodoList> = RefSubject.map( | |
| 43 | Added | TodoList, | |
| 44 | Added | Domain.allAreCompleted, | |
| 45 | Added | ); | |
| 46 | Added | | |
| 32 | 47 | Unchanged | export const createTodo: Effect.Effect< |
| 33 | 48 | Unchanged | Option.Option<Domain.Todo>, |
| 34 | 49 | Unchanged | never, |
| … 22 unchanged lines … | |||
| 57 | 72 | Unchanged | export const deleteTodo: (id: Domain.TodoId) => Effect.Effect<Domain.TodoList, never, TodoList> = ( |
| 58 | 73 | Unchanged | id, |
| 59 | 74 | Unchanged | ) => RefSubject.update(TodoList, Domain.deleteTodo(id)); |
| 75 | Added | | |
| 76 | Added | export const clearCompletedTodos: Effect.Effect<Domain.TodoList, never, TodoList> = | |
| 77 | Added | RefSubject.update(TodoList, Domain.clearCompleted); | |
| 78 | Added | | |
| 79 | Added | export const toggleAllCompleted: Effect.Effect<Domain.TodoList, never, TodoList> = | |
| 80 | Added | RefSubject.update(TodoList, Domain.toggleAllCompleted); | |
| Before | After | Change | Code |
|---|---|---|---|
| … 88 unchanged lines … | |||
| 89 | 89 | Unchanged | </header> |
| 90 | 90 | Unchanged | ${Fx.if(HasTodos, { |
| 91 | 91 | Unchanged | onTrue: html`<section class="main"> |
| 92 | Added | <input | |
| 93 | Added | id="toggle-all" | |
| 94 | Added | class="toggle-all" | |
| 95 | Added | type="checkbox" | |
| 96 | Added | ?checked=${App.AllAreCompleted} | |
| 97 | Added | onchange=${App.toggleAllCompleted} | |
| 98 | Added | /> | |
| 99 | Added | <label for="toggle-all">Mark all as complete</label> | |
| 92 | 100 | Unchanged | <ul class="todo-list"> |
| 93 | 101 | Unchanged | ${many(App.Todos, (todo) => todo.id, TodoItem)} |
| 94 | 102 | Unchanged | </ul> |
| 95 | 103 | Unchanged | </section> |
| 96 | Removed | | |
| 104 | Added | <footer class="footer"> | |
| 105 | Added | <span class="todo-count"><strong>${App.ActiveCount}</strong> | |
| 106 | Added | ${RefSubject.map(App.ActiveCount, (count) => (count === 1 ? " item" : " items"))} left</span> | |
| 107 | Added | ${Fx.if(App.SomeAreCompleted, { | |
| 108 | Added | onTrue: html`<button | |
| 109 | Added | class="clear-completed" | |
| 110 | Added | type="button" | |
| 111 | Added | onclick=${App.clearCompletedTodos} | |
| 112 | Added | > | |
| 113 | Added | Clear completed | |
| 114 | Added | </button>`, | |
| 115 | Added | onFalse: Fx.null, | |
| 116 | Added | })} | |
| 117 | Added | </footer>`, | |
| 97 | 118 | Unchanged | onFalse: Fx.null, |
| 98 | 119 | Unchanged | })} |
| 99 | 120 | Unchanged | </section> |
| … 4 unchanged lines … | |||