foldkit 0.1.0-canary.5

package/README.md

@@ -0,0 +1,96 @@
+# Foldkit
+
+> ⚠️ **Experimental**: This is a canary release for early adopters and experimenters. APIs may change rapidly.
+
+An Elm-inspired UI framework powered by Effect-TS, bringing functional programming patterns to the web.
+
+## Installation
+
+```bash
+npm install foldkit effect
+```
+
+## Quick Start
+
+```typescript
+import { Effect, Schema } from 'effect'
+import { Fold, Runtime } from 'foldkit'
+import { Class, Html, OnClick, button, div } from 'foldkit/html'
+import { ST, ts } from 'foldkit/schema'
+
+// MODEL
+
+const Model = Schema.Number
+type Model = ST<typeof Model>
+
+// MESSAGE
+
+const Decrement = ts('Decrement')
+const Increment = ts('Increment')
+const Reset = ts('Reset')
+
+const Message = Schema.Union(Decrement, Increment, Reset)
+
+type Decrement = ST<typeof Decrement>
+type Increment = ST<typeof Increment>
+type Reset = ST<typeof Reset>
+
+type Message = ST<typeof Message>
+
+// UPDATE
+
+const update = Fold.fold<Model, Message>({
+  Decrement: (count) => [count - 1, []],
+  Increment: (count) => [count + 1, []],
+  Reset: () => [0, []],
+})
+
+// INIT
+
+const init: Runtime.ElementInit<Model, Message> = () => [0, []]
+
+// VIEW
+
+const view = (count: Model): Html =>
+  div(
+    [Class('min-h-screen bg-white flex flex-col items-center justify-center gap-6 p-6')],
+    [
+      div([Class('text-6xl font-bold text-gray-800')], [count.toString()]),
+      div(
+        [Class('flex flex-wrap justify-center gap-4')],
+        [
+          button([OnClick(Decrement.make()), Class(buttonStyle)], ['-']),
+          button([OnClick(Reset.make()), Class(buttonStyle)], ['Reset']),
+          button([OnClick(Increment.make()), Class(buttonStyle)], ['+']),
+        ],
+      ),
+    ],
+  )
+
+// STYLE
+
+const buttonStyle = 'bg-black text-white hover:bg-gray-700 px-4 py-2 transition'
+
+// RUN
+
+const element = Runtime.makeElement({
+  Model,
+  init,
+  update,
+  view,
+  container: document.getElementById('root')!,
+})
+
+Effect.runFork(element)
+```
+
+## Core Concepts
+
+- **Model**: Your application state (Schema)
+- **Messages**: Tagged unions representing events
+- **Update**: Fold patterns that transform model and return effects
+- **View**: Functions that render model to virtual DOM
+
+---
+
+**📚 Full documentation and examples**: https://github.com/devinjameson/foldkit

package/dist/core/fieldValidation.d.ts

@@ -0,0 +1,62 @@
+import { Predicate, Schema as S } from 'effect';
+export declare const FieldSchema: <A, I = A, R = never>(valueSchema: S.Schema<A, I, R>) => S.Union<[S.TaggedStruct<"NotValidated", {
+    value: S.Schema<A, I, R>;
+}>, S.TaggedStruct<"Validating", {
+    value: S.Schema<A, I, R>;
+}>, S.TaggedStruct<"Valid", {
+    value: S.Schema<A, I, R>;
+}>, S.TaggedStruct<"Invalid", {
+    value: S.Schema<A, I, R>;
+    error: typeof S.String;
+}>]>;
+export declare const Field: {
+    NotValidated: <T>(args: {
+        value: T;
+    }) => Field<T>;
+    Validating: <T>(args: {
+        value: T;
+    }) => Field<T>;
+    Valid: <T>(args: {
+        value: T;
+    }) => Field<T>;
+    Invalid: <T>(args: {
+        value: T;
+        error: string;
+    }) => Field<T>;
+    $is: (tag: "NotValidated" | "Validating" | "Valid" | "Invalid") => <T>(field: Field<T>) => boolean;
+    $match: <T, R>(field: Field<T>, matchers: {
+        NotValidated: (args: {
+            value: T;
+        }) => R;
+        Validating: (args: {
+            value: T;
+        }) => R;
+        Valid: (args: {
+            value: T;
+        }) => R;
+        Invalid: (args: {
+            value: T;
+            error: string;
+        }) => R;
+    }) => R;
+};
+export type Field<T> = {
+    readonly _tag: 'NotValidated';
+    readonly value: T;
+} | {
+    readonly _tag: 'Validating';
+    readonly value: T;
+} | {
+    readonly _tag: 'Valid';
+    readonly value: T;
+} | {
+    readonly _tag: 'Invalid';
+    readonly value: T;
+    readonly error: string;
+};
+export type FieldValidation<T> = [Predicate.Predicate<T>, string];
+export declare const required: (fieldName: string) => FieldValidation<string>;
+export declare const minLength: (min: number, message: (min: number) => string) => FieldValidation<string>;
+export declare const regex: (regex: RegExp, message: string) => FieldValidation<string>;
+export declare const validateField: <T>(fieldValidations: FieldValidation<T>[]) => (value: T) => Field<T>;
+//# sourceMappingURL=fieldValidation.d.ts.map

package/dist/core/fieldValidation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fieldValidation.d.ts","sourceRoot":"","sources":["../../src/core/fieldValidation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkB,SAAS,EAAE,MAAM,IAAI,CAAC,EAAgB,MAAM,QAAQ,CAAA;AAE7E,eAAO,MAAM,WAAW,GAAI,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;;;;;;;;;IAO9E,CAAA;AAED,eAAO,MAAM,KAAK;mBACD,CAAC,QAAQ;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,KAAG,KAAK,CAAC,CAAC,CAAC;iBAClC,CAAC,QAAQ;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,KAAG,KAAK,CAAC,CAAC,CAAC;YACrC,CAAC,QAAQ;QAAE,KAAK,EAAE,CAAC,CAAA;KAAE,KAAG,KAAK,CAAC,CAAC,CAAC;cAC9B,CAAC,QAAQ;QAAE,KAAK,EAAE,CAAC,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,KAAG,KAAK,CAAC,CAAC,CAAC;eAKjD,cAAc,GAAG,YAAY,GAAG,OAAO,GAAG,SAAS,MACxD,CAAC,EAAE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAG,OAAO;aAEtB,CAAC,EAAE,CAAC,SACJ,KAAK,CAAC,CAAC,CAAC,YACL;QACR,YAAY,EAAE,CAAC,IAAI,EAAE;YAAE,KAAK,EAAE,CAAC,CAAA;SAAE,KAAK,CAAC,CAAA;QACvC,UAAU,EAAE,CAAC,IAAI,EAAE;YAAE,KAAK,EAAE,CAAC,CAAA;SAAE,KAAK,CAAC,CAAA;QACrC,KAAK,EAAE,CAAC,IAAI,EAAE;YAAE,KAAK,EAAE,CAAC,CAAA;SAAE,KAAK,CAAC,CAAA;QAChC,OAAO,EAAE,CAAC,IAAI,EAAE;YAAE,KAAK,EAAE,CAAC,CAAC;YAAC,KAAK,EAAE,MAAM,CAAA;SAAE,KAAK,CAAC,CAAA;KAClD,KACA,CAAC;CAaL,CAAA;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,IACf;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAC7C;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3E,MAAM,MAAM,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAEjE,eAAO,MAAM,QAAQ,GAAI,WAAW,MAAM,KAAG,eAAe,CAAC,MAAM,CAGlE,CAAA;AAED,eAAO,MAAM,SAAS,GACpB,KAAK,MAAM,EACX,SAAS,CAAC,GAAG,EAAE,MAAM,KAAK,MAAM,KAC/B,eAAe,CAAC,MAAM,CAA0E,CAAA;AAEnG,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM,EAAE,SAAS,MAAM,KAAG,eAAe,CAAC,MAAM,CAG5E,CAAA;AAED,eAAO,MAAM,aAAa,GACvB,CAAC,EAAE,kBAAkB,eAAe,CAAC,CAAC,CAAC,EAAE,MACzC,OAAO,CAAC,KAAG,KAAK,CAAC,CAAC,CAelB,CAAA"}

package/dist/core/fieldValidation.js

@@ -0,0 +1,51 @@
+import { Number, Option, Schema as S, String, flow } from 'effect';
+export const FieldSchema = (valueSchema) => {
+    return S.Union(S.TaggedStruct('NotValidated', { value: valueSchema }), S.TaggedStruct('Validating', { value: valueSchema }), S.TaggedStruct('Valid', { value: valueSchema }), S.TaggedStruct('Invalid', { value: valueSchema, error: S.String }));
+};
+export const Field = {
+    NotValidated: (args) => ({ _tag: 'NotValidated', ...args }),
+    Validating: (args) => ({ _tag: 'Validating', ...args }),
+    Valid: (args) => ({ _tag: 'Valid', ...args }),
+    Invalid: (args) => ({
+        _tag: 'Invalid',
+        ...args,
+    }),
+    $is: (tag) => (field) => field._tag === tag,
+    $match: (field, matchers) => {
+        // TODO: Use Match here (ran into Unify<R> vs. R issues)
+        switch (field._tag) {
+            case 'NotValidated':
+                return matchers.NotValidated({ value: field.value });
+            case 'Validating':
+                return matchers.Validating({ value: field.value });
+            case 'Valid':
+                return matchers.Valid({ value: field.value });
+            case 'Invalid':
+                return matchers.Invalid({ value: field.value, error: field.error });
+        }
+    },
+};
+export const required = (fieldName) => [
+    String.isNonEmpty,
+    `${fieldName} is required`,
+];
+export const minLength = (min, message) => [flow(String.length, Number.greaterThanOrEqualTo(min)), message(min)];
+export const regex = (regex, message) => [
+    flow(String.match(regex), Option.isSome),
+    message,
+];
+export const validateField = (fieldValidations) => (value) => {
+    for (const [predicate, message] of fieldValidations) {
+        if (!predicate(value)) {
+            return {
+                _tag: 'Invalid',
+                value,
+                error: message,
+            };
+        }
+    }
+    return {
+        _tag: 'Valid',
+        value,
+    };
+};

package/dist/core/fold.d.ts

@@ -0,0 +1,12 @@
+import { ExtractTag, Tags } from 'effect/Types';
+import { Command } from './runtime';
+type Update<Model, Message> = [Model, Command<Message>[]];
+export type Init<Model, Message> = () => Update<Model, Message>;
+export type FoldReturn<Model, Message> = (model: Model, message: Message) => [Model, Command<Message>[]];
+export declare function fold<Model, Message extends {
+    readonly _tag: string;
+}>(handlers: {
+    [K in Tags<Message>]: (model: Model, message: ExtractTag<Message, K>) => [Model, Command<Message>[]];
+}): FoldReturn<Model, Message>;
+export {};
+//# sourceMappingURL=fold.d.ts.map

package/dist/core/fold.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.d.ts","sourceRoot":"","sources":["../../src/core/fold.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAEnC,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AACzD,MAAM,MAAM,IAAI,CAAC,KAAK,EAAE,OAAO,IAAI,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;AAE/D,MAAM,MAAM,UAAU,CAAC,KAAK,EAAE,OAAO,IAAI,CACvC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,OAAO,KACb,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;AAEhC,wBAAgB,IAAI,CAAC,KAAK,EAAE,OAAO,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAAE,QAAQ,EAAE;KAC9E,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CACpB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,KAC5B,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;CACjC,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAW7B"}

package/dist/core/fold.js

@@ -0,0 +1,9 @@
+export function fold(handlers) {
+    return (model, message) => {
+        /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+        const tag = message._tag;
+        return handlers[tag](model, 
+        /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+        message);
+    };
+}

package/dist/core/html.d.ts

@@ -0,0 +1,176 @@
+import { Data, Effect } from 'effect';
+import { Dispatch } from './runtime';
+import { VNode } from './vdom';
+export type Html = Effect.Effect<VNode | null, never, Dispatch>;
+export type Child = Html | string;
+export type Attribute<Message> = Data.TaggedEnum<{
+    Class: {
+        readonly value: string;
+    };
+    Id: {
+        readonly value: string;
+    };
+    OnClick: {
+        readonly message: Message;
+    };
+    OnChange: {
+        readonly f: (value: string) => Message;
+    };
+    OnSubmit: {
+        readonly message: Message;
+    };
+    Value: {
+        readonly value: string;
+    };
+    Placeholder: {
+        readonly value: string;
+    };
+    Disabled: {
+        readonly value: boolean;
+    };
+    Type: {
+        readonly value: string;
+    };
+    Min: {
+        readonly value: string;
+    };
+    For: {
+        readonly value: string;
+    };
+    Href: {
+        readonly value: string;
+    };
+}>;
+export declare const Class_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Class";
+    readonly value: string;
+}, Id_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Id";
+    readonly value: string;
+}, OnClick_: <A>(args: {
+    readonly message: A;
+}) => {
+    readonly _tag: "OnClick";
+    readonly message: A;
+}, OnChange_: <A>(args: {
+    readonly f: (value: string) => A;
+}) => {
+    readonly _tag: "OnChange";
+    readonly f: (value: string) => A;
+}, OnSubmit_: <A>(args: {
+    readonly message: A;
+}) => {
+    readonly _tag: "OnSubmit";
+    readonly message: A;
+}, Value_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Value";
+    readonly value: string;
+}, Placeholder_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Placeholder";
+    readonly value: string;
+}, Disabled_: <A>(args: {
+    readonly value: boolean;
+}) => {
+    readonly _tag: "Disabled";
+    readonly value: boolean;
+}, Type_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Type";
+    readonly value: string;
+}, Min_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Min";
+    readonly value: string;
+}, For_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "For";
+    readonly value: string;
+}, Href_: <A>(args: {
+    readonly value: string;
+}) => {
+    readonly _tag: "Href";
+    readonly value: string;
+};
+export declare const Class: (value: string) => {
+    readonly _tag: "Class";
+    readonly value: string;
+};
+export declare const OnClick: <Message>(message: Message) => {
+    readonly _tag: "OnClick";
+    readonly message: Message;
+};
+export declare const Id: (value: string) => {
+    readonly _tag: "Id";
+    readonly value: string;
+};
+export declare const OnChange: <Message>(f: (value: string) => Message) => {
+    readonly _tag: "OnChange";
+    readonly f: (value: string) => Message;
+};
+export declare const OnSubmit: <Message>(message: Message) => {
+    readonly _tag: "OnSubmit";
+    readonly message: Message;
+};
+export declare const Value: (value: string) => {
+    readonly _tag: "Value";
+    readonly value: string;
+};
+export declare const Placeholder: (value: string) => {
+    readonly _tag: "Placeholder";
+    readonly value: string;
+};
+export declare const Type: (value: string) => {
+    readonly _tag: "Type";
+    readonly value: string;
+};
+export declare const Min: (value: string) => {
+    readonly _tag: "Min";
+    readonly value: string;
+};
+export declare const For: (value: string) => {
+    readonly _tag: "For";
+    readonly value: string;
+};
+export declare const Href: (value: string) => {
+    readonly _tag: "Href";
+    readonly value: string;
+};
+export declare const Disabled: (value: boolean) => {
+    readonly _tag: "Disabled";
+    readonly value: boolean;
+};
+export declare const createElement: <Message>(tagName: string, attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const div: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const span: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const button: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h1: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h2: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h3: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h4: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h5: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const h6: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const p: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const ul: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const ol: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const li: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const a: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const form: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const label: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const textarea: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const select: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const option: <Message>(attributes?: ReadonlyArray<Attribute<Message>>, children?: ReadonlyArray<Child>) => Html;
+export declare const input: <Message>(attributes?: ReadonlyArray<Attribute<Message>>) => Html;
+export declare const img: <Message>(attributes?: ReadonlyArray<Attribute<Message>>) => Html;
+export declare const empty: Html;
+//# sourceMappingURL=html.d.ts.map

package/dist/core/html.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"html.d.ts","sourceRoot":"","sources":["../../src/core/html.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,IAAI,EAAE,MAAM,EAA6C,MAAM,QAAQ,CAAA;AAIvF,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAE9B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAA;AAC/D,MAAM,MAAM,KAAK,GAAG,IAAI,GAAG,MAAM,CAAA;AAEjC,MAAM,MAAM,SAAS,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC;IAC/C,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IACjC,EAAE,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9B,OAAO,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IACtC,QAAQ,EAAE;QAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAA;KAAE,CAAA;IACpD,QAAQ,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAA;IACvC,KAAK,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IACjC,WAAW,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IACvC,QAAQ,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAA;IACrC,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IAChC,GAAG,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IAC/B,GAAG,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IAC/B,IAAI,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CACjC,CAAC,CAAA;AAMF,eAAO,MACE,MAAM;oBAnBY,MAAM;;;oBAAN,MAAM;GAoB3B,GAAG;oBAnBe,MAAM;;;oBAAN,MAAM;GAoBnB,QAAQ;;;;;GACP,SAAS;wBAnBa,MAAM;;;wBAAN,MAAM;GAoB5B,SAAS;;;;;GACZ,MAAM;oBAnBY,MAAM;;;oBAAN,MAAM;GAoBlB,YAAY;oBAnBM,MAAM;;;oBAAN,MAAM;GAoB3B,SAAS;oBAnBS,OAAO;;;oBAAP,OAAO;GAoB7B,KAAK;oBAnBa,MAAM;;;oBAAN,MAAM;GAoBzB,IAAI;oBAnBc,MAAM;;;oBAAN,MAAM;GAoBxB,IAAI;oBAnBc,MAAM;;;oBAAN,MAAM;GAoBvB,KAAK;oBAnBa,MAAM;;;oBAAN,MAAM;CAoBU,CAAA;AAE1C,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM;;oBAjCR,MAAM;CAiCwB,CAAA;AACzD,eAAO,MAAM,OAAO,GAAI,OAAO,EAAE,SAAS,OAAO;;;CAA0B,CAAA;AAC3E,eAAO,MAAM,EAAE,GAAI,OAAO,MAAM;;oBAlCR,MAAM;CAkCqB,CAAA;AACnD,eAAO,MAAM,QAAQ,GAAI,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO;;wBAjC7B,MAAM;CAiC4C,CAAA;AACpF,eAAO,MAAM,QAAQ,GAAI,OAAO,EAAE,SAAS,OAAO;;;CAA2B,CAAA;AAC7E,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM;;oBAjCR,MAAM;CAiCwB,CAAA;AACzD,eAAO,MAAM,WAAW,GAAI,OAAO,MAAM;;oBAjCR,MAAM;CAiC8B,CAAA;AACrE,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM;;oBAhCR,MAAM;CAgCuB,CAAA;AACvD,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM;;oBAhCR,MAAM;CAgCsB,CAAA;AACrD,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM;;oBAhCR,MAAM;CAgCsB,CAAA;AACrD,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM;;oBAhCR,MAAM;CAgCuB,CAAA;AACvD,eAAO,MAAM,QAAQ,GAAI,OAAO,OAAO;;oBArCT,OAAO;CAqC2B,CAAA;AA6GhE,eAAO,MAAM,aAAa,GAAI,OAAO,EACnC,SAAS,MAAM,EACf,aAAY,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAM,EAClD,WAAU,aAAa,CAAC,KAAK,CAAM,KAClC,IAMC,CAAA;AAeJ,eAAO,MAAM,GAAG,GAXb,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAQ4B,CAAA;AACjC,eAAO,MAAM,IAAI,GAZd,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAS8B,CAAA;AACnC,eAAO,MAAM,MAAM,GAbhB,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAUkC,CAAA;AACvC,eAAO,MAAM,EAAE,GAdZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAW0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAfZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAY0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAhBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAa0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAjBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAc0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAlBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAe0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAnBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAgB0B,CAAA;AAC/B,eAAO,MAAM,CAAC,GApBX,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAiBwB,CAAA;AAC7B,eAAO,MAAM,EAAE,GArBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAkB0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAtBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAmB0B,CAAA;AAC/B,eAAO,MAAM,EAAE,GAvBZ,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAoB0B,CAAA;AAC/B,eAAO,MAAM,CAAC,GAxBX,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAqBwB,CAAA;AAC7B,eAAO,MAAM,IAAI,GAzBd,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAsB8B,CAAA;AACnC,eAAO,MAAM,KAAK,GA1Bf,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAuBgC,CAAA;AACrC,eAAO,MAAM,QAAQ,GA3BlB,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAwBsC,CAAA;AAC3C,eAAO,MAAM,MAAM,GA5BhB,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IAyBkC,CAAA;AACvC,eAAO,MAAM,MAAM,GA7BhB,OAAO,eACM,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,aACnC,aAAa,CAAC,KAAK,CAAC,KAC7B,IA0BkC,CAAA;AAEvC,eAAO,MAAM,KAAK,GAvBf,OAAO,eAAc,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAQ,IAuBxB,CAAA;AACzC,eAAO,MAAM,GAAG,GAxBb,OAAO,eAAc,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,KAAQ,IAwB5B,CAAA;AAErC,eAAO,MAAM,KAAK,EAAE,IAA2B,CAAA"}

package/dist/core/html.js

@@ -0,0 +1,117 @@
+import { Array, Data, Effect, Match, Predicate, Ref, String, flow, pipe } from 'effect';
+import { h } from 'snabbdom';
+import { Dispatch } from './runtime';
+export const { Class: Class_, Id: Id_, OnClick: OnClick_, OnChange: OnChange_, OnSubmit: OnSubmit_, Value: Value_, Placeholder: Placeholder_, Disabled: Disabled_, Type: Type_, Min: Min_, For: For_, Href: Href_, } = Data.taggedEnum();
+export const Class = (value) => Class_({ value });
+export const OnClick = (message) => OnClick_({ message });
+export const Id = (value) => Id_({ value });
+export const OnChange = (f) => OnChange_({ f });
+export const OnSubmit = (message) => OnSubmit_({ message });
+export const Value = (value) => Value_({ value });
+export const Placeholder = (value) => Placeholder_({ value });
+export const Type = (value) => Type_({ value });
+export const Min = (value) => Min_({ value });
+export const For = (value) => For_({ value });
+export const Href = (value) => Href_({ value });
+export const Disabled = (value) => Disabled_({ value });
+const buildVNodeData = (attributes) => Effect.gen(function* () {
+    const { dispatch } = yield* Dispatch;
+    const dataRef = yield* Ref.make({});
+    yield* Effect.forEach(attributes, (attr) => Match.value(attr).pipe(Match.tagsExhaustive({
+        Class: ({ value }) => Effect.gen(function* () {
+            const classObject = pipe(value, String.split(' '), Array.filter(flow(String.trim, String.isNonEmpty)), Array.reduce({}, (acc, className) => ({ ...acc, [className]: true })));
+            yield* Ref.update(dataRef, (data) => ({ ...data, class: classObject }));
+        }),
+        Id: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, id: value },
+        })),
+        OnClick: ({ message }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            on: {
+                ...data.on,
+                click: () => Effect.runSync(dispatch(message)),
+            },
+        })),
+        OnChange: ({ f }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            on: {
+                ...data.on,
+                input: (event) => {
+                    /* eslint-disable-next-line @typescript-eslint/consistent-type-assertions */
+                    const target = event.target;
+                    Effect.runSync(dispatch(f(target.value)));
+                },
+            },
+        })),
+        OnSubmit: ({ message }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            on: {
+                ...data.on,
+                submit: (event) => {
+                    event.preventDefault();
+                    Effect.runSync(dispatch(message));
+                },
+            },
+        })),
+        Value: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, value },
+        })),
+        Placeholder: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, placeholder: value },
+        })),
+        Disabled: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, disabled: value },
+        })),
+        Type: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, type: value },
+        })),
+        Min: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, min: value },
+        })),
+        For: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, for: value },
+        })),
+        Href: ({ value }) => Ref.update(dataRef, (data) => ({
+            ...data,
+            props: { ...data.props, href: value },
+        })),
+    })));
+    return yield* Ref.get(dataRef);
+});
+const processVNodeChildren = (children) => Effect.forEach(children, (child) => Predicate.isString(child) ? Effect.succeed(child) : child).pipe(Effect.map(Array.filter(Predicate.isNotNull)));
+export const createElement = (tagName, attributes = [], children = []) => Effect.gen(function* () {
+    const vnodeData = yield* buildVNodeData(attributes);
+    const vnodeChildren = yield* processVNodeChildren(children);
+    return h(tagName, vnodeData, vnodeChildren);
+});
+const element = (tagName) => (attributes = [], children = []) => createElement(tagName, attributes, children);
+const voidElement = (tagName) => (attributes = []) => createElement(tagName, attributes, []);
+export const div = element('div');
+export const span = element('span');
+export const button = element('button');
+export const h1 = element('h1');
+export const h2 = element('h2');
+export const h3 = element('h3');
+export const h4 = element('h4');
+export const h5 = element('h5');
+export const h6 = element('h6');
+export const p = element('p');
+export const ul = element('ul');
+export const ol = element('ol');
+export const li = element('li');
+export const a = element('a');
+export const form = element('form');
+export const label = element('label');
+export const textarea = element('textarea');
+export const select = element('select');
+export const option = element('option');
+export const input = voidElement('input');
+export const img = voidElement('img');
+export const empty = Effect.succeed(null);

package/dist/core/navigation.d.ts

@@ -0,0 +1,7 @@
+import { Effect } from 'effect';
+export declare const pushUrl: (url: string) => Effect.Effect<void>;
+export declare const replaceUrl: (url: string) => Effect.Effect<void>;
+export declare const back: () => Effect.Effect<void>;
+export declare const forward: () => Effect.Effect<void>;
+export declare const load: (href: string) => Effect.Effect<void>;
+//# sourceMappingURL=navigation.d.ts.map

package/dist/core/navigation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"navigation.d.ts","sourceRoot":"","sources":["../../src/core/navigation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,eAAO,MAAM,OAAO,GAAI,KAAK,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAIpD,CAAA;AAEJ,eAAO,MAAM,UAAU,GAAI,KAAK,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAIvD,CAAA;AAEJ,eAAO,MAAM,IAAI,QAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAA6C,CAAA;AAEvF,eAAO,MAAM,OAAO,QAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAgD,CAAA;AAE7F,eAAO,MAAM,IAAI,GAAI,MAAM,MAAM,KAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CACL,CAAA"}

package/dist/core/navigation.js

@@ -0,0 +1,12 @@
+import { Effect } from 'effect';
+export const pushUrl = (url) => Effect.sync(() => {
+    window.history.pushState({}, '', url);
+    window.dispatchEvent(new CustomEvent('foldkit:urlchange'));
+});
+export const replaceUrl = (url) => Effect.sync(() => {
+    window.history.replaceState({}, '', url);
+    window.dispatchEvent(new CustomEvent('foldkit:urlchange'));
+});
+export const back = () => Effect.sync(() => window.history.back());
+export const forward = () => Effect.sync(() => window.history.forward());
+export const load = (href) => Effect.sync(() => window.location.assign(href));