chore: init

web/src/api/auth.ts

@@ -0,0 +1,51 @@
+import {HttpClient, HttpClientRequest, HttpClientResponse,} from "@effect/platform";
+import * as Schema from "@effect/schema/Schema";
+import {Effect, Schedule} from "effect";
+import {OTLP_TRACE_PROPAGATION} from "../env.ts";
+import {APIResponse, BASE_URL, FailedAPIResponse} from "./response.ts";
+
+export const UserId = Schema.UUID.pipe(Schema.brand("UserId"));
+export type UserId = Schema.Schema.Type<typeof UserId>;
+
+export class UserInfo extends Schema.Class<UserInfo>("UserInfo")({
+    id: UserId,
+    username: Schema.String,
+}) {
+}
+
+export const fetchUserInfo = HttpClientRequest.get(
+    `${BASE_URL}/api/auth/authn/@me`,
+).pipe(
+    HttpClient.fetch,
+    HttpClientResponse.schemaBodyJsonScoped(APIResponse(UserInfo)),
+    Effect.filterOrFail(
+        (res) => res.ok,
+        (res) => (res as FailedAPIResponse).error,
+    ),
+    Effect.retry({times: 3, schedule: Schedule.exponential(250, 2)}),
+    Effect.map((d) => d.data),
+    Effect.either,
+    Effect.withSpan("fetchUserInfo"),
+    HttpClient.withTracerPropagation(OTLP_TRACE_PROPAGATION),
+);
+
+export class UserCreation extends Schema.Class<UserCreation>("UserCreation")({
+    username: Schema.String,
+}) {
+}
+
+const createUserBody = HttpClientRequest.schemaBody(UserCreation);
+export const createUser = (data: UserCreation) =>
+    HttpClientRequest.post(`${BASE_URL}/api/app/users/`).pipe(
+        createUserBody(data),
+        Effect.andThen(HttpClient.fetch),
+        HttpClientResponse.schemaBodyJsonScoped(APIResponse(UserInfo)),
+        Effect.filterOrFail(
+            (res) => res.ok,
+            (res) => (res as FailedAPIResponse).error,
+        ),
+        Effect.map((d) => d.data),
+        Effect.either,
+        Effect.withSpan("createUser", {attributes: {data: data}}),
+        HttpClient.withTracerPropagation(OTLP_TRACE_PROPAGATION),
+    );

web/src/api/index.ts

@@ -0,0 +1,28 @@
+import {layer} from "@effect/opentelemetry/WebSdk";
+import {OTLPTraceExporter} from "@opentelemetry/exporter-trace-otlp-http";
+import {BatchSpanProcessor} from "@opentelemetry/sdk-trace-base";
+import {Layer, ManagedRuntime} from "effect";
+import {OTLP_ENDPOINT, OTLP_TRACE_PROPAGATION} from "../env.ts";
+
+export const WebSdkLive = OTLP_TRACE_PROPAGATION
+    ? layer(() => ({
+        resource: {serviceName: "Web UI"},
+        spanProcessor: new BatchSpanProcessor(
+            new OTLPTraceExporter({url: OTLP_ENDPOINT}),
+        ),
+    }))
+    : Layer.empty;
+
+if (OTLP_ENDPOINT) {
+    console.log("OpenTelemetry initialized with OTLP endpoint", OTLP_ENDPOINT);
+
+    if (OTLP_TRACE_PROPAGATION) {
+        console.log("OpenTelemetry initialized with trace propagation");
+    } else {
+        console.warn("OpenTelemetry initialized without trace propagation");
+    }
+} else {
+    console.warn("OpenTelemetry not initialized because no OTLP endpoint is set");
+}
+
+export const runtime = ManagedRuntime.make(WebSdkLive);

web/src/api/notes.ts

@@ -0,0 +1,40 @@
+import {HttpClient, HttpClientRequest, HttpClientResponse,} from "@effect/platform";
+import * as Schema from "@effect/schema/Schema";
+import {Effect} from "effect";
+import {OTLP_TRACE_PROPAGATION} from "../env.ts";
+import {APIResponse, BASE_URL, FailedAPIResponse} from "./response.ts";
+
+export const NoteId = Schema.UUID.pipe(Schema.brand("UserId"));
+export type NoteId = Schema.Schema.Type<typeof NoteId>;
+
+export const NoteVisibility = Schema.Literal("public", "private", "direct");
+export type NoteVisibility = Schema.Schema.Type<typeof NoteVisibility>;
+
+export class Note extends Schema.Class<Note>("Note")({
+    id: NoteId,
+    visibility: NoteVisibility,
+}) {
+}
+
+export class NoteCreation extends Schema.Class<NoteCreation>("NoteCreation")({
+    content: Schema.String,
+    visibility: Schema.optionalWith(NoteVisibility, {default: () => "public"}),
+    mentions: Schema.optional(Schema.Array(Schema.String)),
+}) {
+}
+
+const createNoteBody = HttpClientRequest.schemaBody(NoteCreation);
+export const createNote = (data: NoteCreation) =>
+    HttpClientRequest.post(`${BASE_URL}/api/app/notes/`).pipe(
+        createNoteBody(data),
+        Effect.andThen(HttpClient.fetch),
+        HttpClientResponse.schemaBodyJsonScoped(APIResponse(Note)),
+        Effect.filterOrFail(
+            (res) => res.ok,
+            (res) => (res as FailedAPIResponse).error,
+        ),
+        Effect.map((d) => d.data),
+        Effect.either,
+        Effect.withSpan("createNote", {attributes: {data: data}}),
+        HttpClient.withTracerPropagation(OTLP_TRACE_PROPAGATION),
+    );

web/src/api/response.ts

@@ -0,0 +1,42 @@
+import * as Schema from "@effect/schema/Schema";
+
+export const BASE_URL = import.meta.env.VITE_BASE_URL ?? "INVALID";
+
+export class APIError extends Schema.Class<APIError>("APIError")({
+    status_code: Schema.Number,
+    description: Schema.String,
+    metadata: Schema.optional(
+        Schema.Record({key: Schema.String, value: Schema.Any}),
+    ),
+}) {
+    _tag = "APIError" as const;
+
+    static toString(error: APIError) {
+        return `${error.status_code}: ${error.description}${error.metadata ? JSON.stringify(error.metadata) : ""}`;
+    }
+
+    override toString() {
+        return APIError.toString(this);
+    }
+
+    get message() {
+        return this.toString();
+    }
+}
+
+export const FailedAPIResponse = Schema.Struct({
+    ok: Schema.Literal(false),
+    error: APIError,
+    data: Schema.Null,
+});
+export type FailedAPIResponse = Schema.Schema.Type<typeof FailedAPIResponse>;
+
+export const APIResponse = <A, I>(data: Schema.Schema<A, I>) =>
+    Schema.Union(
+        Schema.Struct({
+            ok: Schema.Literal(true),
+            data: data,
+            error: Schema.Null,
+        }),
+        FailedAPIResponse,
+    );

web/src/assets/react.svg

@@ -0,0 +1 @@
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" aria-hidden="true" role="img" class="iconify iconify--logos" width="35.93" height="32" preserveAspectRatio="xMidYMid meet" viewBox="0 0 256 228"><path fill="#00D8FF" d="M210.483 73.824a171.49 171.49 0 0 0-8.24-2.597c.465-1.9.893-3.777 1.273-5.621c6.238-30.281 2.16-54.676-11.769-62.708c-13.355-7.7-35.196.329-57.254 19.526a171.23 171.23 0 0 0-6.375 5.848a155.866 155.866 0 0 0-4.241-3.917C100.759 3.829 77.587-4.822 63.673 3.233C50.33 10.957 46.379 33.89 51.995 62.588a170.974 170.974 0 0 0 1.892 8.48c-3.28.932-6.445 1.924-9.474 2.98C17.309 83.498 0 98.307 0 113.668c0 15.865 18.582 31.778 46.812 41.427a145.52 145.52 0 0 0 6.921 2.165a167.467 167.467 0 0 0-2.01 9.138c-5.354 28.2-1.173 50.591 12.134 58.266c13.744 7.926 36.812-.22 59.273-19.855a145.567 145.567 0 0 0 5.342-4.923a168.064 168.064 0 0 0 6.92 6.314c21.758 18.722 43.246 26.282 56.54 18.586c13.731-7.949 18.194-32.003 12.4-61.268a145.016 145.016 0 0 0-1.535-6.842c1.62-.48 3.21-.974 4.76-1.488c29.348-9.723 48.443-25.443 48.443-41.52c0-15.417-17.868-30.326-45.517-39.844Zm-6.365 70.984c-1.4.463-2.836.91-4.3 1.345c-3.24-10.257-7.612-21.163-12.963-32.432c5.106-11 9.31-21.767 12.459-31.957c2.619.758 5.16 1.557 7.61 2.4c23.69 8.156 38.14 20.213 38.14 29.504c0 9.896-15.606 22.743-40.946 31.14Zm-10.514 20.834c2.562 12.94 2.927 24.64 1.23 33.787c-1.524 8.219-4.59 13.698-8.382 15.893c-8.067 4.67-25.32-1.4-43.927-17.412a156.726 156.726 0 0 1-6.437-5.87c7.214-7.889 14.423-17.06 21.459-27.246c12.376-1.098 24.068-2.894 34.671-5.345a134.17 134.17 0 0 1 1.386 6.193ZM87.276 214.515c-7.882 2.783-14.16 2.863-17.955.675c-8.075-4.657-11.432-22.636-6.853-46.752a156.923 156.923 0 0 1 1.869-8.499c10.486 2.32 22.093 3.988 34.498 4.994c7.084 9.967 14.501 19.128 21.976 27.15a134.668 134.668 0 0 1-4.877 4.492c-9.933 8.682-19.886 14.842-28.658 17.94ZM50.35 144.747c-12.483-4.267-22.792-9.812-29.858-15.863c-6.35-5.437-9.555-10.836-9.555-15.216c0-9.322 13.897-21.212 37.076-29.293c2.813-.98 5.757-1.905 8.812-2.773c3.204 10.42 7.406 21.315 12.477 32.332c-5.137 11.18-9.399 22.249-12.634 32.792a134.718 134.718 0 0 1-6.318-1.979Zm12.378-84.26c-4.811-24.587-1.616-43.134 6.425-47.789c8.564-4.958 27.502 2.111 47.463 19.835a144.318 144.318 0 0 1 3.841 3.545c-7.438 7.987-14.787 17.08-21.808 26.988c-12.04 1.116-23.565 2.908-34.161 5.309a160.342 160.342 0 0 1-1.76-7.887Zm110.427 27.268a347.8 347.8 0 0 0-7.785-12.803c8.168 1.033 15.994 2.404 23.343 4.08c-2.206 7.072-4.956 14.465-8.193 22.045a381.151 381.151 0 0 0-7.365-13.322Zm-45.032-43.861c5.044 5.465 10.096 11.566 15.065 18.186a322.04 322.04 0 0 0-30.257-.006c4.974-6.559 10.069-12.652 15.192-18.18ZM82.802 87.83a323.167 323.167 0 0 0-7.227 13.238c-3.184-7.553-5.909-14.98-8.134-22.152c7.304-1.634 15.093-2.97 23.209-3.984a321.524 321.524 0 0 0-7.848 12.897Zm8.081 65.352c-8.385-.936-16.291-2.203-23.593-3.793c2.26-7.3 5.045-14.885 8.298-22.6a321.187 321.187 0 0 0 7.257 13.246c2.594 4.48 5.28 8.868 8.038 13.147Zm37.542 31.03c-5.184-5.592-10.354-11.779-15.403-18.433c4.902.192 9.899.29 14.978.29c5.218 0 10.376-.117 15.453-.343c-4.985 6.774-10.018 12.97-15.028 18.486Zm52.198-57.817c3.422 7.8 6.306 15.345 8.596 22.52c-7.422 1.694-15.436 3.058-23.88 4.071a382.417 382.417 0 0 0 7.859-13.026a347.403 347.403 0 0 0 7.425-13.565Zm-16.898 8.101a358.557 358.557 0 0 1-12.281 19.815a329.4 329.4 0 0 1-23.444.823c-7.967 0-15.716-.248-23.178-.732a310.202 310.202 0 0 1-12.513-19.846h.001a307.41 307.41 0 0 1-10.923-20.627a310.278 310.278 0 0 1 10.89-20.637l-.001.001a307.318 307.318 0 0 1 12.413-19.761c7.613-.576 15.42-.876 23.31-.876H128c7.926 0 15.743.303 23.354.883a329.357 329.357 0 0 1 12.335 19.695a358.489 358.489 0 0 1 11.036 20.54a329.472 329.472 0 0 1-11 20.722Zm22.56-122.124c8.572 4.944 11.906 24.881 6.52 51.026c-.344 1.668-.73 3.367-1.15 5.09c-10.622-2.452-22.155-4.275-34.23-5.408c-7.034-10.017-14.323-19.124-21.64-27.008a160.789 160.789 0 0 1 5.888-5.4c18.9-16.447 36.564-22.941 44.612-18.3ZM128 90.808c12.625 0 22.86 10.235 22.86 22.86s-10.235 22.86-22.86 22.86s-22.86-10.235-22.86-22.86s10.235-22.86 22.86-22.86Z"></path></svg>

web/src/env.ts

@@ -0,0 +1,9 @@
+export const SENTRY_DSN = import.meta.env.VITE_SENTRY_DSN;
+export const ENVIRONMENT = import.meta.env.VITE_ENVIRONMENT ?? "production";
+
+// TODO: Figure out if we want to propagate the spans from the frontend
+export const OTLP_TRACE_PROPAGATION = !!(
+    import.meta.env.VITE_OTLP_TRACE_PROPAGATION ?? "false"
+);
+export const OTLP_ENDPOINT =
+    import.meta.env.VITE_OTLP_ENDPOINT ?? "http://localhost:4318/v1/traces";

web/src/hooks/useCreateNote.ts

@@ -0,0 +1,33 @@
+import {useMutation, useQueryClient} from "@tanstack/react-query";
+import {Effect, Either} from "effect";
+import {runtime} from "../api";
+import {createNote, Note, NoteCreation} from "../api/notes.ts";
+
+type T = Effect.Effect.Success<ReturnType<typeof createNote>>;
+
+export const useCreateNote = () => {
+    const qc = useQueryClient();
+
+    return useMutation<
+        Either.Either.Right<T>,
+        Either.Either.Left<T>,
+        NoteCreation
+    >({
+        mutationKey: ["note"],
+        mutationFn: async (m) => {
+            const v = await createNote(m).pipe(runtime.runPromise);
+            if (Either.isLeft(v)) throw v.left;
+
+            return v.right;
+        },
+        onSuccess: (data) => {
+            const notes = qc.getQueryData(["notes", "@me"]) as Note[] | undefined;
+            if (notes) {
+                qc.setQueryData(["notes", "@me"], {
+                    ...notes,
+                    data: [...notes, data],
+                });
+            }
+        },
+    });
+};

web/src/hooks/useCreateUser.ts

@@ -0,0 +1,27 @@
+import {useMutation, useQueryClient} from "@tanstack/react-query";
+import {Effect, Either} from "effect";
+import {createUser, UserCreation} from "../api/auth.ts";
+import {runtime} from "../api";
+
+type T = Effect.Effect.Success<ReturnType<typeof createUser>>;
+
+export const useCreateUser = () => {
+    const qc = useQueryClient();
+
+    return useMutation<
+        Either.Either.Right<T>,
+        Either.Either.Left<T>,
+        UserCreation
+    >({
+        mutationKey: ["user", "@me"],
+        mutationFn: async (m) => {
+            const v = await createUser(m).pipe(runtime.runPromise);
+            if (Either.isLeft(v)) throw v.left;
+
+            return v.right;
+        },
+        onSuccess: (data) => {
+            qc.setQueryData(["user", "@me"], data);
+        },
+    });
+};

web/src/index.css

@@ -0,0 +1,3 @@
+@tailwind base;
+@tailwind components;
+@tailwind utilities;

web/src/instrument.ts

@@ -0,0 +1,28 @@
+import * as Sentry from "@sentry/react";
+import {ENVIRONMENT, SENTRY_DSN} from "./env.ts";
+import {router} from "./routing.ts";
+
+const sampleRate =
+    ENVIRONMENT === "development" ? 1 : ENVIRONMENT === "staging" ? 0.5 : 0.2;
+
+Sentry.init({
+    dsn: SENTRY_DSN,
+    environment: ENVIRONMENT,
+    sampleRate,
+    tracesSampleRate: 1.0,
+    // TODO: Add more targets
+    tracePropagationTargets: [/^\//, /^http(s)?:\/\/localhost\//],
+    profilesSampleRate: 1.0,
+    integrations: [Sentry.tanstackRouterBrowserTracingIntegration(router)],
+});
+
+if (SENTRY_DSN) {
+    console.log(
+        "Sentry initialized with DSN",
+        SENTRY_DSN,
+        "and environment",
+        ENVIRONMENT,
+    );
+} else {
+    console.warn("Sentry not initialized because no DSN is set");
+}

web/src/main.tsx

@@ -0,0 +1,23 @@
+import "./instrument";
+
+import React from "react";
+import * as Sentry from "@sentry/react";
+import ReactDOM from "react-dom/client";
+import {ReactQueryDevtools} from "@tanstack/react-query-devtools";
+import "./index.css";
+import {RouterProvider} from "@tanstack/react-router";
+import {QueryClient, QueryClientProvider} from "@tanstack/react-query";
+import {router} from "./routing.ts";
+
+const queryClient = new QueryClient();
+
+const App = Sentry.withProfiler(() => (
+    <React.StrictMode>
+        <QueryClientProvider client={queryClient}>
+            <RouterProvider router={router}/>
+            <ReactQueryDevtools/>
+        </QueryClientProvider>
+    </React.StrictMode>
+));
+
+ReactDOM.createRoot(document.getElementById("root")!).render(<App/>);

web/src/routeTree.gen.ts

@@ -0,0 +1,100 @@
+/* prettier-ignore-start */
+
+/* eslint-disable */
+
+// @ts-nocheck
+
+// noinspection JSUnusedGlobalSymbols
+
+// This file is auto-generated by TanStack Router
+
+import { createFileRoute } from '@tanstack/react-router'
+
+// Import Routes
+
+import { Route as rootRoute } from './routes/__root'
+
+// Create Virtual Routes
+
+const RegisterLazyImport = createFileRoute('/register')()
+const PostLazyImport = createFileRoute('/post')()
+const IndexLazyImport = createFileRoute('/')()
+
+// Create/Update Routes
+
+const RegisterLazyRoute = RegisterLazyImport.update({
+  path: '/register',
+  getParentRoute: () => rootRoute,
+} as any).lazy(() => import('./routes/register.lazy').then((d) => d.Route))
+
+const PostLazyRoute = PostLazyImport.update({
+  path: '/post',
+  getParentRoute: () => rootRoute,
+} as any).lazy(() => import('./routes/post.lazy').then((d) => d.Route))
+
+const IndexLazyRoute = IndexLazyImport.update({
+  path: '/',
+  getParentRoute: () => rootRoute,
+} as any).lazy(() => import('./routes/index.lazy').then((d) => d.Route))
+
+// Populate the FileRoutesByPath interface
+
+declare module '@tanstack/react-router' {
+  interface FileRoutesByPath {
+    '/': {
+      id: '/'
+      path: '/'
+      fullPath: '/'
+      preLoaderRoute: typeof IndexLazyImport
+      parentRoute: typeof rootRoute
+    }
+    '/post': {
+      id: '/post'
+      path: '/post'
+      fullPath: '/post'
+      preLoaderRoute: typeof PostLazyImport
+      parentRoute: typeof rootRoute
+    }
+    '/register': {
+      id: '/register'
+      path: '/register'
+      fullPath: '/register'
+      preLoaderRoute: typeof RegisterLazyImport
+      parentRoute: typeof rootRoute
+    }
+  }
+}
+
+// Create and export the route tree
+
+export const routeTree = rootRoute.addChildren({
+  IndexLazyRoute,
+  PostLazyRoute,
+  RegisterLazyRoute,
+})
+
+/* prettier-ignore-end */
+
+/* ROUTE_MANIFEST_START
+{
+  "routes": {
+    "__root__": {
+      "filePath": "__root.tsx",
+      "children": [
+        "/",
+        "/post",
+        "/register"
+      ]
+    },
+    "/": {
+      "filePath": "index.lazy.tsx"
+    },
+    "/post": {
+      "filePath": "post.lazy.tsx"
+    },
+    "/register": {
+      "filePath": "register.lazy.tsx"
+    }
+  }
+}
+ROUTE_MANIFEST_END */

web/src/routes/__root.tsx

@@ -0,0 +1,31 @@
+import {createRootRoute, Link, Outlet} from "@tanstack/react-router";
+import {TanStackRouterDevtools} from "@tanstack/router-devtools";
+import {ReactNode} from "react";
+
+function Wrapper({children}: { children: ReactNode }) {
+    return (
+        <>
+            <div className="p-2 flex gap-2">
+                <Link to="/" className="[&.active]:font-bold">
+                    Home
+                </Link>
+            </div>
+            <hr/>
+            {children}
+            <TanStackRouterDevtools/>
+        </>
+    );
+}
+
+export const Route = createRootRoute({
+    component: () => (
+        <Wrapper>
+            <Outlet/>
+        </Wrapper>
+    ),
+    // errorComponent: (props) => (
+    //   <Wrapper>
+    //     <ErrorHandler {...props} />
+    //   </Wrapper>
+    // ),
+});

web/src/routes/index.lazy.tsx

@@ -0,0 +1,13 @@
+import {createLazyFileRoute} from "@tanstack/react-router";
+
+export const Route = createLazyFileRoute("/")({
+    component: Index,
+});
+
+function Index() {
+    return (
+        <div className="p-2">
+            <h3>Welcome Home!</h3>
+        </div>
+    );
+}

web/src/routes/post.lazy.tsx

@@ -0,0 +1,42 @@
+import {createLazyFileRoute} from "@tanstack/react-router";
+import {useCreateNote} from "../hooks/useCreateNote.ts";
+import {NoteCreation} from "../api/notes.ts";
+import {useState} from "react";
+
+export const Route = createLazyFileRoute("/post")({
+    component: Post,
+});
+
+function Post() {
+    const post = useCreateNote();
+    const [content, setContent] = useState("");
+
+    return (
+        <div className="p-2 flex flex-col gap-2">
+      <textarea
+          value={content}
+          onChange={(e) => setContent(e.target.value)}
+          className="w-full rounded-md border-2 border-gray-300 p-2"
+          placeholder="What's on your mind?"
+          rows={10}
+      />
+
+            <button
+                onClick={() =>
+                    post.mutate(
+                        new NoteCreation({
+                            content: content,
+                            visibility: "public",
+                            mentions: [
+                                "https://lysand.i.devminer.xyz/users/0190d697-c83a-7376-8d15-0f77fd09e180",
+                            ],
+                        }),
+                    )
+                }
+                disabled={post.status === "pending"}
+            >
+                Post
+            </button>
+        </div>
+    );
+}

web/src/routes/register.lazy.tsx

@@ -0,0 +1,22 @@
+import {createLazyFileRoute} from "@tanstack/react-router";
+import {useCreateUser} from "../hooks/useCreateUser.ts";
+import {UserCreation} from "../api/auth.ts";
+
+export const Route = createLazyFileRoute("/register")({
+    component: Register,
+});
+
+function Register() {
+    const register = useCreateUser();
+
+    return (
+        <div className="p-2">
+            <button
+                onClick={() => register.mutate(new UserCreation({username: "user"}))}
+                disabled={register.status === "pending"}
+            >
+                Register
+            </button>
+        </div>
+    );
+}

web/src/routing.ts

@@ -0,0 +1,10 @@
+import {createRouter} from "@tanstack/react-router";
+import {routeTree} from "./routeTree.gen.ts";
+
+export const router = createRouter({routeTree});
+
+declare module "@tanstack/react-router" {
+    interface Register {
+        router: typeof router;
+    }
+}

web/src/vite-env.d.ts

@@ -0,0 +1 @@
+/// <reference types="vite/client" />