@claudetools/tools 0.8.10 → 0.9.0

package/dist/codedna/kappa-form-generator.js

@@ -0,0 +1,319 @@
+// =============================================================================
+// Kappa v2.5 Form Generator
+// =============================================================================
+//
+// Generates React form components from Kappa FormBlock AST.
+// Supports React Hook Form with shadcn/ui or plain HTML.
+//
+// =============================================================================
+// Generator Class
+// =============================================================================
+export class KappaFormGenerator {
+    ui;
+    provenance;
+    typescript;
+    zod;
+    constructor(options = {}) {
+        this.ui = options.ui ?? 'shadcn';
+        this.provenance = options.provenance ?? true;
+        this.typescript = options.typescript ?? true;
+        this.zod = options.zod ?? true;
+    }
+    /**
+     * Generate form components from FormBlock AST nodes
+     */
+    generate(forms) {
+        const generatedForms = [];
+        for (const form of forms) {
+            generatedForms.push(this.generateForm(form));
+        }
+        return { forms: generatedForms };
+    }
+    generateForm(form) {
+        const lines = [];
+        const ext = this.typescript ? 'tsx' : 'jsx';
+        const formName = form.name;
+        const componentName = `${formName}Form`;
+        // Header
+        if (this.provenance) {
+            lines.push('// Generated by Kappa v2.5 CodeDNA');
+            lines.push(`// Form: ${formName}`);
+            lines.push('');
+        }
+        lines.push("'use client';");
+        lines.push('');
+        // Imports
+        lines.push("import { useForm } from 'react-hook-form';");
+        if (this.zod) {
+            lines.push("import { zodResolver } from '@hookform/resolvers/zod';");
+            lines.push("import { z } from 'zod';");
+        }
+        lines.push("import { useState } from 'react';");
+        if (this.ui === 'shadcn') {
+            lines.push('');
+            lines.push("import { Button } from '@/components/ui/button';");
+            lines.push("import { Input } from '@/components/ui/input';");
+            lines.push("import { Textarea } from '@/components/ui/textarea';");
+            lines.push("import { Label } from '@/components/ui/label';");
+            lines.push("import { Checkbox } from '@/components/ui/checkbox';");
+            lines.push("import { Select, SelectContent, SelectItem, SelectTrigger, SelectValue } from '@/components/ui/select';");
+            lines.push("import { Form, FormControl, FormField, FormItem, FormLabel, FormMessage } from '@/components/ui/form';");
+        }
+        lines.push('');
+        // Generate Zod schema
+        if (this.zod) {
+            lines.push(this.generateZodSchema(form));
+            lines.push('');
+            if (this.typescript) {
+                lines.push(`type ${formName}FormData = z.infer<typeof ${this.toCamelCase(formName)}Schema>;`);
+                lines.push('');
+            }
+        }
+        // Component props type
+        if (this.typescript) {
+            lines.push(`interface ${componentName}Props {`);
+            lines.push(`  onSubmit: (data: ${this.zod ? `${formName}FormData` : 'Record<string, unknown>'}) => void | Promise<void>;`);
+            lines.push(`  defaultValues?: Partial<${this.zod ? `${formName}FormData` : 'Record<string, unknown>'}>;`);
+            lines.push(`  isLoading?: boolean;`);
+            lines.push('}');
+            lines.push('');
+        }
+        // Component
+        const propsType = this.typescript ? `: ${componentName}Props` : '';
+        lines.push(`export function ${componentName}({ onSubmit, defaultValues, isLoading }${propsType}) {`);
+        lines.push(`  const [submitting, setSubmitting] = useState(false);`);
+        lines.push('');
+        lines.push(`  const form = useForm${this.typescript && this.zod ? `<${formName}FormData>` : ''}({`);
+        if (this.zod) {
+            lines.push(`    resolver: zodResolver(${this.toCamelCase(formName)}Schema),`);
+        }
+        lines.push(`    defaultValues: defaultValues ?? {},`);
+        lines.push(`  });`);
+        lines.push('');
+        // Submit handler
+        lines.push(`  async function handleSubmit(data${this.typescript && this.zod ? `: ${formName}FormData` : ''}) {`);
+        lines.push(`    setSubmitting(true);`);
+        lines.push(`    try {`);
+        lines.push(`      await onSubmit(data);`);
+        if (form.submit.onSuccess) {
+            lines.push(`      // onSuccess: ${form.submit.onSuccess}`);
+        }
+        lines.push(`    } catch (error) {`);
+        if (form.submit.onError) {
+            lines.push(`      // onError: ${form.submit.onError}`);
+        }
+        lines.push(`      console.error('Form submission error:', error);`);
+        lines.push(`    } finally {`);
+        lines.push(`      setSubmitting(false);`);
+        lines.push(`    }`);
+        lines.push(`  }`);
+        lines.push('');
+        // JSX
+        if (this.ui === 'shadcn') {
+            lines.push('  return (');
+            lines.push('    <Form {...form}>');
+            lines.push('      <form onSubmit={form.handleSubmit(handleSubmit)} className="space-y-4">');
+            // Render fields using layout or sequentially
+            if (form.layout.length > 0) {
+                for (const row of form.layout) {
+                    lines.push(this.generateLayoutRow(row, form.fields));
+                }
+            }
+            else {
+                for (const field of form.fields) {
+                    lines.push(this.generateShadcnField(field));
+                }
+            }
+            // Submit button
+            lines.push('        <Button type="submit" disabled={submitting || isLoading}>');
+            lines.push(`          {submitting ? '${form.submit.loading || 'Submitting...'}' : '${form.submit.button}'}`);
+            lines.push('        </Button>');
+            lines.push('      </form>');
+            lines.push('    </Form>');
+            lines.push('  );');
+        }
+        else {
+            lines.push('  return (');
+            lines.push('    <form onSubmit={form.handleSubmit(handleSubmit)}>');
+            for (const field of form.fields) {
+                lines.push(this.generatePlainField(field));
+            }
+            lines.push(`      <button type="submit" disabled={submitting || isLoading}>`);
+            lines.push(`        {submitting ? '${form.submit.loading || 'Submitting...'}' : '${form.submit.button}'}`);
+            lines.push('      </button>');
+            lines.push('    </form>');
+            lines.push('  );');
+        }
+        lines.push('}');
+        return {
+            path: `components/forms/${this.toKebabCase(formName)}-form.${ext}`,
+            content: lines.join('\n'),
+        };
+    }
+    generateZodSchema(form) {
+        const schemaName = `${this.toCamelCase(form.name)}Schema`;
+        const lines = [];
+        lines.push(`const ${schemaName} = z.object({`);
+        for (const field of form.fields) {
+            const zodType = this.fieldTypeToZod(field);
+            lines.push(`  ${field.name}: ${zodType},`);
+        }
+        lines.push('});');
+        return lines.join('\n');
+    }
+    fieldTypeToZod(field) {
+        let zodType;
+        switch (field.type) {
+            case 'email':
+                zodType = "z.string().email('Invalid email address')";
+                break;
+            case 'number':
+                zodType = 'z.number()';
+                break;
+            case 'checkbox':
+                zodType = 'z.boolean()';
+                break;
+            case 'date':
+            case 'time':
+            case 'datetime':
+                zodType = 'z.string()';
+                break;
+            case 'multiselect':
+                zodType = 'z.array(z.string())';
+                break;
+            case 'file':
+                zodType = 'z.any()';
+                break;
+            default:
+                zodType = 'z.string()';
+        }
+        if (field.required) {
+            // Add min(1) for string types that need non-empty validation
+            if (field.type === 'text' ||
+                field.type === 'textarea' ||
+                field.type === 'password' ||
+                field.type === 'email' ||
+                field.type === 'select') {
+                zodType += ".min(1, 'Required')";
+            }
+        }
+        else {
+            zodType += '.optional()';
+        }
+        return zodType;
+    }
+    generateLayoutRow(row, fields) {
+        const lines = [];
+        const columns = row.columns ?? row.fields.length;
+        const gridClass = `grid grid-cols-${columns} gap-4`;
+        lines.push(`        <div className="${gridClass}">`);
+        for (const fieldName of row.fields) {
+            const field = fields.find((f) => f.name === fieldName);
+            if (field) {
+                lines.push(this.generateShadcnField(field, 10));
+            }
+        }
+        lines.push('        </div>');
+        return lines.join('\n');
+    }
+    generateShadcnField(field, indent = 8) {
+        const spaces = ' '.repeat(indent);
+        const lines = [];
+        lines.push(`${spaces}<FormField`);
+        lines.push(`${spaces}  control={form.control}`);
+        lines.push(`${spaces}  name="${field.name}"`);
+        lines.push(`${spaces}  render={({ field }) => (`);
+        lines.push(`${spaces}    <FormItem>`);
+        lines.push(`${spaces}      <FormLabel>${field.label}</FormLabel>`);
+        lines.push(`${spaces}      <FormControl>`);
+        lines.push(this.generateShadcnInput(field, indent + 8));
+        lines.push(`${spaces}      </FormControl>`);
+        lines.push(`${spaces}      <FormMessage />`);
+        lines.push(`${spaces}    </FormItem>`);
+        lines.push(`${spaces}  )}`);
+        lines.push(`${spaces}/>`);
+        return lines.join('\n');
+    }
+    generateShadcnInput(field, indent) {
+        const spaces = ' '.repeat(indent);
+        switch (field.type) {
+            case 'textarea':
+                return `${spaces}<Textarea placeholder="${field.placeholder || ''}" {...field} />`;
+            case 'select':
+                const options = field.options || [];
+                const selectLines = [
+                    `${spaces}<Select onValueChange={field.onChange} defaultValue={field.value}>`,
+                    `${spaces}  <SelectTrigger>`,
+                    `${spaces}    <SelectValue placeholder="${field.placeholder || 'Select...'}" />`,
+                    `${spaces}  </SelectTrigger>`,
+                    `${spaces}  <SelectContent>`,
+                ];
+                for (const opt of options) {
+                    selectLines.push(`${spaces}    <SelectItem value="${opt.value}">${opt.label}</SelectItem>`);
+                }
+                selectLines.push(`${spaces}  </SelectContent>`);
+                selectLines.push(`${spaces}</Select>`);
+                return selectLines.join('\n');
+            case 'checkbox':
+                return `${spaces}<Checkbox checked={field.value} onCheckedChange={field.onChange} />`;
+            case 'number':
+                return `${spaces}<Input type="number" placeholder="${field.placeholder || ''}" {...field} />`;
+            case 'email':
+                return `${spaces}<Input type="email" placeholder="${field.placeholder || ''}" {...field} />`;
+            case 'password':
+                return `${spaces}<Input type="password" placeholder="${field.placeholder || ''}" {...field} />`;
+            case 'date':
+                return `${spaces}<Input type="date" {...field} />`;
+            case 'time':
+                return `${spaces}<Input type="time" {...field} />`;
+            case 'datetime':
+                return `${spaces}<Input type="datetime-local" {...field} />`;
+            case 'file':
+                return `${spaces}<Input type="file" {...field} />`;
+            default:
+                return `${spaces}<Input placeholder="${field.placeholder || ''}" {...field} />`;
+        }
+    }
+    generatePlainField(field) {
+        const lines = [];
+        const { name, label, type, placeholder, required } = field;
+        lines.push(`      <div>`);
+        lines.push(`        <label htmlFor="${name}">${label}${required ? ' *' : ''}</label>`);
+        switch (type) {
+            case 'textarea':
+                lines.push(`        <textarea id="${name}" placeholder="${placeholder || ''}" {...form.register('${name}')} />`);
+                break;
+            case 'select':
+                lines.push(`        <select id="${name}" {...form.register('${name}')}>`);
+                for (const opt of field.options || []) {
+                    lines.push(`          <option value="${opt.value}">${opt.label}</option>`);
+                }
+                lines.push(`        </select>`);
+                break;
+            case 'checkbox':
+                lines.push(`        <input id="${name}" type="checkbox" {...form.register('${name}')} />`);
+                break;
+            default:
+                lines.push(`        <input id="${name}" type="${type}" placeholder="${placeholder || ''}" {...form.register('${name}')} />`);
+        }
+        lines.push(`        {form.formState.errors.${name} && <span>{form.formState.errors.${name}?.message}</span>}`);
+        lines.push(`      </div>`);
+        return lines.join('\n');
+    }
+    toCamelCase(str) {
+        return str.charAt(0).toLowerCase() + str.slice(1);
+    }
+    toKebabCase(str) {
+        return str.replace(/([a-z])([A-Z])/g, '$1-$2').toLowerCase();
+    }
+}
+// =============================================================================
+// Convenience Function
+// =============================================================================
+/**
+ * Generate form components from Kappa FormBlock nodes
+ */
+export function generateForms(forms, options = {}) {
+    const generator = new KappaFormGenerator(options);
+    return generator.generate(forms);
+}

package/dist/codedna/kappa-lexer.d.ts

@@ -0,0 +1,268 @@
+import { Lexer } from 'chevrotain';
+export declare const WhiteSpace: import("chevrotain").TokenType;
+export declare const LineComment: import("chevrotain").TokenType;
+export declare const StringLiteral: import("chevrotain").TokenType;
+export declare const HexColor: import("chevrotain").TokenType;
+export declare const CSSFunctionLiteral: import("chevrotain").TokenType;
+export declare const DurationLiteral: import("chevrotain").TokenType;
+export declare const SizeLiteral: import("chevrotain").TokenType;
+export declare const RateLimitLiteral: import("chevrotain").TokenType;
+export declare const CSSValueLiteral: import("chevrotain").TokenType;
+export declare const DecimalLiteral: import("chevrotain").TokenType;
+export declare const IntegerLiteral: import("chevrotain").TokenType;
+export declare const EffectArrowStart: import("chevrotain").TokenType;
+export declare const EffectArrowEnd: import("chevrotain").TokenType;
+export declare const Arrow: import("chevrotain").TokenType;
+export declare const Range: import("chevrotain").TokenType;
+export declare const DotDot: import("chevrotain").TokenType;
+export declare const TanstackStart: import("chevrotain").TokenType;
+export declare const TailwindOnly: import("chevrotain").TokenType;
+export declare const DefaultComposition: import("chevrotain").TokenType;
+export declare const FontFamily: import("chevrotain").TokenType;
+export declare const FontMono: import("chevrotain").TokenType;
+export declare const HasMany: import("chevrotain").TokenType;
+export declare const HasOne: import("chevrotain").TokenType;
+export declare const BelongsTo: import("chevrotain").TokenType;
+export declare const ManyToMany: import("chevrotain").TokenType;
+export declare const OnCreate: import("chevrotain").TokenType;
+export declare const OnUpdate: import("chevrotain").TokenType;
+export declare const OnDelete: import("chevrotain").TokenType;
+export declare const OnAbandon: import("chevrotain").TokenType;
+export declare const OnSuccess: import("chevrotain").TokenType;
+export declare const OnError: import("chevrotain").TokenType;
+export declare const RateLimit: import("chevrotain").TokenType;
+export declare const WaitFor: import("chevrotain").TokenType;
+export declare const SkipIf: import("chevrotain").TokenType;
+export declare const SendEmail: import("chevrotain").TokenType;
+export declare const LogAudit: import("chevrotain").TokenType;
+export declare const TransferOwnership: import("chevrotain").TokenType;
+export declare const RequireReverification: import("chevrotain").TokenType;
+export declare const Hashed: import("chevrotain").TokenType;
+export declare const Hash: import("chevrotain").TokenType;
+export declare const Cannot: import("chevrotain").TokenType;
+export declare const Can: import("chevrotain").TokenType;
+export declare const Astro: import("chevrotain").TokenType;
+export declare const As: import("chevrotain").TokenType;
+export declare const Timestamp: import("chevrotain").TokenType;
+export declare const Timeout: import("chevrotain").TokenType;
+export declare const Time: import("chevrotain").TokenType;
+export declare const Checkbox: import("chevrotain").TokenType;
+export declare const Check: import("chevrotain").TokenType;
+export declare const Actions: import("chevrotain").TokenType;
+export declare const Action: import("chevrotain").TokenType;
+export declare const Nextjs: import("chevrotain").TokenType;
+export declare const Next: import("chevrotain").TokenType;
+export declare const Loading: import("chevrotain").TokenType;
+export declare const Load: import("chevrotain").TokenType;
+export declare const Textarea: import("chevrotain").TokenType;
+export declare const Text: import("chevrotain").TokenType;
+export declare const Darken: import("chevrotain").TokenType;
+export declare const Dark: import("chevrotain").TokenType;
+export declare const Project: import("chevrotain").TokenType;
+export declare const Entity: import("chevrotain").TokenType;
+export declare const Auth: import("chevrotain").TokenType;
+export declare const Api: import("chevrotain").TokenType;
+export declare const Journey: import("chevrotain").TokenType;
+export declare const Page: import("chevrotain").TokenType;
+export declare const Component: import("chevrotain").TokenType;
+export declare const Form: import("chevrotain").TokenType;
+export declare const Design: import("chevrotain").TokenType;
+export declare const Jwt: import("chevrotain").TokenType;
+export declare const Session: import("chevrotain").TokenType;
+export declare const Oauth: import("chevrotain").TokenType;
+export declare const Secret: import("chevrotain").TokenType;
+export declare const Issuer: import("chevrotain").TokenType;
+export declare const Audience: import("chevrotain").TokenType;
+export declare const Expires: import("chevrotain").TokenType;
+export declare const Refresh: import("chevrotain").TokenType;
+export declare const Argon2id: import("chevrotain").TokenType;
+export declare const Bcrypt: import("chevrotain").TokenType;
+export declare const Memory: import("chevrotain").TokenType;
+export declare const Iterations: import("chevrotain").TokenType;
+export declare const Parallelism: import("chevrotain").TokenType;
+export declare const Rounds: import("chevrotain").TokenType;
+export declare const Through: import("chevrotain").TokenType;
+export declare const Cascade: import("chevrotain").TokenType;
+export declare const Where: import("chevrotain").TokenType;
+export declare const Unless: import("chevrotain").TokenType;
+export declare const To: import("chevrotain").TokenType;
+export declare const Index: import("chevrotain").TokenType;
+export declare const Primary: import("chevrotain").TokenType;
+export declare const Unique: import("chevrotain").TokenType;
+export declare const Auto: import("chevrotain").TokenType;
+export declare const Immutable: import("chevrotain").TokenType;
+export declare const Internal: import("chevrotain").TokenType;
+export declare const Optional: import("chevrotain").TokenType;
+export declare const String: import("chevrotain").TokenType;
+export declare const Int: import("chevrotain").TokenType;
+export declare const Float: import("chevrotain").TokenType;
+export declare const Bool: import("chevrotain").TokenType;
+export declare const Email: import("chevrotain").TokenType;
+export declare const Url: import("chevrotain").TokenType;
+export declare const Uuid: import("chevrotain").TokenType;
+export declare const Phone: import("chevrotain").TokenType;
+export declare const Slug: import("chevrotain").TokenType;
+export declare const Markdown: import("chevrotain").TokenType;
+export declare const Json: import("chevrotain").TokenType;
+export declare const Date: import("chevrotain").TokenType;
+export declare const Duration: import("chevrotain").TokenType;
+export declare const Void: import("chevrotain").TokenType;
+export declare const Crud: import("chevrotain").TokenType;
+export declare const Throws: import("chevrotain").TokenType;
+export declare const Audit: import("chevrotain").TokenType;
+export declare const Cache: import("chevrotain").TokenType;
+export declare const Deprecated: import("chevrotain").TokenType;
+export declare const Filter: import("chevrotain").TokenType;
+export declare const Scope: import("chevrotain").TokenType;
+export declare const Always: import("chevrotain").TokenType;
+export declare const Never: import("chevrotain").TokenType;
+export declare const DB: import("chevrotain").TokenType;
+export declare const AuthEffect: import("chevrotain").TokenType;
+export declare const EmailEffect: import("chevrotain").TokenType;
+export declare const ErrorEffect: import("chevrotain").TokenType;
+export declare const AuditEffect: import("chevrotain").TokenType;
+export declare const Queue: import("chevrotain").TokenType;
+export declare const CacheEffect: import("chevrotain").TokenType;
+export declare const External: import("chevrotain").TokenType;
+export declare const Actor: import("chevrotain").TokenType;
+export declare const Steps: import("chevrotain").TokenType;
+export declare const Skippable: import("chevrotain").TokenType;
+export declare const Complete: import("chevrotain").TokenType;
+export declare const Track: import("chevrotain").TokenType;
+export declare const Condition: import("chevrotain").TokenType;
+export declare const Route: import("chevrotain").TokenType;
+export declare const Guard: import("chevrotain").TokenType;
+export declare const Layout: import("chevrotain").TokenType;
+export declare const Title: import("chevrotain").TokenType;
+export declare const Meta: import("chevrotain").TokenType;
+export declare const Loader: import("chevrotain").TokenType;
+export declare const Props: import("chevrotain").TokenType;
+export declare const Structure: import("chevrotain").TokenType;
+export declare const Variants: import("chevrotain").TokenType;
+export declare const Compound: import("chevrotain").TokenType;
+export declare const State: import("chevrotain").TokenType;
+export declare const Handlers: import("chevrotain").TokenType;
+export declare const Fields: import("chevrotain").TokenType;
+export declare const Submit: import("chevrotain").TokenType;
+export declare const Label: import("chevrotain").TokenType;
+export declare const Placeholder: import("chevrotain").TokenType;
+export declare const Validation: import("chevrotain").TokenType;
+export declare const Validate: import("chevrotain").TokenType;
+export declare const Required: import("chevrotain").TokenType;
+export declare const Options: import("chevrotain").TokenType;
+export declare const From: import("chevrotain").TokenType;
+export declare const Button: import("chevrotain").TokenType;
+export declare const Row: import("chevrotain").TokenType;
+export declare const Columns: import("chevrotain").TokenType;
+export declare const Rows: import("chevrotain").TokenType;
+export declare const Password: import("chevrotain").TokenType;
+export declare const Number: import("chevrotain").TokenType;
+export declare const Select: import("chevrotain").TokenType;
+export declare const Multiselect: import("chevrotain").TokenType;
+export declare const Radio: import("chevrotain").TokenType;
+export declare const File: import("chevrotain").TokenType;
+export declare const Colors: import("chevrotain").TokenType;
+export declare const Typography: import("chevrotain").TokenType;
+export declare const Scale: import("chevrotain").TokenType;
+export declare const Weight: import("chevrotain").TokenType;
+export declare const Spacing: import("chevrotain").TokenType;
+export declare const Unit: import("chevrotain").TokenType;
+export declare const Borders: import("chevrotain").TokenType;
+export declare const Radius: import("chevrotain").TokenType;
+export declare const Width: import("chevrotain").TokenType;
+export declare const Color: import("chevrotain").TokenType;
+export declare const Shadows: import("chevrotain").TokenType;
+export declare const Motion: import("chevrotain").TokenType;
+export declare const Easing: import("chevrotain").TokenType;
+export declare const Lighten: import("chevrotain").TokenType;
+export declare const Alpha: import("chevrotain").TokenType;
+export declare const Animation: import("chevrotain").TokenType;
+export declare const Version: import("chevrotain").TokenType;
+export declare const Stack: import("chevrotain").TokenType;
+export declare const Database: import("chevrotain").TokenType;
+export declare const Ui: import("chevrotain").TokenType;
+export declare const Remix: import("chevrotain").TokenType;
+export declare const Sveltekit: import("chevrotain").TokenType;
+export declare const Express: import("chevrotain").TokenType;
+export declare const Hono: import("chevrotain").TokenType;
+export declare const Elysia: import("chevrotain").TokenType;
+export declare const Postgres: import("chevrotain").TokenType;
+export declare const Mysql: import("chevrotain").TokenType;
+export declare const Sqlite: import("chevrotain").TokenType;
+export declare const Turso: import("chevrotain").TokenType;
+export declare const Mongodb: import("chevrotain").TokenType;
+export declare const Shadcn: import("chevrotain").TokenType;
+export declare const Mui: import("chevrotain").TokenType;
+export declare const Chakra: import("chevrotain").TokenType;
+export declare const Enqueue: import("chevrotain").TokenType;
+export declare const Anonymize: import("chevrotain").TokenType;
+export declare const Template: import("chevrotain").TokenType;
+export declare const Job: import("chevrotain").TokenType;
+export declare const Notify: import("chevrotain").TokenType;
+export declare const Webhook: import("chevrotain").TokenType;
+export declare const Sliding: import("chevrotain").TokenType;
+export declare const Fixed: import("chevrotain").TokenType;
+export declare const None: import("chevrotain").TokenType;
+export declare const Delete: import("chevrotain").TokenType;
+export declare const Nullify: import("chevrotain").TokenType;
+export declare const Restrict: import("chevrotain").TokenType;
+export declare const Create: import("chevrotain").TokenType;
+export declare const Read: import("chevrotain").TokenType;
+export declare const Update: import("chevrotain").TokenType;
+export declare const Invite: import("chevrotain").TokenType;
+export declare const List: import("chevrotain").TokenType;
+export declare const True: import("chevrotain").TokenType;
+export declare const False: import("chevrotain").TokenType;
+export declare const Env: import("chevrotain").TokenType;
+export declare const PascalIdentifier: import("chevrotain").TokenType;
+export declare const Identifier: import("chevrotain").TokenType;
+export declare const ConstantIdentifier: import("chevrotain").TokenType;
+export declare const LBrace: import("chevrotain").TokenType;
+export declare const RBrace: import("chevrotain").TokenType;
+export declare const LParen: import("chevrotain").TokenType;
+export declare const RParen: import("chevrotain").TokenType;
+export declare const LBracket: import("chevrotain").TokenType;
+export declare const RBracket: import("chevrotain").TokenType;
+export declare const Colon: import("chevrotain").TokenType;
+export declare const Comma: import("chevrotain").TokenType;
+export declare const Dot: import("chevrotain").TokenType;
+export declare const Pipe: import("chevrotain").TokenType;
+export declare const Ampersand: import("chevrotain").TokenType;
+export declare const Question: import("chevrotain").TokenType;
+export declare const Equals: import("chevrotain").TokenType;
+export declare const At: import("chevrotain").TokenType;
+export declare const allTokens: import("chevrotain").TokenType[];
+export declare const KappaLexer: Lexer;
+/**
+ * Tokenize Kappa source code
+ */
+export declare function tokenize(source: string): {
+    success: false;
+    errors: {
+        message: string;
+        line: number | undefined;
+        column: number | undefined;
+        length: number;
+    }[];
+    tokens: import("chevrotain").IToken[];
+} | {
+    success: true;
+    tokens: import("chevrotain").IToken[];
+    errors: never[];
+};
+/**
+ * All block-level keywords
+ */
+export declare const BlockKeywords: import("chevrotain").TokenType[];
+/**
+ * All type keywords
+ */
+export declare const TypeKeywords: import("chevrotain").TokenType[];
+/**
+ * All field modifier keywords
+ */
+export declare const FieldModifierKeywords: import("chevrotain").TokenType[];
+/**
+ * All effect keywords
+ */
+export declare const EffectKeywords: import("chevrotain").TokenType[];