@arcadeai/design-system 3.30.0 → 3.32.0

package/dist/components/ui/molecules/date-time-picker.js

@@ -2,7 +2,7 @@ import { jsx as r, jsxs as t } from "react/jsx-runtime";
 import { ChevronDownIcon as g } from "lucide-react";
 import { useState as k } from "react";
 import { Button as w } from "../atoms/button.js";
-import { f as x, C as N } from "../../../calendar-CjLXktko.js";
+import { f as x, C as N } from "../../../calendar-DreAgQKY.js";
 import { Input as b } from "../atoms/input.js";
 import { Label as s } from "../atoms/label.js";
 import { Popover as D, PopoverTrigger as v, PopoverContent as C } from "../atoms/popover.js";

package/dist/components/ui/molecules/index.d.ts

@@ -1,6 +1,10 @@
 /** biome-ignore-all lint/performance/noBarrelFile: Barrel files are acceptable for atomic component folders */
 export { DateTimePicker } from './date-time-picker';
 export { EmptyState } from './empty-state';
+export type { MessageActionProps, MessageActionsProps, MessageAvatarProps, MessageContentProps, MessageProps, } from './message';
+export { Message, MessageAction, MessageActions, MessageAvatar, MessageContent, } from './message';
+export type { PromptInputActionProps, PromptInputActionsProps, PromptInputProps, PromptInputTextareaProps, } from './prompt-input';
+export { PromptInput, PromptInputAction, PromptInputActions, PromptInputTextarea, } from './prompt-input';
 export { RequirementBadges } from './requirement-badges';
 export { ToolCard } from './tool-card';
 export { ToolkitCard } from './toolkit-card';

package/dist/components/ui/molecules/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../lib/components/ui/molecules/index.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAE/G,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../lib/components/ui/molecules/index.ts"],"names":[],"mappings":"AAAA,+GAA+G;AAE/G,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAC3C,YAAY,EACV,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,mBAAmB,EACnB,YAAY,GACb,MAAM,WAAW,CAAC;AACnB,OAAO,EACL,OAAO,EACP,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,GACf,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,sBAAsB,EACtB,uBAAuB,EACvB,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,WAAW,EACX,iBAAiB,EACjB,kBAAkB,EAClB,mBAAmB,GACpB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC"}

package/dist/components/ui/molecules/index.js

@@ -1,11 +1,22 @@
-import { DateTimePicker as r } from "./date-time-picker.js";
+import { DateTimePicker as o } from "./date-time-picker.js";
 import { EmptyState as a } from "./empty-state.js";
-import { R as p, T as f } from "../../../toolkit-card-B23qLCqG.js";
-import { ToolCard as x } from "./tool-card.js";
+import { Message as s, MessageAction as m, MessageActions as n, MessageAvatar as i, MessageContent as x } from "./message.js";
+import { PromptInput as g, PromptInputAction as c, PromptInputActions as u, PromptInputTextarea as A } from "./prompt-input.js";
+import { R as P, T } from "../../../toolkit-card-Birn0MUI.js";
+import { ToolCard as d } from "./tool-card.js";
 export {
-  r as DateTimePicker,
+  o as DateTimePicker,
   a as EmptyState,
-  p as RequirementBadges,
-  x as ToolCard,
-  f as ToolkitCard
+  s as Message,
+  m as MessageAction,
+  n as MessageActions,
+  i as MessageAvatar,
+  x as MessageContent,
+  g as PromptInput,
+  c as PromptInputAction,
+  u as PromptInputActions,
+  A as PromptInputTextarea,
+  P as RequirementBadges,
+  d as ToolCard,
+  T as ToolkitCard
 };

package/dist/components/ui/molecules/message.d.ts

@@ -0,0 +1,37 @@
+import { Markdown } from '../atoms/markdown';
+import { Tooltip } from '../atoms/tooltip';
+import type * as React from "react";
+type MessageProps = {
+    children: React.ReactNode;
+    className?: string;
+} & React.ComponentProps<"div">;
+declare function Message({ children, className, ...props }: MessageProps): import("react/jsx-runtime").JSX.Element;
+type MessageAvatarProps = {
+    src: string;
+    alt: string;
+    fallback?: string;
+    delayMs?: number;
+    className?: string;
+};
+declare function MessageAvatar({ src, alt, fallback, delayMs, className, }: MessageAvatarProps): import("react/jsx-runtime").JSX.Element;
+type MessageContentProps = {
+    children: React.ReactNode;
+    markdown?: boolean;
+    className?: string;
+} & React.ComponentProps<typeof Markdown> & React.ComponentProps<"div">;
+declare function MessageContent({ children, markdown, className, ...props }: MessageContentProps): import("react/jsx-runtime").JSX.Element;
+type MessageActionsProps = {
+    children: React.ReactNode;
+    className?: string;
+} & React.ComponentProps<"div">;
+declare function MessageActions({ children, className, ...props }: MessageActionsProps): import("react/jsx-runtime").JSX.Element;
+type MessageActionProps = {
+    className?: string;
+    tooltip: React.ReactNode;
+    children: React.ReactNode;
+    side?: "top" | "bottom" | "left" | "right";
+} & React.ComponentProps<typeof Tooltip>;
+declare function MessageAction({ tooltip, children, className, side, ...props }: MessageActionProps): import("react/jsx-runtime").JSX.Element;
+export { Message, MessageAvatar, MessageContent, MessageActions, MessageAction, };
+export type { MessageProps, MessageAvatarProps, MessageContentProps, MessageActionsProps, MessageActionProps, };
+//# sourceMappingURL=message.d.ts.map

package/dist/components/ui/molecules/message.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"message.d.ts","sourceRoot":"","sources":["../../../../lib/components/ui/molecules/message.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,KAAK,MAAM,OAAO,CAAC;AAMpC,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EACL,OAAO,EAIR,MAAM,+BAA+B,CAAC;AAGvC,KAAK,YAAY,GAAG;IAClB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;AAEhC,iBAAS,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,KAAK,EAAE,EAAE,YAAY,2CAM/D;AAED,KAAK,kBAAkB,GAAG;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,iBAAS,aAAa,CAAC,EACrB,GAAG,EACH,GAAG,EACH,QAAQ,EACR,OAAO,EACP,SAAS,GACV,EAAE,kBAAkB,2CASpB;AAED,KAAK,mBAAmB,GAAG;IACzB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,QAAQ,CAAC,GACvC,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;AAE9B,iBAAS,cAAc,CAAC,EACtB,QAAQ,EACR,QAAgB,EAChB,SAAS,EACT,GAAG,KAAK,EACT,EAAE,mBAAmB,2CAerB;AAED,KAAK,mBAAmB,GAAG;IACzB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;AAEhC,iBAAS,cAAc,CAAC,EACtB,QAAQ,EACR,SAAS,EACT,GAAG,KAAK,EACT,EAAE,mBAAmB,2CASrB;AAED,KAAK,kBAAkB,GAAG;IACxB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,IAAI,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;CAC5C,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,OAAO,CAAC,CAAC;AAEzC,iBAAS,aAAa,CAAC,EACrB,OAAO,EACP,QAAQ,EACR,SAAS,EACT,IAAY,EACZ,GAAG,KAAK,EACT,EAAE,kBAAkB,2CAWpB;AAED,OAAO,EACL,OAAO,EACP,aAAa,EACb,cAAc,EACd,cAAc,EACd,aAAa,GACd,CAAC;AACF,YAAY,EACV,YAAY,EACZ,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,GACnB,CAAC"}

package/dist/components/ui/molecules/message.js

@@ -0,0 +1,65 @@
+import { jsx as o, jsxs as i } from "react/jsx-runtime";
+import { Avatar as c, AvatarImage as m, AvatarFallback as l } from "../atoms/avatar.js";
+import { M as d } from "../../../markdown-CSrGIfKB.js";
+import { TooltipProvider as p, Tooltip as u, TooltipTrigger as f, TooltipContent as g } from "../atoms/tooltip.js";
+import { cn as n } from "../../../lib/utils.js";
+function N({ children: e, className: t, ...r }) {
+  return /* @__PURE__ */ o("div", { className: n("flex items-start gap-3", t), ...r, children: e });
+}
+function T({
+  src: e,
+  alt: t,
+  fallback: r,
+  delayMs: s,
+  className: a
+}) {
+  return /* @__PURE__ */ i(c, { className: n("h-8 w-8 shrink-0", a), children: [
+    /* @__PURE__ */ o(m, { alt: t, src: e }),
+    r && /* @__PURE__ */ o(l, { delayMs: s, children: r })
+  ] });
+}
+function w({
+  children: e,
+  markdown: t = !1,
+  className: r,
+  ...s
+}) {
+  const a = n(
+    "prose whitespace-normal break-words rounded-lg bg-secondary px-4 py-2 text-foreground",
+    r
+  );
+  return t ? /* @__PURE__ */ o(d, { className: a, ...s, children: e }) : /* @__PURE__ */ o("div", { className: a, ...s, children: e });
+}
+function k({
+  children: e,
+  className: t,
+  ...r
+}) {
+  return /* @__PURE__ */ o(
+    "div",
+    {
+      className: n("flex items-center gap-2 text-muted-foreground", t),
+      ...r,
+      children: e
+    }
+  );
+}
+function C({
+  tooltip: e,
+  children: t,
+  className: r,
+  side: s = "top",
+  ...a
+}) {
+  return /* @__PURE__ */ o(p, { children: /* @__PURE__ */ i(u, { ...a, children: [
+    /* @__PURE__ */ o(f, { asChild: !0, children: t }),
+    /* @__PURE__ */ o(g, { className: r, side: s, children: e })
+  ] }) });
+}
+export {
+  N as Message,
+  C as MessageAction,
+  k as MessageActions,
+  T as MessageAvatar,
+  w as MessageContent
+};

package/dist/components/ui/molecules/prompt-input.d.ts

@@ -0,0 +1,29 @@
+import { default as React } from 'react';
+import { Textarea } from '../atoms/textarea';
+import { Tooltip } from '../atoms/tooltip';
+export type PromptInputProps = {
+    isLoading?: boolean;
+    value?: string;
+    onValueChange?: (value: string) => void;
+    maxHeight?: number | string;
+    onSubmit?: () => void;
+    children: React.ReactNode;
+    className?: string;
+    disabled?: boolean;
+} & React.ComponentProps<"div">;
+declare function PromptInput({ className, isLoading, maxHeight, value, onValueChange, onSubmit, children, disabled, onClick, ...props }: PromptInputProps): import("react/jsx-runtime").JSX.Element;
+export type PromptInputTextareaProps = {
+    disableAutosize?: boolean;
+} & React.ComponentProps<typeof Textarea>;
+declare function PromptInputTextarea({ className, onKeyDown, disableAutosize, ...props }: PromptInputTextareaProps): import("react/jsx-runtime").JSX.Element;
+export type PromptInputActionsProps = React.ComponentProps<"div">;
+declare function PromptInputActions({ children, className, ...props }: PromptInputActionsProps): import("react/jsx-runtime").JSX.Element;
+export type PromptInputActionProps = {
+    className?: string;
+    tooltip: React.ReactNode;
+    children: React.ReactNode;
+    side?: "top" | "bottom" | "left" | "right";
+} & React.ComponentProps<typeof Tooltip>;
+declare function PromptInputAction({ tooltip, children, className, side, ...props }: PromptInputActionProps): import("react/jsx-runtime").JSX.Element;
+export { PromptInput, PromptInputTextarea, PromptInputActions, PromptInputAction, };
+//# sourceMappingURL=prompt-input.d.ts.map

package/dist/components/ui/molecules/prompt-input.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompt-input.d.ts","sourceRoot":"","sources":["../../../../lib/components/ui/molecules/prompt-input.tsx"],"names":[],"mappings":"AAAA,OAAO,KAMN,MAAM,OAAO,CAAC;AACf,OAAO,EAAE,QAAQ,EAAE,MAAM,gCAAgC,CAAC;AAC1D,OAAO,EACL,OAAO,EAIR,MAAM,+BAA+B,CAAC;AA6BvC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACxC,SAAS,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC5B,QAAQ,CAAC,EAAE,MAAM,IAAI,CAAC;IACtB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;AAEhC,iBAAS,WAAW,CAAC,EACnB,SAAS,EACT,SAAiB,EACjB,SAAe,EACf,KAAK,EACL,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,QAAgB,EAChB,OAAO,EACP,GAAG,KAAK,EACT,EAAE,gBAAgB,2CA8ClB;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,QAAQ,CAAC,CAAC;AAE1C,iBAAS,mBAAmB,CAAC,EAC3B,SAAS,EACT,SAAS,EACT,eAAuB,EACvB,GAAG,KAAK,EACT,EAAE,wBAAwB,2CAmE1B;AAED,MAAM,MAAM,uBAAuB,GAAG,KAAK,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;AAElE,iBAAS,kBAAkB,CAAC,EAC1B,QAAQ,EACR,SAAS,EACT,GAAG,KAAK,EACT,EAAE,uBAAuB,2CAMzB;AAED,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC;IACzB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,IAAI,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;CAC5C,GAAG,KAAK,CAAC,cAAc,CAAC,OAAO,OAAO,CAAC,CAAC;AAEzC,iBAAS,iBAAiB,CAAC,EACzB,OAAO,EACP,QAAQ,EACR,SAAS,EACT,IAAY,EACZ,GAAG,KAAK,EACT,EAAE,sBAAsB,2CAiBxB;AAED,OAAO,EACL,WAAW,EACX,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GAClB,CAAC"}

package/dist/components/ui/molecules/prompt-input.js

@@ -0,0 +1,136 @@
+import { jsx as a, jsxs as v } from "react/jsx-runtime";
+import C, { createContext as P, useState as H, useRef as I, useLayoutEffect as R, useContext as T } from "react";
+import { Textarea as k } from "../atoms/textarea.js";
+import { TooltipProvider as w, Tooltip as $, TooltipTrigger as j, TooltipContent as D } from "../atoms/tooltip.js";
+import { cn as x } from "../../../lib/utils.js";
+const y = P({
+  isLoading: !1,
+  value: "",
+  setValue: () => {
+  },
+  maxHeight: 240,
+  onSubmit: void 0,
+  disabled: !1,
+  textareaRef: C.createRef()
+});
+function b() {
+  return T(y);
+}
+function L({
+  className: r,
+  isLoading: o = !1,
+  maxHeight: n = 240,
+  value: s,
+  onValueChange: i,
+  onSubmit: l,
+  children: e,
+  disabled: u = !1,
+  onClick: m,
+  ...c
+}) {
+  const [f, d] = H(s || ""), p = I(null), g = (h) => {
+    d(h), i?.(h);
+  }, t = (h) => {
+    u || p.current?.focus(), m?.(h);
+  };
+  return /* @__PURE__ */ a(w, { children: /* @__PURE__ */ a(
+    y.Provider,
+    {
+      value: {
+        isLoading: o,
+        value: s ?? f,
+        setValue: i ?? g,
+        maxHeight: n,
+        onSubmit: l,
+        disabled: u,
+        textareaRef: p
+      },
+      children: /* @__PURE__ */ a(
+        "div",
+        {
+          className: x(
+            "cursor-text rounded-3xl border border-input bg-background p-2 shadow-xs",
+            u && "cursor-not-allowed opacity-60",
+            r
+          ),
+          onClick: t,
+          ...c,
+          children: e
+        }
+      )
+    }
+  ) });
+}
+function M({
+  className: r,
+  onKeyDown: o,
+  disableAutosize: n = !1,
+  ...s
+}) {
+  const { value: i, setValue: l, maxHeight: e, onSubmit: u, disabled: m, textareaRef: c } = b(), f = (t) => {
+    !t || n || (t.style.height = "auto", typeof e == "number" ? t.style.height = `${Math.min(t.scrollHeight, e)}px` : t.style.height = `min(${t.scrollHeight}px, ${e})`);
+  }, d = (t) => {
+    c.current = t, f(t);
+  };
+  R(() => {
+    if (!c.current || n)
+      return;
+    const t = c.current;
+    t.style.height = "auto", typeof e == "number" ? t.style.height = `${Math.min(t.scrollHeight, e)}px` : t.style.height = `min(${t.scrollHeight}px, ${e})`;
+  }, [i, e, n]);
+  const p = (t) => {
+    f(t.target), l(t.target.value);
+  }, g = (t) => {
+    t.key === "Enter" && !t.shiftKey && (t.preventDefault(), u?.()), o?.(t);
+  };
+  return /* @__PURE__ */ a(
+    k,
+    {
+      className: x(
+        "min-h-[44px] w-full resize-none border-none bg-transparent text-foreground shadow-none outline-none focus-visible:ring-0 focus-visible:ring-offset-0 dark:bg-transparent",
+        r
+      ),
+      disabled: m,
+      onChange: p,
+      onKeyDown: g,
+      ref: d,
+      rows: 1,
+      value: i,
+      ...s
+    }
+  );
+}
+function _({
+  children: r,
+  className: o,
+  ...n
+}) {
+  return /* @__PURE__ */ a("div", { className: x("flex items-center gap-2", o), ...n, children: r });
+}
+function q({
+  tooltip: r,
+  children: o,
+  className: n,
+  side: s = "top",
+  ...i
+}) {
+  const { disabled: l } = b();
+  return /* @__PURE__ */ v($, { ...i, children: [
+    /* @__PURE__ */ a(
+      j,
+      {
+        asChild: !0,
+        disabled: l,
+        onClick: (e) => e.stopPropagation(),
+        children: o
+      }
+    ),
+    /* @__PURE__ */ a(D, { className: n, side: s, children: r })
+  ] });
+}
+export {
+  L as PromptInput,
+  q as PromptInputAction,
+  _ as PromptInputActions,
+  M as PromptInputTextarea
+};

package/dist/components/ui/molecules/requirement-badges.js

@@ -1,21 +1,23 @@
 import "react/jsx-runtime";
 import "lucide-react";
 import "react";
-import "../../../utils-CVF2pBPP.js";
+import "../../../lib/utils.js";
 import "../atoms/badge.js";
 import "../atoms/byoc-badge.js";
 import "../atoms/chart.js";
+import "../../../markdown-CSrGIfKB.js";
 import "../atoms/mobile-tooltip.js";
 import "../atoms/pro-badge.js";
 import "../../../react-resizable-panels.browser-DYl0LXfw.js";
 import "../atoms/sidebar.js";
 import "../atoms/tooltip.js";
 import "./date-time-picker.js";
-import { O as f, R as h, S as n } from "../../../toolkit-card-B23qLCqG.js";
+import "./prompt-input.js";
+import { O as n, R as q, S as x } from "../../../toolkit-card-Birn0MUI.js";
 import "./tool-card.js";
 import "../utils/memo.js";
 export {
-  f as OAuthBadge,
-  h as RequirementBadges,
-  n as SecretsBadge
+  n as OAuthBadge,
+  q as RequirementBadges,
+  x as SecretsBadge
 };

package/dist/components/ui/molecules/tool-card.js

@@ -6,7 +6,7 @@ import { Card as I, CardContent as P } from "../atoms/card.js";
 import { Checkbox as j } from "../atoms/checkbox.js";
 import { Collapsible as K, CollapsibleTrigger as T, CollapsibleContent as S } from "../atoms/collapsible.js";
 import { useIsTruncated as z } from "../../../hooks/use-is-truncated.js";
-import { c as d } from "../../../utils-CVF2pBPP.js";
+import { cn as d } from "../../../lib/utils.js";
 import { createPropsComparator as _ } from "../utils/memo.js";
 function R({
   fully_qualified_name: m,

package/dist/components/ui/molecules/toolkit-card.js

@@ -1,12 +1,12 @@
 import "react/jsx-runtime";
-import "../../../index-DBUvnhgM.js";
+import "../../../index-UgeK3A8s.js";
 import "lucide-react";
 import "react";
 import "../atoms/card.js";
 import "../atoms/checkbox.js";
 import "../atoms/view-tools-control.js";
-import "../../../utils-CVF2pBPP.js";
-import { T as k } from "../../../toolkit-card-B23qLCqG.js";
+import "../../../lib/utils.js";
+import { T as k } from "../../../toolkit-card-Birn0MUI.js";
 import "../utils/memo.js";
 export {
   k as ToolkitCard

package/dist/coq-B0L9upzn.js

@@ -0,0 +1,6 @@
+const e = Object.freeze(JSON.parse(`{"displayName":"Coq","fileTypes":["v"],"name":"coq","patterns":[{"match":"\\\\b(From|Require|Import|Export|Local|Global|Include)\\\\b","name":"keyword.control.import.coq"},{"match":"\\\\b((Open|Close|Delimit|Undelimit|Bind)\\\\s+Scope)\\\\b","name":"keyword.control.import.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.theorem.coq"}},"match":"\\\\b(Theorem|Lemma|Remark|Fact|Corollary|Property|Proposition)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\bGoal\\\\b","name":"keyword.source.coq"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Parameters?|Axioms?|Conjectures?|Variables?|Hypothesis|Hypotheses)(\\\\s+Inline)?\\\\b\\\\s*\\\\(?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.assumption.coq"}},"match":"\\\\b(Context)\\\\b\\\\s*\`?\\\\s*([({])?\\\\s*(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.coq"}},"match":"(\\\\b(?:Program|Local)\\\\s+)?\\\\b(Definition|Fixpoint|CoFixpoint|Function|Example|Let(?:(?:\\\\s+|\\\\s+Co)Fixpoint)?|Instance|Equations|Equations?)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"}},"match":"\\\\b((Show\\\\s+)?Obligation\\\\s+Tactic|Obligations\\\\s+of|Obligation|Next\\\\s+Obligation(\\\\s+of)?|Solve\\\\s+Obligations(\\\\s+of)?|Solve\\\\s+All\\\\s+Obligations|Admit\\\\s+Obligations(\\\\s+of)?|Instance)\\\\b"},{"captures":{"1":{"name":"keyword.source.coq"},"3":{"name":"entity.name.type.coq"}},"match":"\\\\b(CoInductive|Inductive|Variant|Record|Structure|Class)\\\\s+(>\\\\s*)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac)\\\\s+(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"captures":{"1":{"name":"keyword.source.coq"},"2":{"name":"keyword.source.coq"},"3":{"name":"entity.name.function.ltac"}},"match":"\\\\b(Ltac2)\\\\s+(mutable\\\\s+)?(rec\\\\s+)?(([_ \\\\p{L}])(['0-9_ \\\\p{L}])*)"},{"match":"\\\\b(Hint(\\\\s+Mode)?|Create\\\\s+HintDb|Constructors|Resolve|Rewrite|Ltac2??|Implicit(\\\\s+Types)?|Set|Unset|Remove\\\\s+Printing|Arguments|((Tactic|Reserved)\\\\s+)?Notation|Infix|Section|Module(\\\\s+Type)?|End|Check|Print(\\\\s+All)?|Eval|Compute|Search|Universe|Coercions|Generalizable(\\\\s+(All|Variable))?|Existing(\\\\s+(Class|Instance))?|Canonical|About|Locate|Collection|Typeclasses\\\\s+(Opaque|Transparent))\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Proof|Qed|Defined|Save|Abort(\\\\s+All)?|Undo(\\\\s+To)?|Restart|Focus|Unfocus|Unfocused|Show\\\\s+Proof|Show\\\\s+Existentials|Show|Unshelve)\\\\b","name":"keyword.source.coq"},{"match":"\\\\b(Quit|Drop|Time|Redirect|Timeout|Fail)\\\\b","name":"keyword.debug.coq"},{"match":"\\\\b(admit|Admitted)\\\\b","name":"invalid.illegal.admit.coq"},{"match":"[-*+:<=>{|}¬→↔∧∨≠≤≥]","name":"keyword.operator.coq"},{"match":"\\\\b(forall|exists|Type|Set|Prop|nat|bool|option|list|unit|sum|prod|comparison|Empty_set)\\\\b|[∀∃]","name":"support.type.coq"},{"match":"\\\\b(try|repeat|rew|progress|fresh|solve|now|first|tryif|at|once|do|only)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(into|with|eqn|by|move|as|using)\\\\b","name":"keyword.control.ltac"},{"match":"\\\\b(match|lazymatch|multimatch|match!|lazy_match!|multi_match!|fun|with|return|end|let|in|if|then|else|fix|for|where|and)\\\\b|λ","name":"keyword.control.gallina"},{"match":"\\\\b(intros??|revert|induction|destruct|auto|eauto|tauto|eassumption|apply|eapply|assumption|constructor|econstructor|reflexivity|inversion|injection|assert|split|esplit|omega|fold|unfold|specialize|rewrite|erewrite|change|symmetry|refine|simpl|intuition|firstorder|generalize|idtac|exists??|eexists|elim|eelim|rename|subst|congruence|trivial|left|right|set|pose|discriminate|clear|clearbody|contradict|contradiction|exact|dependent|remember|case|easy|unshelve|pattern|transitivity|etransitivity|f_equal|exfalso|replace|abstract|cycle|swap|revgoals|shelve|unshelve)\\\\b","name":"support.function.builtin.ltac"},{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},{"match":"\\\\b((0([Xx])\\\\h+)|([0-9]+(\\\\.[0-9]+)?))\\\\b","name":"constant.numeric.gallina"},{"match":"\\\\b(True|False|tt|false|true|Some|None|nil|cons|pair|inl|inr|[OS]|Eq|Lt|Gt|id|ex|all|unique)\\\\b","name":"constant.language.constructor.gallina"},{"match":"\\\\b_\\\\b","name":"constant.language.wildcard.coq"},{"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}],"repository":{"block_comment":{"applyEndPatternLast":1,"begin":"\\\\(\\\\*(?!#)","end":"\\\\*\\\\)","name":"comment.block.coq","patterns":[{"include":"#block_comment"},{"include":"#block_double_quoted_string"}]},"block_double_quoted_string":{"applyEndPatternLast":1,"begin":"\\"","beginCaptures":{"0":{"name":"punctuation.definition.string.begin.coq"}},"end":"\\"","endCaptures":{"0":{"name":"punctuation.definition.string.end.coq"}},"name":"string.quoted.double.coq"}},"scopeName":"source.coq"}`)), t = [
+  e
+];
+export {
+  t as default
+};