@foldkit/ui 0.127.0 → 0.128.0

package/README.md

@@ -41,8 +41,8 @@ const view = () => {
 
 Components come in two shapes:
 
-- **Render helpers** (Button, Input, Textarea, Select, Fieldset) are stateless. Call their `view` directly with a typed config.
-- **Submodels** (Checkbox, Combobox, Dialog, Listbox, Menu, Popover, RadioGroup, and the like) own a Model. Embed them with `h.submodel`, drive them through their `update`, and consume their `OutMessage` in the parent.
+- **Render helpers** (Button, Input, Textarea, Select, RadioGroup, Checkbox, Switch, Disclosure, Fieldset) are stateless. Call their `view` directly with a typed config. The controlled helpers (RadioGroup, Checkbox, Switch, Disclosure) take the current value in through their config and dispatch a parent Message when the user changes it; you store that value in your own Model.
+- **Submodels** (Combobox, Dialog, Listbox, Menu, Popover, and the like) own a Model. Embed them with `h.submodel`, drive them through their `update`, and consume their `OutMessage` in the parent.
 
 Every component is also available as a subpath import:
 

package/dist/calendar/index.d.ts

@@ -28,11 +28,6 @@ export declare const Model: S.Struct<{
         readonly month: S.Int;
         readonly day: S.Int;
     }>>;
-    readonly maybeSelectedDate: S.Option<S.Struct<{
-        readonly year: S.Int;
-        readonly month: S.Int;
-        readonly day: S.Int;
-    }>>;
     readonly isGridFocused: S.Boolean;
     readonly locale: S.Struct<{
         readonly firstDayOfWeek: S.Literals<readonly ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"]>;
@@ -176,15 +171,17 @@ export type SelectedDate = typeof SelectedDate.Type;
 export type InitConfig = Readonly<{
     id: string;
     today: CalendarDate;
-    initialSelectedDate?: CalendarDate;
+    initialViewDate?: CalendarDate;
     locale?: Calendar.LocaleConfig;
     minDate?: CalendarDate;
     maxDate?: CalendarDate;
     disabledDaysOfWeek?: ReadonlyArray<Calendar.DayOfWeek>;
     disabledDates?: ReadonlyArray<CalendarDate>;
 }>;
-/** Creates an initial calendar model. The view month defaults to the month
- * of the initial selected date, or today if no date is pre-selected. */
+/** Creates an initial calendar model. The selected date is owned by the
+ * parent and passed in via `ViewInputs.maybeSelectedDate`. The view month
+ * defaults to `initialViewDate` (pass the parent's selected date to open onto
+ * it), or today when omitted. */
 export declare const init: (config: InitConfig) => Model;
 type UpdateReturn = readonly [
     Model,
@@ -205,16 +202,12 @@ export declare const FocusGrid: Command.CommandDefinitionWithArgs<"FocusGrid", {
  *
  * Equivalent to dispatching `ClickedDay({ date })` through `update`. */
 export declare const selectDate: (model: Model, date: CalendarDate) => UpdateReturn;
-/** Reflects an externally-sourced selected date onto the model without
- *  emitting an OutMessage. When a date is given, sets the selection and
- *  moves the view to the date's month so it stays visible, mirroring
- *  `selectDate`'s state change minus the `SelectedDate` announcement. Pass
- *  `Option.none()` to clear the selection (the view is left where it is).
- *  Use this to mirror external truth (a URL parameter, a saved draft) onto
- *  the calendar. Contrast with `selectDate`, a user or programmatic
- *  *choice* that emits `SelectedDate`. Returns the model directly because
- *  it produces no commands and no OutMessage. */
-export declare const reflectSelectedDate: Reflect<Model, Option.Option<CalendarDate>>;
+/** Moves the calendar's view and cursor to a date without changing the
+ *  selection (which the parent owns). Use it to navigate to a known date, for
+ *  example when opening a date picker onto its current value so the selected
+ *  month is visible. Returns the model directly because it produces no
+ *  commands and no OutMessage. */
+export declare const focusDate: Reflect<Model, CalendarDate>;
 /** Reflects the minimum selectable date onto the model. Pass `Option.none()`
  * to remove the minimum. Use this when the minimum derives from other Model
  * state (e.g. a start date field whose current selection constrains an end
@@ -354,6 +347,9 @@ export type CalendarAttributes = DaysModeAttributes | MonthsModeAttributes | Yea
  *  selection by pattern-matching the OutMessage in their
  *  `GotCalendarMessage` handler. */
 export type ViewInputs = Readonly<{
+    /** The selected date, read straight from the parent Model. The selected-day
+     *  marker derives from it. */
+    maybeSelectedDate: Option.Option<CalendarDate>;
     toView: (attributes: CalendarAttributes) => Html;
     previousMonthLabel?: string;
     nextMonthLabel?: string;
@@ -381,11 +377,6 @@ export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide
         readonly month: S.Int;
         readonly day: S.Int;
     }>>;
-    readonly maybeSelectedDate: S.Option<S.Struct<{
-        readonly year: S.Int;
-        readonly month: S.Int;
-        readonly day: S.Int;
-    }>>;
     readonly isGridFocused: S.Boolean;
     readonly locale: S.Struct<{
         readonly firstDayOfWeek: S.Literals<readonly ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"]>;
@@ -450,6 +441,9 @@ export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide
 }, "Type"> | S.Struct.ReadonlySide<{
     readonly _tag: S.tag<"CompletedFocusGrid">;
 }, "Type">, Readonly<{
+    /** The selected date, read straight from the parent Model. The selected-day
+     *  marker derives from it. */
+    maybeSelectedDate: Option.Option<CalendarDate>;
     toView: (attributes: CalendarAttributes) => Html;
     previousMonthLabel?: string;
     nextMonthLabel?: string;

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/calendar/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAIN,MAAM,EACN,MAAM,IAAI,CAAC,EAEZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAGrB,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,kBAAkB,CAAA;AAO3D;;8EAE8E;AAC9E,eAAO,MAAM,QAAQ,kDAA0C,CAAA;AAC/D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAE3C;;;YAGY;AACZ,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAchB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,wDAAwD;AACxD,eAAO,MAAM,UAAU;;;;;;EAAmD,CAAA;AAC1E;kDACkD;AAClD,eAAO,MAAM,gBAAgB;;;EAG3B,CAAA;AACF;0EAC0E;AAC1E,eAAO,MAAM,0BAA0B,iFAAkC,CAAA;AACzE;0EAC0E;AAC1E,eAAO,MAAM,sBAAsB,6EAA8B,CAAA;AACjE;mEACmE;AACnE,eAAO,MAAM,cAAc,qEAAsB,CAAA;AACjD;0DAC0D;AAC1D,eAAO,MAAM,aAAa;;EAAuC,CAAA;AACjE;iFACiF;AACjF,eAAO,MAAM,YAAY;;EAAqC,CAAA;AAC9D;2DAC2D;AAC3D,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,uDAAuD;AACvD,eAAO,MAAM,WAAW,kEAAmB,CAAA;AAC3C,oDAAoD;AACpD,eAAO,MAAM,WAAW,kEAAmB,CAAA;AAC3C,8EAA8E;AAC9E,eAAO,MAAM,cAAc;;;;;;EAEzB,CAAA;AACF,+CAA+C;AAC/C,eAAO,MAAM,kBAAkB,yEAA0B,CAAA;AAEzD,gEAAgE;AAChE,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;6EAalB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD;;;2EAG2E;AAC3E,eAAO,MAAM,gBAAgB;;;EAG3B,CAAA;AAEF;;;uDAGuD;AACvD,eAAO,MAAM,YAAY;;;;;;EAEvB,CAAA;AAEF,2CAA2C;AAC3C,eAAO,MAAM,UAAU;;;;;;;;;IAA4C,CAAA;AACnE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,+DAA+D;AAC/D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,YAAY,CAAA;IACnB,mBAAmB,CAAC,EAAE,YAAY,CAAA;IAClC,MAAM,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAA;IAC9B,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,kBAAkB,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IACtD,aAAa,CAAC,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAC5C,CAAC,CAAA;AAEF;wEACwE;AACxE,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAuBzC,CAAA;AAID,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAMD;6EAC6E;AAC7E,eAAO,MAAM,SAAS;;;;iBASrB,CAAA;AAED;;;;;wEAKwE;AACxE,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,YAAY,KAAG,YACzB,CAAA;AAErC;;;;;;;;iDAQiD;AACjD,eAAO,MAAM,mBAAmB,EAAE,OAAO,CACvC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAc5B,CAAA;AAED;;;;;;;oEAOoE;AACpE,eAAO,MAAM,cAAc,EAAE,OAAO,CAClC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;sEACsE;AACtE,eAAO,MAAM,cAAc,EAAE,OAAO,CAClC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;qEACqE;AACrE,eAAO,MAAM,oBAAoB,EAAE,OAAO,CACxC,KAAK,EACL,aAAa,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;;gBAEgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,OAAO,CAC7C,KAAK,EACL,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAOlC,CAAA;AAED;;;;;;;;;wDASwD;AACxD,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,KAWzC,CAAA;AAwPD;0BAC0B;AAC1B,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YA+JrD,CAAA;AAmEH,yEAAyE;AACzE,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,OAAO,EAAE,OAAO,CAAA;IAChB,aAAa,EAAE,OAAO,CAAA;IACtB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC1C,CAAC,CAAA;AAEF;+CAC+C;AAC/C,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACzC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CAC9B,CAAC,CAAA;AAEF;;;;cAIc;AACd,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,EAAE,OAAO,CAAA;IACvB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,aAAa,EAAE,OAAO,CAAA;IACtB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,mBAAmB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClD,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC9C,aAAa,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC5C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,SAAS,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACxC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC1C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CAC3B,CAAC,CAAA;AAEF;;2EAE2E;AAC3E,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,aAAa,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC5C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAChC,CAAC,CAAA;AAEF;yEACyE;AACzE,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,kBAAkB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACjD,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF;;;0BAG0B;AAC1B,MAAM,MAAM,kBAAkB,GAC1B,kBAAkB,GAClB,oBAAoB,GACpB,mBAAmB,CAAA;AAEvB;;;;;oCAKoC;AACpC,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAChD,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,wBAAwB,CAAC,EAAE,MAAM,CAAA;CAClC,CAAC,CAAA;AAmeF;;;yCAGyC;AACzC,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;YA9eP,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI;yBAC3B,MAAM;qBACV,MAAM;6BACE,MAAM;yBACV,MAAM;6BACF,MAAM;+BACJ,MAAM;GAmflC,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/calendar/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,MAAM,EAIN,MAAM,EACN,MAAM,IAAI,CAAC,EAEZ,MAAM,QAAQ,CAAA;AACf,OAAO,KAAK,QAAQ,MAAM,kBAAkB,CAAA;AAC5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,KAAK,OAAO,MAAM,iBAAiB,CAAA;AAE1C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAGrB,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,kBAAkB,CAAA;AAO3D;;8EAE8E;AAC9E,eAAO,MAAM,QAAQ,kDAA0C,CAAA;AAC/D,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAA;AAE3C;;;YAGY;AACZ,eAAO,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAahB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,wDAAwD;AACxD,eAAO,MAAM,UAAU;;;;;;EAAmD,CAAA;AAC1E;kDACkD;AAClD,eAAO,MAAM,gBAAgB;;;EAG3B,CAAA;AACF;0EAC0E;AAC1E,eAAO,MAAM,0BAA0B,iFAAkC,CAAA;AACzE;0EAC0E;AAC1E,eAAO,MAAM,sBAAsB,6EAA8B,CAAA;AACjE;mEACmE;AACnE,eAAO,MAAM,cAAc,qEAAsB,CAAA;AACjD;0DAC0D;AAC1D,eAAO,MAAM,aAAa;;EAAuC,CAAA;AACjE;iFACiF;AACjF,eAAO,MAAM,YAAY;;EAAqC,CAAA;AAC9D;2DAC2D;AAC3D,eAAO,MAAM,UAAU;;EAErB,CAAA;AACF,uDAAuD;AACvD,eAAO,MAAM,WAAW,kEAAmB,CAAA;AAC3C,oDAAoD;AACpD,eAAO,MAAM,WAAW,kEAAmB,CAAA;AAC3C,8EAA8E;AAC9E,eAAO,MAAM,cAAc;;;;;;EAEzB,CAAA;AACF,+CAA+C;AAC/C,eAAO,MAAM,kBAAkB,yEAA0B,CAAA;AAEzD,gEAAgE;AAChE,eAAO,MAAM,OAAO;;;;;;;;;;;;;;;;;;;;;6EAalB,CAAA;AACF,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAC/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD;;;2EAG2E;AAC3E,eAAO,MAAM,gBAAgB;;;EAG3B,CAAA;AAEF;;;uDAGuD;AACvD,eAAO,MAAM,YAAY;;;;;;EAEvB,CAAA;AAEF,2CAA2C;AAC3C,eAAO,MAAM,UAAU;;;;;;;;;IAA4C,CAAA;AACnE,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAC3D,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAInD,+DAA+D;AAC/D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,KAAK,EAAE,YAAY,CAAA;IACnB,eAAe,CAAC,EAAE,YAAY,CAAA;IAC9B,MAAM,CAAC,EAAE,QAAQ,CAAC,YAAY,CAAA;IAC9B,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,OAAO,CAAC,EAAE,YAAY,CAAA;IACtB,kBAAkB,CAAC,EAAE,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IACtD,aAAa,CAAC,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;CAC5C,CAAC,CAAA;AAEF;;;iCAGiC;AACjC,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAgBzC,CAAA;AAID,KAAK,YAAY,GAAG,SAAS;IAC3B,KAAK;IACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;CAC1B,CAAA;AAMD;6EAC6E;AAC7E,eAAO,MAAM,SAAS;;;;iBASrB,CAAA;AAED;;;;;wEAKwE;AACxE,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,EAAE,MAAM,YAAY,KAAG,YACzB,CAAA;AAErC;;;;kCAIkC;AAClC,eAAO,MAAM,SAAS,EAAE,OAAO,CAAC,KAAK,EAAE,YAAY,CAQlD,CAAA;AAED;;;;;;;oEAOoE;AACpE,eAAO,MAAM,cAAc,EAAE,OAAO,CAClC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;sEACsE;AACtE,eAAO,MAAM,cAAc,EAAE,OAAO,CAClC,KAAK,EACL,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;qEACqE;AACrE,eAAO,MAAM,oBAAoB,EAAE,OAAO,CACxC,KAAK,EACL,aAAa,CAAC,YAAY,CAAC,CAK5B,CAAA;AAED;;gBAEgB;AAChB,eAAO,MAAM,yBAAyB,EAAE,OAAO,CAC7C,KAAK,EACL,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,CAOlC,CAAA;AAED;;;;;;;;;wDASwD;AACxD,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,KAWzC,CAAA;AAuPD;0BAC0B;AAC1B,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,KAAG,YA+JrD,CAAA;AAmEH,yEAAyE;AACzE,MAAM,MAAM,OAAO,GAAG,QAAQ,CAAC;IAC7B,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,OAAO,EAAE,OAAO,CAAA;IAChB,aAAa,EAAE,OAAO,CAAA;IACtB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,yEAAyE;AACzE,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC1C,CAAC,CAAA;AAEF;+CAC+C;AAC/C,MAAM,MAAM,IAAI,GAAG,QAAQ,CAAC;IAC1B,UAAU,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACzC,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAA;CAC9B,CAAC,CAAA;AAEF;;;;cAIc;AACd,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,cAAc,EAAE,OAAO,CAAA;IACvB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,gBAAgB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC/C,UAAU,EAAE,OAAO,CAAA;IACnB,SAAS,EAAE,OAAO,CAAA;IAClB,aAAa,EAAE,OAAO,CAAA;IACtB,UAAU,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,uEAAuE;AACvE,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,mBAAmB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAClD,eAAe,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC9C,aAAa,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC5C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,SAAS,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACxC,aAAa,EAAE,aAAa,CAAC,YAAY,CAAC,CAAA;IAC1C,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC,CAAA;CAC3B,CAAC,CAAA;AAEF;;2EAE2E;AAC3E,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC;IAC1C,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,aAAa,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC5C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAChC,CAAC,CAAA;AAEF;yEACyE;AACzE,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,kBAAkB,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACjD,cAAc,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC7C,OAAO,EAAE,QAAQ,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC/C,IAAI,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACnC,KAAK,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAA;CAC/B,CAAC,CAAA;AAEF;;;0BAG0B;AAC1B,MAAM,MAAM,kBAAkB,GAC1B,kBAAkB,GAClB,oBAAoB,GACpB,mBAAmB,CAAA;AAEvB;;;;;oCAKoC;AACpC,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC;kCAC8B;IAC9B,iBAAiB,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;IAC9C,MAAM,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAChD,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,cAAc,CAAC,EAAE,MAAM,CAAA;IACvB,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,kBAAkB,CAAC,EAAE,MAAM,CAAA;IAC3B,sBAAsB,CAAC,EAAE,MAAM,CAAA;IAC/B,wBAAwB,CAAC,EAAE,MAAM,CAAA;CAClC,CAAC,CAAA;AAoeF;;;yCAGyC;AACzC,eAAO,MAAM,IAAI;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IAlff;kCAC8B;uBACX,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC;YACtC,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI;yBAC3B,MAAM;qBACV,MAAM;6BACE,MAAM;yBACV,MAAM;6BACF,MAAM;+BACJ,MAAM;GAoflC,CAAA"}

package/dist/calendar/index.js

@@ -24,7 +24,6 @@ export const Model = S.Struct({
     viewMonth: S.Int.check(S.isBetween({ minimum: 1, maximum: 12 })),
     viewMode: ViewMode,
     maybeFocusedDate: S.Option(Calendar.CalendarDate),
-    maybeSelectedDate: S.Option(Calendar.CalendarDate),
     isGridFocused: S.Boolean,
     locale: Calendar.LocaleConfig,
     maybeMinDate: S.Option(Calendar.CalendarDate),
@@ -104,11 +103,12 @@ export const SelectedDate = m('SelectedDate', {
 });
 /** Union of the calendar's OutMessages. */
 export const OutMessage = S.Union([ChangedViewMonth, SelectedDate]);
-/** Creates an initial calendar model. The view month defaults to the month
- * of the initial selected date, or today if no date is pre-selected. */
+/** Creates an initial calendar model. The selected date is owned by the
+ * parent and passed in via `ViewInputs.maybeSelectedDate`. The view month
+ * defaults to `initialViewDate` (pass the parent's selected date to open onto
+ * it), or today when omitted. */
 export const init = (config) => {
-    const maybeInitialSelectedDate = Option.fromNullishOr(config.initialSelectedDate);
-    const initialFocus = Option.getOrElse(maybeInitialSelectedDate, () => config.today);
+    const initialFocus = config.initialViewDate ?? config.today;
     return {
         id: config.id,
         today: config.today,
@@ -116,7 +116,6 @@ export const init = (config) => {
         viewMonth: initialFocus.month,
         viewMode: 'Days',
         maybeFocusedDate: Option.some(initialFocus),
-        maybeSelectedDate: maybeInitialSelectedDate,
         isGridFocused: false,
         locale: config.locale ?? Calendar.defaultEnglishLocale,
         maybeMinDate: Option.fromNullishOr(config.minDate),
@@ -138,23 +137,15 @@ export const FocusGrid = Command.define('FocusGrid', { id: S.String }, Completed
  *
  * Equivalent to dispatching `ClickedDay({ date })` through `update`. */
 export const selectDate = (model, date) => update(model, ClickedDay({ date }));
-/** Reflects an externally-sourced selected date onto the model without
- *  emitting an OutMessage. When a date is given, sets the selection and
- *  moves the view to the date's month so it stays visible, mirroring
- *  `selectDate`'s state change minus the `SelectedDate` announcement. Pass
- *  `Option.none()` to clear the selection (the view is left where it is).
- *  Use this to mirror external truth (a URL parameter, a saved draft) onto
- *  the calendar. Contrast with `selectDate`, a user or programmatic
- *  *choice* that emits `SelectedDate`. Returns the model directly because
- *  it produces no commands and no OutMessage. */
-export const reflectSelectedDate = Function.dual(2, (model, maybeDate) => Option.match(maybeDate, {
-    onNone: () => evo(model, { maybeSelectedDate: () => Option.none() }),
-    onSome: date => evo(model, {
-        maybeSelectedDate: () => Option.some(date),
-        maybeFocusedDate: () => Option.some(date),
-        viewYear: () => date.year,
-        viewMonth: () => date.month,
-    }),
+/** Moves the calendar's view and cursor to a date without changing the
+ *  selection (which the parent owns). Use it to navigate to a known date, for
+ *  example when opening a date picker onto its current value so the selected
+ *  month is visible. Returns the model directly because it produces no
+ *  commands and no OutMessage. */
+export const focusDate = Function.dual(2, (model, date) => evo(model, {
+    maybeFocusedDate: () => Option.some(date),
+    viewYear: () => date.year,
+    viewMonth: () => date.month,
 }));
 /** Reflects the minimum selectable date onto the model. Pass `Option.none()`
  * to remove the minimum. Use this when the minimum derives from other Model
@@ -250,7 +241,6 @@ const currentOrFallbackFocus = (model) => Option.getOrElse(model.maybeFocusedDat
  * a separate `ChangedViewMonth` signal that would race with the selection. */
 const commitSelection = (model, date) => {
     const nextModel = evo(model, {
-        maybeSelectedDate: () => Option.some(date),
         maybeFocusedDate: () => Option.some(date),
         viewYear: () => date.year,
         viewMonth: () => date.month,
@@ -516,7 +506,8 @@ const isYearDisabled = (model, year) => Option.exists(model.maybeMinDate, min =>
     Option.exists(model.maybeMaxDate, max => year > max.year);
 const buildDaysAttributes = (model, viewInputs) => {
     const h = html();
-    const { id, viewYear, viewMonth, maybeFocusedDate, maybeSelectedDate, today, locale, isGridFocused, } = model;
+    const { id, viewYear, viewMonth, maybeFocusedDate, today, locale, isGridFocused, } = model;
+    const { maybeSelectedDate } = viewInputs;
     const previousMonthLabel = viewInputs.previousMonthLabel ?? 'Previous month';
     const nextMonthLabel = viewInputs.nextMonthLabel ?? 'Next month';
     const headingButtonLabel = viewInputs.daysHeadingButtonLabel ?? 'Switch to month picker';

package/dist/calendar/public.d.ts

@@ -1,3 +1,3 @@
-export { init, update, view, selectDate, reflectSelectedDate, reflectMinDate, reflectMaxDate, reflectDisabledDates, reflectDisabledDaysOfWeek, dropToDays, Model, ViewMode, Message, OutMessage, ChangedViewMonth, SelectedDate, ClickedDay, PressedKeyOnGrid, ClickedPreviousMonthButton, ClickedNextMonthButton, ClickedHeading, SelectedMonth, SelectedYear, PagedYears, FocusedGrid, BlurredGrid, RefreshedToday, CompletedFocusGrid, FocusGrid, } from './index.js';
+export { init, update, view, selectDate, focusDate, reflectMinDate, reflectMaxDate, reflectDisabledDates, reflectDisabledDaysOfWeek, dropToDays, Model, ViewMode, Message, OutMessage, ChangedViewMonth, SelectedDate, ClickedDay, PressedKeyOnGrid, ClickedPreviousMonthButton, ClickedNextMonthButton, ClickedHeading, SelectedMonth, SelectedYear, PagedYears, FocusedGrid, BlurredGrid, RefreshedToday, CompletedFocusGrid, FocusGrid, } from './index.js';
 export type { InitConfig, ViewInputs, CalendarAttributes, DaysModeAttributes, MonthsModeAttributes, YearsModeAttributes, DayCell, ColumnHeader, Week, MonthCell, YearCell, } from './index.js';
 //# sourceMappingURL=public.d.ts.map

package/dist/calendar/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/calendar/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,UAAU,EACV,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,oBAAoB,EACpB,yBAAyB,EACzB,UAAU,EACV,KAAK,EACL,QAAQ,EACR,OAAO,EACP,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,0BAA0B,EAC1B,sBAAsB,EACtB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,UAAU,EACV,WAAW,EACX,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,SAAS,GACV,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,OAAO,EACP,YAAY,EACZ,IAAI,EACJ,SAAS,EACT,QAAQ,GACT,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/calendar/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,UAAU,EACV,SAAS,EACT,cAAc,EACd,cAAc,EACd,oBAAoB,EACpB,yBAAyB,EACzB,UAAU,EACV,KAAK,EACL,QAAQ,EACR,OAAO,EACP,UAAU,EACV,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,0BAA0B,EAC1B,sBAAsB,EACtB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,UAAU,EACV,WAAW,EACX,WAAW,EACX,cAAc,EACd,kBAAkB,EAClB,SAAS,GACV,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,UAAU,EACV,UAAU,EACV,kBAAkB,EAClB,kBAAkB,EAClB,oBAAoB,EACpB,mBAAmB,EACnB,OAAO,EACP,YAAY,EACZ,IAAI,EACJ,SAAS,EACT,QAAQ,GACT,MAAM,YAAY,CAAA"}

package/dist/calendar/public.js

@@ -1 +1 @@
-export { init, update, view, selectDate, reflectSelectedDate, reflectMinDate, reflectMaxDate, reflectDisabledDates, reflectDisabledDaysOfWeek, dropToDays, Model, ViewMode, Message, OutMessage, ChangedViewMonth, SelectedDate, ClickedDay, PressedKeyOnGrid, ClickedPreviousMonthButton, ClickedNextMonthButton, ClickedHeading, SelectedMonth, SelectedYear, PagedYears, FocusedGrid, BlurredGrid, RefreshedToday, CompletedFocusGrid, FocusGrid, } from './index.js';
+export { init, update, view, selectDate, focusDate, reflectMinDate, reflectMaxDate, reflectDisabledDates, reflectDisabledDaysOfWeek, dropToDays, Model, ViewMode, Message, OutMessage, ChangedViewMonth, SelectedDate, ClickedDay, PressedKeyOnGrid, ClickedPreviousMonthButton, ClickedNextMonthButton, ClickedHeading, SelectedMonth, SelectedYear, PagedYears, FocusedGrid, BlurredGrid, RefreshedToday, CompletedFocusGrid, FocusGrid, } from './index.js';

package/dist/checkbox/index.d.ts

@@ -1,119 +1,62 @@
-import { Option, Schema as S } from 'effect';
-import type { Command } from 'foldkit/command';
-import { type ChildAttribute, type Html } from 'foldkit/html';
-import { type Reflect } from 'foldkit/submodel';
-/** Schema for the checkbox component's state, tracking the checked status. */
-export declare const Model: S.Struct<{
-    readonly id: S.String;
-    readonly isChecked: S.Boolean;
-}>;
-export type Model = typeof Model.Type;
-/** Sent when the user toggles the checkbox via click or Space key. */
-export declare const Toggled: import("foldkit/schema").CallableTaggedStruct<"Toggled", {}>;
-/** Sent to set the checked state to a specific value. Use this for
- *  programmatic state assignment (e.g. a "select all" handler that forces
- *  all child checkboxes to the same state) where `Toggled`'s flip semantics
- *  would not reliably reach the desired state. */
-export declare const SetChecked: import("foldkit/schema").CallableTaggedStruct<"SetChecked", {
-    isChecked: S.Boolean;
-}>;
-/** Schema for all messages the checkbox component can produce. */
-export declare const Message: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"Toggled", {}>, import("foldkit/schema").CallableTaggedStruct<"SetChecked", {
-    isChecked: S.Boolean;
-}>]>;
-export type Toggled = typeof Toggled.Type;
-export type SetChecked = typeof SetChecked.Type;
-export type Message = typeof Message.Type;
-/** Sent to the parent each time the checkbox toggles. Carries the new
- *  checked state. Consumers pattern-match this in their `GotCheckboxMessage`
- *  handler to lift the toggle into a domain Message (e.g., persisting the
- *  flag, dispatching a save command). */
-export declare const ToggledChecked: import("foldkit/schema").CallableTaggedStruct<"ToggledChecked", {
-    isChecked: S.Boolean;
-}>;
-/** Union of out-messages the checkbox component can produce. Surfaced as
- *  the third element of `update`'s return tuple and pattern-matched by
- *  the parent. */
-export declare const OutMessage: S.Union<readonly [import("foldkit/schema").CallableTaggedStruct<"ToggledChecked", {
-    isChecked: S.Boolean;
-}>]>;
-export type ToggledChecked = typeof ToggledChecked.Type;
-export type OutMessage = typeof OutMessage.Type;
-/** Configuration for creating a checkbox model with `init`. */
-export type InitConfig = Readonly<{
-    id: string;
-    isChecked?: boolean;
-}>;
-/** Creates an initial checkbox model from a config. Defaults to unchecked. */
-export declare const init: (config: InitConfig) => Model;
-/** Processes a checkbox message and returns the next model, commands,
- *  and a `ToggledChecked` OutMessage carrying the new checked state. */
-export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray<Command<Message>>, Option.Option<OutMessage>];
-/** Programmatically sets the checked state. Emits a `ToggledChecked`
- *  OutMessage just like a user-initiated toggle. Use this in domain-event
- *  handlers where you need to force a specific state (e.g. "select all"). */
-export declare const setChecked: (model: Model, isChecked: boolean) => readonly [Model, ReadonlyArray<Command<Message>>, Option.Option<OutMessage>];
-/** Reflects an externally-sourced checked state onto the model without
- *  emitting an OutMessage. Use this to mirror external truth (saved
- *  settings, a server value) onto the checkbox without triggering the
- *  downstream reaction a user toggle would cause. Contrast with
- *  `setChecked`, which emits `ToggledChecked` so the parent reacts to a
- *  programmatic assignment the same way it reacts to a user toggle. Returns
- *  the model directly because it produces no commands and no OutMessage. */
-export declare const reflectChecked: Reflect<Model, boolean>;
-/** Attribute groups the checkbox component provides to the consumer's
- *  `toView` callback. Each group is a `ReadonlyArray<ChildAttribute>`:
- *  attributes published from inside Checkbox's own boundary that the
- *  consumer can spread directly into its own element attribute arrays:
+import { type Attribute, type Html } from 'foldkit/html';
+/** Attribute groups the checkbox provides to the consumer's `toView`
+ *  callback. Each group is a `ReadonlyArray<Attribute<Message>>` the
+ *  consumer spreads directly into its own element attribute arrays:
  *
  *  ```ts
  *  toView: attributes =>
  *    h.div(
- *      [...attributes.checkbox, h.Class('my-class'), h.OnClick(MyOwnMsg())],
+ *      [...attributes.checkbox, h.Class('my-class')],
  *      [...],
  *    )
  *  ```
  *
- *  Checkbox's own `OnClick(Toggled())` handlers (carried inside
- *  `attributes.checkbox` etc.) dispatch `Toggled` through Checkbox's
- *  boundary wrap at event-fire time. The consumer's own
- *  `OnClick(MyOwnMsg())` lives in the parent's boundary and dispatches
- *  unwrapped. The two routes are tracked separately by the runtime; the
- *  consumer never has to think about which boundary an attribute belongs
- *  to. */
-export type CheckboxAttributes = Readonly<{
-    checkbox: ReadonlyArray<ChildAttribute>;
-    label: ReadonlyArray<ChildAttribute>;
-    description: ReadonlyArray<ChildAttribute>;
-    hiddenInput: ReadonlyArray<ChildAttribute>;
+ *  The `checkbox` and `label` bundles carry the click and Space handlers that
+ *  dispatch the configured `onToggle` Message. */
+export type CheckboxAttributes<Message> = Readonly<{
+    checkbox: ReadonlyArray<Attribute<Message>>;
+    label: ReadonlyArray<Attribute<Message>>;
+    description: ReadonlyArray<Attribute<Message>>;
+    hiddenInput: ReadonlyArray<Attribute<Message>>;
 }>;
-/** Per-render view inputs passed to `view` via `h.submodel`'s `viewInputs` field.
- *  Slot content (`toView`) and behavioral flags live here; the parent
- *  declares them at the embed site rather than threading them through the
- *  Submodel as a generic-parameterized callback. */
-export type ViewInputs = Readonly<{
-    toView: (attributes: CheckboxAttributes) => Html;
+/** Per-render view configuration for the stateless controlled {@link view}.
+ *  Generic over `Message` (the message `onToggle` dispatches).
+ *
+ *  - `isChecked`: the current checked state, read straight from the parent
+ *    Model. `aria-checked` and the `data-checked` marker derive from it.
+ *  - `onToggle`: dispatched with the new checked state when the user clicks
+ *    the checkbox or its label, or presses Space. Handle it in the parent's
+ *    `update` by storing the value.
+ *  - `toView`: receives the {@link CheckboxAttributes} and lays out the
+ *    checkbox. */
+export type ViewConfig<Message> = Readonly<{
+    id: string;
+    isChecked: boolean;
+    onToggle: (isChecked: boolean) => Message;
+    toView: (attributes: CheckboxAttributes<Message>) => Html;
     isDisabled?: boolean;
     isIndeterminate?: boolean;
     name?: string;
     value?: string;
 }>;
-/** Renders an accessible checkbox by building ARIA attribute groups and
- *  delegating layout to the consumer's `toView` callback. Embedded via
- *  `h.submodel`. */
-export declare const view: import("foldkit/submodel").View<S.Struct.ReadonlySide<{
-    readonly id: S.String;
-    readonly isChecked: S.Boolean;
-}, "Type">, S.Struct.ReadonlySide<{
-    readonly _tag: S.tag<"Toggled">;
-}, "Type"> | S.Struct.ReadonlySide<{
-    readonly _tag: S.tag<"SetChecked">;
-    isChecked: S.Boolean;
-}, "Type">, Readonly<{
-    toView: (attributes: CheckboxAttributes) => Html;
-    isDisabled?: boolean;
-    isIndeterminate?: boolean;
-    name?: string;
-    value?: string;
-}>>;
+/** Renders an accessible checkbox as a stateless controlled component. The
+ *  parent owns the checked state (`isChecked`) and receives the new state via
+ *  `onToggle` when the user toggles it.
+ *
+ *  ```ts
+ *  // In view:
+ *  Checkbox.view<Message>({
+ *    id: 'accept-terms',
+ *    isChecked: model.acceptedTerms,
+ *    onToggle: isChecked => ToggledTerms({ isChecked }),
+ *    toView: attributes => ...,
+ *  })
+ *
+ *  // In update:
+ *  ToggledTerms: ({ isChecked }) => [
+ *    evo(model, { acceptedTerms: () => isChecked }),
+ *    [],
+ *  ],
+ *  ``` */
+export declare const view: <Message>(config: ViewConfig<Message>) => Html;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkbox/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,MAAM,EAAE,MAAM,IAAI,CAAC,EAAE,MAAM,QAAQ,CAAA;AAClE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAA;AAC9C,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,IAAI,EAGV,MAAM,cAAc,CAAA;AAGrB,OAAO,EAAE,KAAK,OAAO,EAAc,MAAM,kBAAkB,CAAA;AAI3D,8EAA8E;AAC9E,eAAO,MAAM,KAAK;;;EAGhB,CAAA;AAEF,MAAM,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,IAAI,CAAA;AAIrC,sEAAsE;AACtE,eAAO,MAAM,OAAO,8DAAe,CAAA;AAEnC;;;kDAGkD;AAClD,eAAO,MAAM,UAAU;;EAA4C,CAAA;AAEnE,kEAAkE;AAClE,eAAO,MAAM,OAAO;;IAAiC,CAAA;AAErD,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAEzC,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAE/C,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAA;AAIzC;;;yCAGyC;AACzC,eAAO,MAAM,cAAc;;EAAgD,CAAA;AAE3E;;kBAEkB;AAClB,eAAO,MAAM,UAAU;;IAA4B,CAAA;AAEnD,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AACvD,MAAM,MAAM,UAAU,GAAG,OAAO,UAAU,CAAC,IAAI,CAAA;AAI/C,+DAA+D;AAC/D,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,eAAO,MAAM,IAAI,GAAI,QAAQ,UAAU,KAAG,KAGxC,CAAA;AAIF;wEACwE;AACxE,eAAO,MAAM,MAAM,GACjB,OAAO,KAAK,EACZ,SAAS,OAAO,KACf,SAAS,CACV,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAC/B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAyBxB,CAAA;AAEH;;6EAE6E;AAC7E,eAAO,MAAM,UAAU,GACrB,OAAO,KAAK,EACZ,WAAW,OAAO,KACjB,SAAS,CACV,KAAK,EACL,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAC/B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CACkB,CAAA;AAE7C;;;;;;4EAM4E;AAC5E,eAAO,MAAM,cAAc,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,CAIlD,CAAA;AAID;;;;;;;;;;;;;;;;;;;UAmBU;AACV,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,QAAQ,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACvC,KAAK,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IACpC,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;IAC1C,WAAW,EAAE,aAAa,CAAC,cAAc,CAAC,CAAA;CAC3C,CAAC,CAAA;AAEF;;;oDAGoD;AACpD,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC;IAChC,MAAM,EAAE,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI,CAAA;IAChD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAC,CAAA;AAKF;;oBAEoB;AACpB,eAAO,MAAM,IAAI;;;;;;;;;YAbP,CAAC,UAAU,EAAE,kBAAkB,KAAK,IAAI;iBACnC,OAAO;sBACF,OAAO;WAClB,MAAM;YACL,MAAM;GAoEf,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/checkbox/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,SAAS,EAAE,KAAK,IAAI,EAAQ,MAAM,cAAc,CAAA;AAI9D;;;;;;;;;;;;;kDAakD;AAClD,MAAM,MAAM,kBAAkB,CAAC,OAAO,IAAI,QAAQ,CAAC;IACjD,QAAQ,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IAC3C,KAAK,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IACxC,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;IAC9C,WAAW,EAAE,aAAa,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAA;CAC/C,CAAC,CAAA;AAEF;;;;;;;;;kBASkB;AAClB,MAAM,MAAM,UAAU,CAAC,OAAO,IAAI,QAAQ,CAAC;IACzC,EAAE,EAAE,MAAM,CAAA;IACV,SAAS,EAAE,OAAO,CAAA;IAClB,QAAQ,EAAE,CAAC,SAAS,EAAE,OAAO,KAAK,OAAO,CAAA;IACzC,MAAM,EAAE,CAAC,UAAU,EAAE,kBAAkB,CAAC,OAAO,CAAC,KAAK,IAAI,CAAA;IACzD,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,eAAe,CAAC,EAAE,OAAO,CAAA;IACzB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;CACf,CAAC,CAAA;AAKF;;;;;;;;;;;;;;;;;;UAkBU;AACV,eAAO,MAAM,IAAI,GAAI,OAAO,EAAE,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAG,IAqE3D,CAAA"}

package/dist/checkbox/index.js

@@ -1,84 +1,42 @@
-import { Function, Match as M, Option, Schema as S } from 'effect';
-import { childAttributes, html, } from 'foldkit/html';
-import { m } from 'foldkit/message';
-import { evo } from 'foldkit/struct';
-import { defineView } from 'foldkit/submodel';
-// MODEL
-/** Schema for the checkbox component's state, tracking the checked status. */
-export const Model = S.Struct({
-    id: S.String,
-    isChecked: S.Boolean,
-});
-// MESSAGE
-/** Sent when the user toggles the checkbox via click or Space key. */
-export const Toggled = m('Toggled');
-/** Sent to set the checked state to a specific value. Use this for
- *  programmatic state assignment (e.g. a "select all" handler that forces
- *  all child checkboxes to the same state) where `Toggled`'s flip semantics
- *  would not reliably reach the desired state. */
-export const SetChecked = m('SetChecked', { isChecked: S.Boolean });
-/** Schema for all messages the checkbox component can produce. */
-export const Message = S.Union([Toggled, SetChecked]);
-// OUT MESSAGE
-/** Sent to the parent each time the checkbox toggles. Carries the new
- *  checked state. Consumers pattern-match this in their `GotCheckboxMessage`
- *  handler to lift the toggle into a domain Message (e.g., persisting the
- *  flag, dispatching a save command). */
-export const ToggledChecked = m('ToggledChecked', { isChecked: S.Boolean });
-/** Union of out-messages the checkbox component can produce. Surfaced as
- *  the third element of `update`'s return tuple and pattern-matched by
- *  the parent. */
-export const OutMessage = S.Union([ToggledChecked]);
-/** Creates an initial checkbox model from a config. Defaults to unchecked. */
-export const init = (config) => ({
-    id: config.id,
-    isChecked: config.isChecked ?? false,
-});
-// UPDATE
-/** Processes a checkbox message and returns the next model, commands,
- *  and a `ToggledChecked` OutMessage carrying the new checked state. */
-export const update = (model, message) => M.value(message).pipe(M.withReturnType(), M.tagsExhaustive({
-    Toggled: () => {
-        const nextIsChecked = !model.isChecked;
-        return [
-            evo(model, { isChecked: () => nextIsChecked }),
-            [],
-            Option.some(ToggledChecked({ isChecked: nextIsChecked })),
-        ];
-    },
-    SetChecked: ({ isChecked }) => [
-        evo(model, { isChecked: () => isChecked }),
-        [],
-        Option.some(ToggledChecked({ isChecked })),
-    ],
-}));
-/** Programmatically sets the checked state. Emits a `ToggledChecked`
- *  OutMessage just like a user-initiated toggle. Use this in domain-event
- *  handlers where you need to force a specific state (e.g. "select all"). */
-export const setChecked = (model, isChecked) => update(model, SetChecked({ isChecked }));
-/** Reflects an externally-sourced checked state onto the model without
- *  emitting an OutMessage. Use this to mirror external truth (saved
- *  settings, a server value) onto the checkbox without triggering the
- *  downstream reaction a user toggle would cause. Contrast with
- *  `setChecked`, which emits `ToggledChecked` so the parent reacts to a
- *  programmatic assignment the same way it reacts to a user toggle. Returns
- *  the model directly because it produces no commands and no OutMessage. */
-export const reflectChecked = Function.dual(2, (model, isChecked) => evo(model, { isChecked: () => isChecked }));
+import { Match as M, Option } from 'effect';
+import { html } from 'foldkit/html';
 const labelId = (id) => `${id}-label`;
 const descriptionId = (id) => `${id}-description`;
-/** Renders an accessible checkbox by building ARIA attribute groups and
- *  delegating layout to the consumer's `toView` callback. Embedded via
- *  `h.submodel`. */
-export const view = defineView((model, viewInputs) => {
+/** Renders an accessible checkbox as a stateless controlled component. The
+ *  parent owns the checked state (`isChecked`) and receives the new state via
+ *  `onToggle` when the user toggles it.
+ *
+ *  ```ts
+ *  // In view:
+ *  Checkbox.view<Message>({
+ *    id: 'accept-terms',
+ *    isChecked: model.acceptedTerms,
+ *    onToggle: isChecked => ToggledTerms({ isChecked }),
+ *    toView: attributes => ...,
+ *  })
+ *
+ *  // In update:
+ *  ToggledTerms: ({ isChecked }) => [
+ *    evo(model, { acceptedTerms: () => isChecked }),
+ *    [],
+ *  ],
+ *  ``` */
+export const view = (config) => {
     const h = html();
-    const { id, isChecked } = model;
-    const { isDisabled = false, isIndeterminate = false, name, value: formValue = 'on', } = viewInputs;
-    const handleKeyUp = (key) => M.value(key).pipe(M.when(' ', () => Option.some(Toggled())), M.orElse(() => Option.none()));
-    const stateAttributes = isIndeterminate
-        ? [h.DataAttribute('indeterminate', '')]
-        : isChecked
-            ? [h.DataAttribute('checked', '')]
-            : [];
+    const { id, isChecked, onToggle, toView, isDisabled = false, isIndeterminate = false, name, value: formValue = 'on', } = config;
+    const nextChecked = !isChecked;
+    const handleKeyUp = (key) => M.value(key).pipe(M.when(' ', () => Option.some(onToggle(nextChecked))), M.orElse(() => Option.none()));
+    const resolveStateAttributes = () => {
+        if (isIndeterminate) {
+            return [h.DataAttribute('indeterminate', '')];
+        }
+        else if (isChecked) {
+            return [h.DataAttribute('checked', '')];
+        }
+        else {
+            return [];
+        }
+    };
     const disabledAttributes = isDisabled
         ? [h.AriaDisabled(true), h.DataAttribute('disabled', '')]
         : [];
@@ -88,24 +46,27 @@ export const view = defineView((model, viewInputs) => {
         h.AriaLabelledBy(labelId(id)),
         h.AriaDescribedBy(descriptionId(id)),
         h.Tabindex(0),
-        ...stateAttributes,
+        ...resolveStateAttributes(),
         ...disabledAttributes,
         ...(isDisabled
             ? []
-            : [h.OnClick(Toggled()), h.OnKeyUpPreventDefault(handleKeyUp)]),
+            : [
+                h.OnClick(onToggle(nextChecked)),
+                h.OnKeyUpPreventDefault(handleKeyUp),
+            ]),
     ];
     const labelAttributes = [
         h.Id(labelId(id)),
-        ...(isDisabled ? [] : [h.OnClick(Toggled())]),
+        ...(isDisabled ? [] : [h.OnClick(onToggle(nextChecked))]),
     ];
     const descriptionAttributes = [h.Id(descriptionId(id))];
     const hiddenInputAttributes = name
         ? [h.Type('hidden'), h.Name(name), h.Value(isChecked ? formValue : '')]
         : [];
-    return viewInputs.toView({
-        checkbox: childAttributes(checkboxAttributes),
-        label: childAttributes(labelAttributes),
-        description: childAttributes(descriptionAttributes),
-        hiddenInput: childAttributes(hiddenInputAttributes),
+    return toView({
+        checkbox: checkboxAttributes,
+        label: labelAttributes,
+        description: descriptionAttributes,
+        hiddenInput: hiddenInputAttributes,
     });
-});
+};

package/dist/checkbox/public.d.ts

@@ -1,3 +1,3 @@
-export { init, update, setChecked, reflectChecked, view, Model, Message, OutMessage, SetChecked, ToggledChecked, } from './index.js';
-export type { Toggled, InitConfig, ViewInputs, CheckboxAttributes, } from './index.js';
+export { view } from './index.js';
+export type { ViewConfig, CheckboxAttributes } from './index.js';
 //# sourceMappingURL=public.d.ts.map

package/dist/checkbox/public.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/checkbox/public.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,IAAI,EACJ,MAAM,EACN,UAAU,EACV,cAAc,EACd,IAAI,EACJ,KAAK,EACL,OAAO,EACP,UAAU,EACV,UAAU,EACV,cAAc,GACf,MAAM,YAAY,CAAA;AAEnB,YAAY,EACV,OAAO,EACP,UAAU,EACV,UAAU,EACV,kBAAkB,GACnB,MAAM,YAAY,CAAA"}
+{"version":3,"file":"public.d.ts","sourceRoot":"","sources":["../../src/checkbox/public.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEjC,YAAY,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAA"}

package/dist/checkbox/public.js

@@ -1 +1 @@
-export { init, update, setChecked, reflectChecked, view, Model, Message, OutMessage, SetChecked, ToggledChecked, } from './index.js';
+export { view } from './index.js';