@foldkit/markdown 0.0.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Devin Jameson
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,127 @@
+# @foldkit/markdown
+
+Markdown compiled at build time into typed Foldkit views, with live component islands.
+
+A Vite plugin parses each imported `.md` file with remark, validates it against an Effect Schema vocabulary, and emits a typed document module. The browser receives data, never a parser. A pure fold renders the document as Foldkit `Html`, so markdown content participates in the vdom, DevTools, and time travel like any other view.
+
+## Install
+
+```bash
+pnpm add @foldkit/markdown
+```
+
+## Setup
+
+Add the plugin to `vite.config.ts`:
+
+```typescript
+import { markdown } from '@foldkit/markdown/vite'
+
+export default defineConfig({
+  plugins: [tailwindcss(), foldkit(), markdown()],
+})
+```
+
+Type `.md` imports by adding the ambient declaration to your `tsconfig.json`:
+
+```json
+{
+  "compilerOptions": {
+    "types": ["@foldkit/markdown/content"]
+  }
+}
+```
+
+If you run tests with Vitest, add `markdown()` with the same options to the `plugins` in `vitest.config.ts` as well, so test runs compile and validate `.md` imports exactly the way the app build does.
+
+## Render a document
+
+```typescript
+import * as Markdown from '@foldkit/markdown'
+
+import aboutRaw from './content/about.md'
+
+const about = Markdown.decodeDocument(aboutRaw)
+
+const view = (model: Model): Html => h.div([], [Markdown.view(about)])
+```
+
+`Markdown.view` renders every node through unstyled semantic defaults. Restyle any node by overriding its view:
+
+```typescript
+Markdown.view(about, {
+  views: {
+    Paragraph: (paragraph, content) =>
+      h.p([h.Class('leading-relaxed text-stone-700')], content),
+    Link: ({ url }, content) =>
+      h.a([h.Href(url), h.Class('underline underline-offset-2')], content),
+  },
+})
+```
+
+`Markdown.viewBlocks` returns one `Html` per top-level block instead, for when the blocks should land directly inside your own container element.
+
+## Islands
+
+Directives reserve space in the prose for live application views. A leaf directive stands alone; a container directive wraps nested markdown:
+
+```markdown
+The count lives in the Model like everything else on this page.
+
+::Counter{label="Clicks while reading"}
+
+:::Note{tone="calm"}
+Islands can wrap _markdown_ too.
+:::
+```
+
+Declare each island's attributes as a Schema struct, once, in a module both your Vite config and your views import:
+
+```typescript
+export const islandAttributes = {
+  Counter: S.Struct({ label: S.optionalKey(S.String) }),
+  Note: S.Struct({ tone: S.optionalKey(S.String) }),
+}
+```
+
+Pass the definitions to the plugin and every directive validates at build time. An unknown island name, an unknown attribute, or an attribute value outside its schema fails the build with the file and line:
+
+```typescript
+markdown({ islands: islandAttributes })
+```
+
+`islandsFor` pairs the same definitions with typed views: attributes arrive decoded through each island's schema, and the record must cover every declared name. State stays in your Model; the markdown only decides placement. The third argument is the zero-based occurrence of that island name in the document, for identifiers that must be unique per instance, like an `h.submodel` slotId:
+
+```typescript
+Markdown.view(post, {
+  islands: Markdown.islandsFor(islandAttributes, {
+    Counter: ({ label }, _content, occurrenceIndex) =>
+      h.submodel({
+        slotId: `counter-${occurrenceIndex}`,
+        model: model.counter,
+        view: Counter.view,
+        toParentMessage: message => GotCounterMessage({ message }),
+      }),
+    Note: (_attributes, content) =>
+      h.aside([h.Class('rounded border p-4')], content),
+  }),
+})
+```
+
+Attribute values are strings on the wire, so transforming field schemas decode past them: `S.NumberFromString` turns `::Chart{height="240"}` into `height: number`. A plain `islands` record of untyped views (`Readonly<Record<string, IslandView>>`) also works when you want to skip the schemas.
+
+## Vocabulary
+
+The schema accepts CommonMark plus GFM tables and strikethrough: headings, paragraphs, emphasis, strong, strikethrough, inline code, links, images, hard breaks, nested lists, code blocks, blockquotes, thematic breaks, and tables. Directives (`::Name`, `:::Name`) become Island nodes.
+
+Anything outside the vocabulary fails the build with an error naming the construct and its line. Raw HTML is rejected by design; islands are the escape hatch. Reference-style links, footnotes, task lists, YAML frontmatter, and directive labels (`::Name[label]`) are not supported; keep document metadata in application code. Link and image URLs must be relative or use the `http:`, `https:`, `mailto:`, or `tel:` schemes; executable schemes like `javascript:` fail the build.
+
+## One-off compilation
+
+`parseMarkdown` runs the same parse-and-validate pipeline outside Vite, for scripts and tests:
+
+```typescript
+import { parseMarkdown } from '@foldkit/markdown/vite'
+
+const document = parseMarkdown('# Title', { islands: islandAttributes })
+```

package/content.d.ts

@@ -0,0 +1,4 @@
+declare module '*.md' {
+  const document: unknown
+  export default document
+}

package/dist/ast/ast.d.ts

@@ -0,0 +1,322 @@
+import { Option, Schema as S } from 'effect';
+import type { Array } from 'effect';
+/** Plain text. */
+export type Text = Readonly<{
+    _tag: 'Text';
+    value: string;
+}>;
+/** Inline code span. */
+export type InlineCode = Readonly<{
+    _tag: 'InlineCode';
+    value: string;
+}>;
+/** Hard line break. */
+export type HardBreak = Readonly<{
+    _tag: 'HardBreak';
+}>;
+/** Emphasized content, usually rendered as `em`. */
+export type Emphasis = Readonly<{
+    _tag: 'Emphasis';
+    content: ReadonlyArray<Inline>;
+}>;
+/** Strongly emphasized content, usually rendered as `strong`. */
+export type Strong = Readonly<{
+    _tag: 'Strong';
+    content: ReadonlyArray<Inline>;
+}>;
+/** Struck-through content, usually rendered as `del`. */
+export type Strikethrough = Readonly<{
+    _tag: 'Strikethrough';
+    content: ReadonlyArray<Inline>;
+}>;
+/** Hyperlink with inline content. */
+export type Link = Readonly<{
+    _tag: 'Link';
+    url: string;
+    maybeTitle: Option.Option<string>;
+    content: ReadonlyArray<Inline>;
+}>;
+/** Image with alt text. */
+export type Image = Readonly<{
+    _tag: 'Image';
+    url: string;
+    alt: string;
+    maybeTitle: Option.Option<string>;
+}>;
+/** Any inline node. */
+export type Inline = Text | InlineCode | HardBreak | Emphasis | Strong | Strikethrough | Link | Image;
+/** The wire form of {@link Inline}, as emitted into compiled markdown modules. */
+export type InlineEncoded = Readonly<{
+    _tag: 'Text';
+    value: string;
+}> | Readonly<{
+    _tag: 'InlineCode';
+    value: string;
+}> | Readonly<{
+    _tag: 'HardBreak';
+}> | Readonly<{
+    _tag: 'Emphasis';
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'Strong';
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'Strikethrough';
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'Link';
+    url: string;
+    maybeTitle: string | null | undefined;
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'Image';
+    url: string;
+    alt: string;
+    maybeTitle: string | null | undefined;
+}>;
+/** Schema for {@link Text}. */
+export declare const Text: import("foldkit/schema").CallableTaggedStruct<"Text", {
+    value: S.String;
+}>;
+/** Schema for {@link InlineCode}. */
+export declare const InlineCode: import("foldkit/schema").CallableTaggedStruct<"InlineCode", {
+    value: S.String;
+}>;
+/** Schema for {@link HardBreak}. */
+export declare const HardBreak: import("foldkit/schema").CallableTaggedStruct<"HardBreak", {}>;
+/** Schema for {@link Inline}. */
+export declare const Inline: S.Codec<Inline, InlineEncoded>;
+/** Schema for {@link Emphasis}. */
+export declare const Emphasis: import("foldkit/schema").CallableTaggedStruct<"Emphasis", {
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link Strong}. */
+export declare const Strong: import("foldkit/schema").CallableTaggedStruct<"Strong", {
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link Strikethrough}. */
+export declare const Strikethrough: import("foldkit/schema").CallableTaggedStruct<"Strikethrough", {
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link Link}. */
+export declare const Link: import("foldkit/schema").CallableTaggedStruct<"Link", {
+    url: S.String;
+    maybeTitle: S.OptionFromNullishOr<S.String>;
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link Image}. */
+export declare const Image: import("foldkit/schema").CallableTaggedStruct<"Image", {
+    url: S.String;
+    alt: S.String;
+    maybeTitle: S.OptionFromNullishOr<S.String>;
+}>;
+/** Heading depth, `1` through `6`. */
+export declare const HeadingLevel: S.Literals<readonly [1, 2, 3, 4, 5, 6]>;
+export type HeadingLevel = typeof HeadingLevel.Type;
+/** Column alignment of a table, from the delimiter row of the source. */
+export declare const Alignment: S.Literals<readonly ["None", "Left", "Center", "Right"]>;
+export type Alignment = typeof Alignment.Type;
+/** Section heading. */
+export type Heading = Readonly<{
+    _tag: 'Heading';
+    level: HeadingLevel;
+    content: ReadonlyArray<Inline>;
+}>;
+/** Paragraph of inline content. */
+export type Paragraph = Readonly<{
+    _tag: 'Paragraph';
+    content: ReadonlyArray<Inline>;
+}>;
+/** Fenced code block. `maybeMeta` carries everything after the language on the opening fence. */
+export type CodeBlock = Readonly<{
+    _tag: 'CodeBlock';
+    maybeLanguage: Option.Option<string>;
+    maybeMeta: Option.Option<string>;
+    value: string;
+}>;
+/** Single list item holding block content, so lists nest. */
+export type ListItem = Readonly<{
+    _tag: 'ListItem';
+    blocks: ReadonlyArray<Block>;
+}>;
+/** Ordered or unordered list. */
+export type List = Readonly<{
+    _tag: 'List';
+    isOrdered: boolean;
+    maybeStartNumber: Option.Option<number>;
+    items: Array.NonEmptyReadonlyArray<ListItem>;
+}>;
+/** Block quotation holding block content. */
+export type Blockquote = Readonly<{
+    _tag: 'Blockquote';
+    blocks: ReadonlyArray<Block>;
+}>;
+/** Thematic break, usually rendered as `hr`. */
+export type ThematicBreak = Readonly<{
+    _tag: 'ThematicBreak';
+}>;
+/** Single table cell of inline content. */
+export type TableCell = Readonly<{
+    _tag: 'TableCell';
+    content: ReadonlyArray<Inline>;
+}>;
+/** Single table row. */
+export type TableRow = Readonly<{
+    _tag: 'TableRow';
+    cells: ReadonlyArray<TableCell>;
+}>;
+/** GFM table. The first source row is the header row. */
+export type Table = Readonly<{
+    _tag: 'Table';
+    alignments: ReadonlyArray<Alignment>;
+    headerRow: TableRow;
+    bodyRows: ReadonlyArray<TableRow>;
+}>;
+/**
+ * Directive node reserved for live application views. A leaf directive
+ * (`::Name{attr="value"}`) has no blocks; a container directive
+ * (`:::Name` ... `:::`) carries its nested markdown as blocks.
+ */
+export type Island = Readonly<{
+    _tag: 'Island';
+    name: string;
+    attributes: Readonly<Record<string, string>>;
+    blocks: ReadonlyArray<Block>;
+}>;
+/** Any block node. */
+export type Block = Heading | Paragraph | CodeBlock | List | Blockquote | ThematicBreak | Table | Island;
+/** The wire form of {@link ListItem}. */
+export type ListItemEncoded = Readonly<{
+    _tag: 'ListItem';
+    blocks: ReadonlyArray<BlockEncoded>;
+}>;
+/** The wire form of {@link TableCell}. */
+export type TableCellEncoded = Readonly<{
+    _tag: 'TableCell';
+    content: ReadonlyArray<InlineEncoded>;
+}>;
+/** The wire form of {@link TableRow}. */
+export type TableRowEncoded = Readonly<{
+    _tag: 'TableRow';
+    cells: ReadonlyArray<TableCellEncoded>;
+}>;
+/** The wire form of {@link Block}, as emitted into compiled markdown modules. */
+export type BlockEncoded = Readonly<{
+    _tag: 'Heading';
+    level: HeadingLevel;
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'Paragraph';
+    content: ReadonlyArray<InlineEncoded>;
+}> | Readonly<{
+    _tag: 'CodeBlock';
+    maybeLanguage: string | null | undefined;
+    maybeMeta: string | null | undefined;
+    value: string;
+}> | Readonly<{
+    _tag: 'List';
+    isOrdered: boolean;
+    maybeStartNumber: number | null | undefined;
+    items: Array.NonEmptyReadonlyArray<ListItemEncoded>;
+}> | Readonly<{
+    _tag: 'Blockquote';
+    blocks: ReadonlyArray<BlockEncoded>;
+}> | Readonly<{
+    _tag: 'ThematicBreak';
+}> | Readonly<{
+    _tag: 'Table';
+    alignments: ReadonlyArray<Alignment>;
+    headerRow: TableRowEncoded;
+    bodyRows: ReadonlyArray<TableRowEncoded>;
+}> | Readonly<{
+    _tag: 'Island';
+    name: string;
+    attributes: Readonly<Record<string, string>>;
+    blocks: ReadonlyArray<BlockEncoded>;
+}>;
+/** Schema for {@link Block}. */
+export declare const Block: S.Codec<Block, BlockEncoded>;
+/** Schema for {@link Heading}. */
+export declare const Heading: import("foldkit/schema").CallableTaggedStruct<"Heading", {
+    level: S.Literals<readonly [1, 2, 3, 4, 5, 6]>;
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link Paragraph}. */
+export declare const Paragraph: import("foldkit/schema").CallableTaggedStruct<"Paragraph", {
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link CodeBlock}. */
+export declare const CodeBlock: import("foldkit/schema").CallableTaggedStruct<"CodeBlock", {
+    maybeLanguage: S.OptionFromNullishOr<S.String>;
+    maybeMeta: S.OptionFromNullishOr<S.String>;
+    value: S.String;
+}>;
+/** Schema for {@link ListItem}. */
+export declare const ListItem: import("foldkit/schema").CallableTaggedStruct<"ListItem", {
+    blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}>;
+/** Schema for {@link List}. */
+export declare const List: import("foldkit/schema").CallableTaggedStruct<"List", {
+    isOrdered: S.Boolean;
+    maybeStartNumber: S.OptionFromNullishOr<S.Number>;
+    items: S.NonEmptyArray<import("foldkit/schema").CallableTaggedStruct<"ListItem", {
+        blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+    }>>;
+}>;
+/** Schema for {@link Blockquote}. */
+export declare const Blockquote: import("foldkit/schema").CallableTaggedStruct<"Blockquote", {
+    blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}>;
+/** Schema for {@link ThematicBreak}. */
+export declare const ThematicBreak: import("foldkit/schema").CallableTaggedStruct<"ThematicBreak", {}>;
+/** Schema for {@link TableCell}. */
+export declare const TableCell: import("foldkit/schema").CallableTaggedStruct<"TableCell", {
+    content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+}>;
+/** Schema for {@link TableRow}. */
+export declare const TableRow: import("foldkit/schema").CallableTaggedStruct<"TableRow", {
+    cells: S.$Array<import("foldkit/schema").CallableTaggedStruct<"TableCell", {
+        content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+    }>>;
+}>;
+/** Schema for {@link Table}. */
+export declare const Table: import("foldkit/schema").CallableTaggedStruct<"Table", {
+    alignments: S.$Array<S.Literals<readonly ["None", "Left", "Center", "Right"]>>;
+    headerRow: import("foldkit/schema").CallableTaggedStruct<"TableRow", {
+        cells: S.$Array<import("foldkit/schema").CallableTaggedStruct<"TableCell", {
+            content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+        }>>;
+    }>;
+    bodyRows: S.$Array<import("foldkit/schema").CallableTaggedStruct<"TableRow", {
+        cells: S.$Array<import("foldkit/schema").CallableTaggedStruct<"TableCell", {
+            content: S.$Array<S.Codec<Inline, InlineEncoded, never, never>>;
+        }>>;
+    }>>;
+}>;
+/** Schema for {@link Island}. */
+export declare const Island: import("foldkit/schema").CallableTaggedStruct<"Island", {
+    name: S.String;
+    attributes: S.$Record<S.String, S.String>;
+    blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}>;
+/** A compiled markdown document: the block sequence of one source file. */
+export declare const MarkdownDocument: S.Struct<{
+    readonly blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}>;
+export type MarkdownDocument = typeof MarkdownDocument.Type;
+/** The wire form of {@link MarkdownDocument}. */
+export type MarkdownDocumentEncoded = typeof MarkdownDocument.Encoded;
+/**
+ * Decodes the default export of a compiled markdown module into a typed
+ * {@link MarkdownDocument}. Throws on input outside the markdown vocabulary.
+ */
+export declare const decodeDocument: (input: unknown, options?: import("effect/SchemaAST").ParseOptions) => S.Struct.ReadonlySide<{
+    readonly blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}, "Type">;
+/** Encodes a {@link MarkdownDocument} into its JSON-safe wire form. */
+export declare const encodeDocument: (input: S.Struct.ReadonlySide<{
+    readonly blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}, "Type">, options?: import("effect/SchemaAST").ParseOptions) => S.Struct.ReadonlySide<{
+    readonly blocks: S.$Array<S.Codec<Block, BlockEncoded, never, never>>;
+}, "Encoded">;
+//# sourceMappingURL=ast.d.ts.map

package/dist/ast/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/ast/ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAC5C,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAA;AAKnC,kBAAkB;AAClB,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAE5D,wBAAwB;AACxB,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAA;AAExE,uBAAuB;AACvB,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,CAAA;AAEvD,oDAAoD;AACpD,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,UAAU,CAAA;IAChB,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,iEAAiE;AACjE,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,QAAQ,CAAA;IACd,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,yDAAyD;AACzD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IACnC,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,qCAAqC;AACrC,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,MAAM,CAAA;IACX,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACjC,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,2BAA2B;AAC3B,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;CAClC,CAAC,CAAA;AAEF,uBAAuB;AACvB,MAAM,MAAM,MAAM,GACd,IAAI,GACJ,UAAU,GACV,SAAS,GACT,QAAQ,GACR,MAAM,GACN,aAAa,GACb,IAAI,GACJ,KAAK,CAAA;AAET,kFAAkF;AAClF,MAAM,MAAM,aAAa,GACrB,QAAQ,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GACzC,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAC/C,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,GAC/B,QAAQ,CAAC;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAC,GACrE,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAC,GACnE,QAAQ,CAAC;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAC,GAC1E,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,MAAM,CAAA;IACX,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACrC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CACtC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,OAAO,CAAA;IACb,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;CACtC,CAAC,CAAA;AAEN,+BAA+B;AAC/B,eAAO,MAAM,IAAI;;EAAkC,CAAA;AAEnD,qCAAqC;AACrC,eAAO,MAAM,UAAU;;EAAwC,CAAA;AAE/D,oCAAoC;AACpC,eAAO,MAAM,SAAS,gEAAkB,CAAA;AAQxC,iCAAiC;AACjC,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,aAAa,CAWjD,CAAA;AAED,mCAAmC;AACnC,eAAO,MAAM,QAAQ;;EAA+C,CAAA;AAEpE,iCAAiC;AACjC,eAAO,MAAM,MAAM;;EAA6C,CAAA;AAEhE,wCAAwC;AACxC,eAAO,MAAM,aAAa;;EAAoD,CAAA;AAE9E,+BAA+B;AAC/B,eAAO,MAAM,IAAI;;;;EAIf,CAAA;AAEF,gCAAgC;AAChC,eAAO,MAAM,KAAK;;;;EAIhB,CAAA;AAIF,sCAAsC;AACtC,eAAO,MAAM,YAAY,yCAAiC,CAAA;AAC1D,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,yEAAyE;AACzE,eAAO,MAAM,SAAS,0DAAkD,CAAA;AACxE,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAA;AAE7C,uBAAuB;AACvB,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,YAAY,CAAA;IACnB,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,mCAAmC;AACnC,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,WAAW,CAAA;IACjB,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,iGAAiG;AACjG,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,WAAW,CAAA;IACjB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACpC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IAChC,KAAK,EAAE,MAAM,CAAA;CACd,CAAC,CAAA;AAEF,6DAA6D;AAC7D,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CAC7B,CAAC,CAAA;AAEF,iCAAiC;AACjC,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,OAAO,CAAA;IAClB,gBAAgB,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACvC,KAAK,EAAE,KAAK,CAAC,qBAAqB,CAAC,QAAQ,CAAC,CAAA;CAC7C,CAAC,CAAA;AAEF,6CAA6C;AAC7C,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,IAAI,EAAE,YAAY,CAAA;IAClB,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CAC7B,CAAC,CAAA;AAEF,gDAAgD;AAChD,MAAM,MAAM,aAAa,GAAG,QAAQ,CAAC;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,CAAA;AAE/D,2CAA2C;AAC3C,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,IAAI,EAAE,WAAW,CAAA;IACjB,OAAO,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF,wBAAwB;AACxB,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAChC,CAAC,CAAA;AAEF,yDAAyD;AACzD,MAAM,MAAM,KAAK,GAAG,QAAQ,CAAC;IAC3B,IAAI,EAAE,OAAO,CAAA;IACb,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACpC,SAAS,EAAE,QAAQ,CAAA;IACnB,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAClC,CAAC,CAAA;AAEF;;;;GAIG;AACH,MAAM,MAAM,MAAM,GAAG,QAAQ,CAAC;IAC5B,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,EAAE,aAAa,CAAC,KAAK,CAAC,CAAA;CAC7B,CAAC,CAAA;AAEF,sBAAsB;AACtB,MAAM,MAAM,KAAK,GACb,OAAO,GACP,SAAS,GACT,SAAS,GACT,IAAI,GACJ,UAAU,GACV,aAAa,GACb,KAAK,GACL,MAAM,CAAA;AAEV,yCAAyC;AACzC,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,UAAU,CAAA;IAChB,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CACpC,CAAC,CAAA;AAEF,0CAA0C;AAC1C,MAAM,MAAM,gBAAgB,GAAG,QAAQ,CAAC;IACtC,IAAI,EAAE,WAAW,CAAA;IACjB,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CACtC,CAAC,CAAA;AAEF,yCAAyC;AACzC,MAAM,MAAM,eAAe,GAAG,QAAQ,CAAC;IACrC,IAAI,EAAE,UAAU,CAAA;IAChB,KAAK,EAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;CACvC,CAAC,CAAA;AAEF,iFAAiF;AACjF,MAAM,MAAM,YAAY,GACpB,QAAQ,CAAC;IACP,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,YAAY,CAAA;IACnB,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CACtC,CAAC,GACF,QAAQ,CAAC;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,OAAO,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAC,GACtE,QAAQ,CAAC;IACP,IAAI,EAAE,WAAW,CAAA;IACjB,aAAa,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACxC,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IACpC,KAAK,EAAE,MAAM,CAAA;CACd,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,MAAM,CAAA;IACZ,SAAS,EAAE,OAAO,CAAA;IAClB,gBAAgB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;IAC3C,KAAK,EAAE,KAAK,CAAC,qBAAqB,CAAC,eAAe,CAAC,CAAA;CACpD,CAAC,GACF,QAAQ,CAAC;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAAE,CAAC,GACrE,QAAQ,CAAC;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,CAAC,GACnC,QAAQ,CAAC;IACP,IAAI,EAAE,OAAO,CAAA;IACb,UAAU,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;IACpC,SAAS,EAAE,eAAe,CAAA;IAC1B,QAAQ,EAAE,aAAa,CAAC,eAAe,CAAC,CAAA;CACzC,CAAC,GACF,QAAQ,CAAC;IACP,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IAC5C,MAAM,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CACpC,CAAC,CAAA;AAQN,gCAAgC;AAChC,eAAO,MAAM,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,YAAY,CAW9C,CAAA;AAED,kCAAkC;AAClC,eAAO,MAAM,OAAO;;;EAGlB,CAAA;AAEF,oCAAoC;AACpC,eAAO,MAAM,SAAS;;EAAgD,CAAA;AAEtE,oCAAoC;AACpC,eAAO,MAAM,SAAS;;;;EAIpB,CAAA;AAEF,mCAAmC;AACnC,eAAO,MAAM,QAAQ;;EAA6C,CAAA;AAElE,+BAA+B;AAC/B,eAAO,MAAM,IAAI;;;;;;EAIf,CAAA;AAEF,qCAAqC;AACrC,eAAO,MAAM,UAAU;;EAA+C,CAAA;AAEtE,wCAAwC;AACxC,eAAO,MAAM,aAAa,oEAAsB,CAAA;AAEhD,oCAAoC;AACpC,eAAO,MAAM,SAAS;;EAAgD,CAAA;AAEtE,mCAAmC;AACnC,eAAO,MAAM,QAAQ;;;;EAAgD,CAAA;AAErE,gCAAgC;AAChC,eAAO,MAAM,KAAK;;;;;;;;;;;;EAIhB,CAAA;AAEF,iCAAiC;AACjC,eAAO,MAAM,MAAM;;;;EAIjB,CAAA;AAIF,2EAA2E;AAC3E,eAAO,MAAM,gBAAgB;;EAAuC,CAAA;AACpE,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,iDAAiD;AACjD,MAAM,MAAM,uBAAuB,GAAG,OAAO,gBAAgB,CAAC,OAAO,CAAA;AAErE;;;GAGG;AACH,eAAO,MAAM,cAAc;;UAAwC,CAAA;AAEnE,uEAAuE;AACvE,eAAO,MAAM,cAAc;;;;aAAiC,CAAA"}

package/dist/ast/ast.js

@@ -0,0 +1,116 @@
+import { Schema as S } from 'effect';
+import { ts } from 'foldkit/schema';
+/** Schema for {@link Text}. */
+export const Text = ts('Text', { value: S.String });
+/** Schema for {@link InlineCode}. */
+export const InlineCode = ts('InlineCode', { value: S.String });
+/** Schema for {@link HardBreak}. */
+export const HardBreak = ts('HardBreak');
+// NOTE: Manual type definitions and the explicit annotation are required
+// because TypeScript cannot infer types for self-recursive schemas built
+// through S.suspend. Deriving the member types from their schemas instead
+// (`type Emphasis = typeof Emphasis.Type`) recreates the circularity through
+// the union alias and fails with TS2456, so the unions and their members stay
+// hand-written.
+/** Schema for {@link Inline}. */
+export const Inline = S.suspend(() => S.Union([
+    Text,
+    InlineCode,
+    HardBreak,
+    Emphasis,
+    Strong,
+    Strikethrough,
+    Link,
+    Image,
+]));
+/** Schema for {@link Emphasis}. */
+export const Emphasis = ts('Emphasis', { content: S.Array(Inline) });
+/** Schema for {@link Strong}. */
+export const Strong = ts('Strong', { content: S.Array(Inline) });
+/** Schema for {@link Strikethrough}. */
+export const Strikethrough = ts('Strikethrough', { content: S.Array(Inline) });
+/** Schema for {@link Link}. */
+export const Link = ts('Link', {
+    url: S.String,
+    maybeTitle: S.OptionFromNullishOr(S.String, { onNoneEncoding: null }),
+    content: S.Array(Inline),
+});
+/** Schema for {@link Image}. */
+export const Image = ts('Image', {
+    url: S.String,
+    alt: S.String,
+    maybeTitle: S.OptionFromNullishOr(S.String, { onNoneEncoding: null }),
+});
+// BLOCK
+/** Heading depth, `1` through `6`. */
+export const HeadingLevel = S.Literals([1, 2, 3, 4, 5, 6]);
+/** Column alignment of a table, from the delimiter row of the source. */
+export const Alignment = S.Literals(['None', 'Left', 'Center', 'Right']);
+// NOTE: Manual type definitions and the explicit annotation are required
+// because TypeScript cannot infer types for self-recursive schemas built
+// through S.suspend. Deriving the member types from their schemas instead
+// (`type Emphasis = typeof Emphasis.Type`) recreates the circularity through
+// the union alias and fails with TS2456, so the unions and their members stay
+// hand-written.
+/** Schema for {@link Block}. */
+export const Block = S.suspend(() => S.Union([
+    Heading,
+    Paragraph,
+    CodeBlock,
+    List,
+    Blockquote,
+    ThematicBreak,
+    Table,
+    Island,
+]));
+/** Schema for {@link Heading}. */
+export const Heading = ts('Heading', {
+    level: HeadingLevel,
+    content: S.Array(Inline),
+});
+/** Schema for {@link Paragraph}. */
+export const Paragraph = ts('Paragraph', { content: S.Array(Inline) });
+/** Schema for {@link CodeBlock}. */
+export const CodeBlock = ts('CodeBlock', {
+    maybeLanguage: S.OptionFromNullishOr(S.String, { onNoneEncoding: null }),
+    maybeMeta: S.OptionFromNullishOr(S.String, { onNoneEncoding: null }),
+    value: S.String,
+});
+/** Schema for {@link ListItem}. */
+export const ListItem = ts('ListItem', { blocks: S.Array(Block) });
+/** Schema for {@link List}. */
+export const List = ts('List', {
+    isOrdered: S.Boolean,
+    maybeStartNumber: S.OptionFromNullishOr(S.Number, { onNoneEncoding: null }),
+    items: S.NonEmptyArray(ListItem),
+});
+/** Schema for {@link Blockquote}. */
+export const Blockquote = ts('Blockquote', { blocks: S.Array(Block) });
+/** Schema for {@link ThematicBreak}. */
+export const ThematicBreak = ts('ThematicBreak');
+/** Schema for {@link TableCell}. */
+export const TableCell = ts('TableCell', { content: S.Array(Inline) });
+/** Schema for {@link TableRow}. */
+export const TableRow = ts('TableRow', { cells: S.Array(TableCell) });
+/** Schema for {@link Table}. */
+export const Table = ts('Table', {
+    alignments: S.Array(Alignment),
+    headerRow: TableRow,
+    bodyRows: S.Array(TableRow),
+});
+/** Schema for {@link Island}. */
+export const Island = ts('Island', {
+    name: S.String,
+    attributes: S.Record(S.String, S.String),
+    blocks: S.Array(Block),
+});
+// DOCUMENT
+/** A compiled markdown document: the block sequence of one source file. */
+export const MarkdownDocument = S.Struct({ blocks: S.Array(Block) });
+/**
+ * Decodes the default export of a compiled markdown module into a typed
+ * {@link MarkdownDocument}. Throws on input outside the markdown vocabulary.
+ */
+export const decodeDocument = S.decodeUnknownSync(MarkdownDocument);
+/** Encodes a {@link MarkdownDocument} into its JSON-safe wire form. */
+export const encodeDocument = S.encodeSync(MarkdownDocument);

package/dist/ast/index.d.ts

@@ -0,0 +1,2 @@
+export * from './ast.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/ast/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ast/index.ts"],"names":[],"mappings":"AAAA,cAAc,UAAU,CAAA"}

package/dist/ast/index.js

@@ -0,0 +1 @@
+export * from './ast.js';

package/dist/index.d.ts

@@ -0,0 +1,4 @@
+export * from './ast/index.js';
+export * from './island/index.js';
+export * from './view/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAA;AAC9B,cAAc,mBAAmB,CAAA;AACjC,cAAc,iBAAiB,CAAA"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export * from './ast/index.js';
+export * from './island/index.js';
+export * from './view/index.js';

package/dist/island/index.d.ts

@@ -0,0 +1,2 @@
+export * from './island.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/island/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/island/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAA"}

package/dist/island/index.js

@@ -0,0 +1 @@
+export * from './island.js';

package/dist/island/island.d.ts

@@ -0,0 +1,20 @@
+import { Schema as S } from 'effect';
+/**
+ * Schema for one island's attributes: a struct that decodes the directive's
+ * string attributes into typed values. Use transforming field schemas to
+ * decode past strings, for example `S.NumberFromString` for numeric
+ * attributes.
+ */
+export type IslandDefinition = S.Struct<S.Struct.Fields> & Readonly<{
+    DecodingServices: never;
+    EncodingServices: never;
+}>;
+/**
+ * Attribute schemas by island directive name. One definition record serves
+ * both halves of the pipeline: the Vite plugin validates every directive
+ * against it at build time (unknown names, unknown attributes, and attribute
+ * values outside the schema all fail the build), and `islandsFor` decodes
+ * attributes with it before dispatching to the matching typed island view.
+ */
+export type IslandDefinitions = Readonly<Record<string, IslandDefinition>>;
+//# sourceMappingURL=island.d.ts.map

package/dist/island/island.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"island.d.ts","sourceRoot":"","sources":["../../src/island/island.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAEpC;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GACtD,QAAQ,CAAC;IAAE,gBAAgB,EAAE,KAAK,CAAC;IAAC,gBAAgB,EAAE,KAAK,CAAA;CAAE,CAAC,CAAA;AAEhE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA"}