foldkit-primitives 0.2.0 → 0.3.0

package/dist/motion/index.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.mjs","names":[],"sources":["../../src/motion/presence.ts","../../src/motion/spring.ts","../../src/motion/tween.ts"],"sourcesContent":["/**\n * Presence as a bundle: mount-transition state for exit animations. `Hide`\n * starts a timed `hiding` phase; the `Hidden` fact it yields carries the\n * generation it was scheduled under, so a `Show` in between wins and the\n * late fact is ignored. The clock is Effect's, so tests drive it.\n */\nimport { Effect, Schema } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport type * as Update from 'foldkit/update'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const PresenceModel = Schema.Struct({\n  phase: Schema.Literals(['shown', 'hiding', 'hidden']),\n  generation: Schema.Number,\n})\nexport type PresenceModel = typeof PresenceModel.Type\n\nexport const PresenceMessage = defineMessageUnion({\n  Show: {},\n  Hide: {},\n  Hidden: { generation: Schema.Number },\n})\nexport type PresenceMessage = typeof PresenceMessage.Type\n\n/** Whether the content renders: shown or mid-exit. */\nexport const isVisible = (model: PresenceModel): boolean => model.phase !== 'hidden'\n\nexport const Presence = Bundle.make<\n  'Presence',\n  PresenceModel,\n  PresenceMessage,\n  { readonly durationMs: number },\n  never,\n  never,\n  never,\n  void,\n  {},\n  {}\n>('Presence', {\n  Model: PresenceModel,\n  Message: PresenceMessage,\n  args: Schema.Struct({\n    durationMs: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n  }),\n  init: () => ({ model: { phase: 'hidden', generation: 0 } }),\n  update: (model, message, args) =>\n    PresenceMessage.match<Update.ReturnWithOutMessage<PresenceModel, PresenceMessage, never>>(\n      message,\n      {\n        // Every new transition invalidates pending timeouts.\n        Show: () => ({\n          model: { ...model, phase: 'shown' as const, generation: model.generation + 1 },\n        }),\n        Hide: () => {\n          const generation = model.generation + 1\n          return {\n            model: { ...model, phase: 'hiding' as const, generation },\n            commands: [\n              {\n                name: 'Presence.hide',\n                args: { generation },\n                effect: Effect.as(\n                  Effect.sleep(args.durationMs),\n                  PresenceMessage.Hidden({ generation }),\n                ),\n              },\n            ],\n          }\n        },\n        Hidden: ({ generation }) =>\n          generation === model.generation\n            ? { model: { ...model, phase: 'hidden' as const } }\n            : { model },\n      },\n    ),\n})\n","/**\n * A spring as a bundle: a number pulled toward a target with stiffness and\n * damping, in the Model. Semi-implicit Euler at a fixed 16ms step, so the\n * trajectory is deterministic under TestClock; the stream ends with\n * Finished, and the value rests exactly at `to`. Underdamped springs\n * overshoot — that is the point — but the rest value is still exact.\n */\nimport { Schema, Stream } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport * as Subscription from 'foldkit/subscription'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const SpringModel = Schema.Struct({\n  value: Schema.Number,\n  velocity: Schema.Number,\n  running: Schema.Boolean,\n})\nexport type SpringModel = typeof SpringModel.Type\n\nexport const SpringMessage = defineMessageUnion({\n  Started: {},\n  Stopped: {},\n  Ticked: { value: Schema.Number, velocity: Schema.Number },\n  /** Carries the exact end value: the integrator stops near it, not on it. */\n  Finished: { value: Schema.Number },\n})\nexport type SpringMessage = typeof SpringMessage.Type\n\nconst step = 16\nconst epsilon = 0.001\n\ninterface Point {\n  readonly x: number\n  readonly v: number\n}\n\nconst settled = (point: Point, to: number): boolean =>\n  Math.abs(to - point.x) < epsilon && Math.abs(point.v) < epsilon\n\nexport const Spring = Bundle.make('Spring', {\n  Model: SpringModel,\n  Message: SpringMessage,\n  args: Schema.Struct({\n    from: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    to: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    stiffness: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n    damping: Schema.Number.pipe(\n      Schema.check(Schema.isGreaterThan(0)),\n      Schema.check(Schema.isFinite()),\n    ),\n  }),\n  init: args => ({ model: { value: args.from, velocity: 0, running: false } }),\n  update: (model, message) =>\n    SpringMessage.match(message, {\n      Started: () => ({ model: { ...model, running: true } }),\n      Stopped: () => ({ model: { ...model, running: false } }),\n      Ticked: ({ value, velocity }) => ({ model: { ...model, value, velocity } }),\n      Finished: ({ value }) => ({ model: { ...model, value, velocity: 0, running: false } }),\n    }),\n  subscriptions: ({\n    from,\n    to,\n    stiffness,\n    damping,\n  }): Subscription.Subscriptions<SpringModel, SpringMessage> =>\n    Subscription.make<SpringModel, SpringMessage>()(entry => ({\n      ticks: entry(\n        { running: Schema.Boolean },\n        {\n          modelToDependencies: model => ({ running: model.running }),\n          dependenciesToStream: ({ running }) => {\n            if (!running) return Stream.empty\n            // One integration step per tick, not per elapsed wall time: the\n            // trajectory is identical on the live clock and TestClock, and a\n            // stalled event loop slows the animation instead of catching up\n            // all at once.\n            const dt = step / 1000\n            const points = Stream.tick(step).pipe(\n              Stream.scan({ x: from, v: 0 }, point => {\n                const force = -stiffness * (point.x - to) - damping * point.v\n                const v = point.v + force * dt\n                return { x: point.x + v * dt, v }\n              }),\n              // scan emits the seed (no movement yet) before the first step.\n              Stream.drop(1),\n            )\n            return Stream.concat(\n              points.pipe(\n                Stream.takeUntil(point => settled(point, to)),\n                Stream.map(point => SpringMessage.Ticked({ value: point.x, velocity: point.v })),\n              ),\n              Stream.make(SpringMessage.Finished({ value: to })),\n            )\n          },\n        },\n      ),\n    })),\n})\n","/**\n * A tween as a bundle: a number animated from one value to another over a\n * duration, in the Model. Progress comes from Effect's clock, so tests drive\n * it with TestClock; the stream ends with Finished, and the value rests at\n * `to`. Linear interpolation only: easing curves stay the application's job.\n */\nimport { Clock, Effect, Schema, Stream } from 'effect'\nimport { defineMessageUnion } from 'foldkit/message'\nimport * as Subscription from 'foldkit/subscription'\nimport { Bundle } from 'foldkit-bundle'\n\nexport const TweenModel = Schema.Struct({ value: Schema.Number, running: Schema.Boolean })\nexport type TweenModel = typeof TweenModel.Type\n\nexport const TweenMessage = defineMessageUnion({\n  Started: {},\n  Stopped: {},\n  Ticked: { value: Schema.Number },\n  /** Carries the exact end value: the stream may stop on either side of it. */\n  Finished: { value: Schema.Number },\n})\nexport type TweenMessage = typeof TweenMessage.Type\n\nexport const Tween = Bundle.make('Tween', {\n  Model: TweenModel,\n  Message: TweenMessage,\n  args: Schema.Struct({\n    from: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    to: Schema.Number.pipe(Schema.check(Schema.isFinite())),\n    ms: Schema.Number.pipe(Schema.check(Schema.isGreaterThan(0)), Schema.check(Schema.isFinite())),\n  }),\n  init: args => ({ model: { value: args.from, running: false } }),\n  update: (model, message) =>\n    TweenMessage.match(message, {\n      Started: () => ({ model: { ...model, running: true } }),\n      Stopped: () => ({ model: { ...model, running: false } }),\n      Ticked: ({ value }) => ({ model: { ...model, value } }),\n      Finished: ({ value }) => ({ model: { ...model, value, running: false } }),\n    }),\n  subscriptions: ({ from, to, ms }): Subscription.Subscriptions<TweenModel, TweenMessage> =>\n    Subscription.make<TweenModel, TweenMessage>()(entry => ({\n      ticks: entry(\n        { running: Schema.Boolean },\n        {\n          modelToDependencies: model => ({ running: model.running }),\n          dependenciesToStream: ({ running }) =>\n            running\n              ? Stream.unwrap(\n                  Clock.currentTimeMillis.pipe(\n                    Effect.map(startedAt => {\n                      const progress = Stream.tick(16).pipe(\n                        Stream.mapEffect(() => Clock.currentTimeMillis),\n                        Stream.map(now => Math.min(1, (now - startedAt) / ms)),\n                      )\n                      return Stream.concat(\n                        progress.pipe(\n                          Stream.takeUntil(done => done >= 1),\n                          Stream.map(done =>\n                            TweenMessage.Ticked({ value: from + (to - from) * done }),\n                          ),\n                        ),\n                        Stream.make(TweenMessage.Finished({ value: to })),\n                      )\n                    }),\n                  ),\n                )\n              : Stream.empty,\n        },\n      ),\n    })),\n})\n"],"mappings":";;;;;;;;;;;AAWA,MAAa,gBAAgB,OAAO,OAAO;CACzC,OAAO,OAAO,SAAS;EAAC;EAAS;EAAU;CAAQ,CAAC;CACpD,YAAY,OAAO;AACrB,CAAC;AAGD,MAAa,kBAAkB,mBAAmB;CAChD,MAAM,CAAC;CACP,MAAM,CAAC;CACP,QAAQ,EAAE,YAAY,OAAO,OAAO;AACtC,CAAC;;AAID,MAAa,aAAa,UAAkC,MAAM,UAAU;AAE5E,MAAa,WAAW,OAAO,KAW7B,YAAY;CACZ,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO,EAClB,YAAY,OAAO,OAAO,KACxB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC,EACF,CAAC;CACD,aAAa,EAAE,OAAO;EAAE,OAAO;EAAU,YAAY;CAAE,EAAE;CACzD,SAAS,OAAO,SAAS,SACvB,gBAAgB,MACd,SACA;EAEE,aAAa,EACX,OAAO;GAAE,GAAG;GAAO,OAAO;GAAkB,YAAY,MAAM,aAAa;EAAE,EAC/E;EACA,YAAY;GACV,MAAM,aAAa,MAAM,aAAa;GACtC,OAAO;IACL,OAAO;KAAE,GAAG;KAAO,OAAO;KAAmB;IAAW;IACxD,UAAU,CACR;KACE,MAAM;KACN,MAAM,EAAE,WAAW;KACnB,QAAQ,OAAO,GACb,OAAO,MAAM,KAAK,UAAU,GAC5B,gBAAgB,OAAO,EAAE,WAAW,CAAC,CACvC;IACF,CACF;GACF;EACF;EACA,SAAS,EAAE,iBACT,eAAe,MAAM,aACjB,EAAE,OAAO;GAAE,GAAG;GAAO,OAAO;EAAkB,EAAE,IAChD,EAAE,MAAM;CAChB,CACF;AACJ,CAAC;;;;;;;;;;AClED,MAAa,cAAc,OAAO,OAAO;CACvC,OAAO,OAAO;CACd,UAAU,OAAO;CACjB,SAAS,OAAO;AAClB,CAAC;AAGD,MAAa,gBAAgB,mBAAmB;CAC9C,SAAS,CAAC;CACV,SAAS,CAAC;CACV,QAAQ;EAAE,OAAO,OAAO;EAAQ,UAAU,OAAO;CAAO;;CAExD,UAAU,EAAE,OAAO,OAAO,OAAO;AACnC,CAAC;AAGD,MAAM,OAAO;AACb,MAAM,UAAU;AAOhB,MAAM,WAAW,OAAc,OAC7B,KAAK,IAAI,KAAK,MAAM,CAAC,IAAI,WAAW,KAAK,IAAI,MAAM,CAAC,IAAI;AAE1D,MAAa,SAAS,OAAO,KAAK,UAAU;CAC1C,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO;EAClB,MAAM,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACxD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACtD,WAAW,OAAO,OAAO,KACvB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;EACA,SAAS,OAAO,OAAO,KACrB,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GACpC,OAAO,MAAM,OAAO,SAAS,CAAC,CAChC;CACF,CAAC;CACD,OAAM,UAAS,EAAE,OAAO;EAAE,OAAO,KAAK;EAAM,UAAU;EAAG,SAAS;CAAM,EAAE;CAC1E,SAAS,OAAO,YACd,cAAc,MAAM,SAAS;EAC3B,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAK,EAAE;EACrD,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAM,EAAE;EACtD,SAAS,EAAE,OAAO,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO;EAAS,EAAE;EACzE,WAAW,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO,UAAU;GAAG,SAAS;EAAM,EAAE;CACtF,CAAC;CACH,gBAAgB,EACd,MACA,IACA,WACA,cAEA,aAAa,KAAiC,CAAC,EAAC,WAAU,EACxD,OAAO,MACL,EAAE,SAAS,OAAO,QAAQ,GAC1B;EACE,sBAAqB,WAAU,EAAE,SAAS,MAAM,QAAQ;EACxD,uBAAuB,EAAE,cAAc;GACrC,IAAI,CAAC,SAAS,OAAO,OAAO;GAK5B,MAAM,KAAK,OAAO;GAClB,MAAM,SAAS,OAAO,KAAK,IAAI,CAAC,CAAC,KAC/B,OAAO,KAAK;IAAE,GAAG;IAAM,GAAG;GAAE,IAAG,UAAS;IACtC,MAAM,QAAQ,CAAC,aAAa,MAAM,IAAI,MAAM,UAAU,MAAM;IAC5D,MAAM,IAAI,MAAM,IAAI,QAAQ;IAC5B,OAAO;KAAE,GAAG,MAAM,IAAI,IAAI;KAAI;IAAE;GAClC,CAAC,GAED,OAAO,KAAK,CAAC,CACf;GACA,OAAO,OAAO,OACZ,OAAO,KACL,OAAO,WAAU,UAAS,QAAQ,OAAO,EAAE,CAAC,GAC5C,OAAO,KAAI,UAAS,cAAc,OAAO;IAAE,OAAO,MAAM;IAAG,UAAU,MAAM;GAAE,CAAC,CAAC,CACjF,GACA,OAAO,KAAK,cAAc,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CACnD;EACF;CACF,CACF,EACF,EAAE;AACN,CAAC;;;;;;;;;ACzFD,MAAa,aAAa,OAAO,OAAO;CAAE,OAAO,OAAO;CAAQ,SAAS,OAAO;AAAQ,CAAC;AAGzF,MAAa,eAAe,mBAAmB;CAC7C,SAAS,CAAC;CACV,SAAS,CAAC;CACV,QAAQ,EAAE,OAAO,OAAO,OAAO;;CAE/B,UAAU,EAAE,OAAO,OAAO,OAAO;AACnC,CAAC;AAGD,MAAa,QAAQ,OAAO,KAAK,SAAS;CACxC,OAAO;CACP,SAAS;CACT,MAAM,OAAO,OAAO;EAClB,MAAM,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACxD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;EACtD,IAAI,OAAO,OAAO,KAAK,OAAO,MAAM,OAAO,cAAc,CAAC,CAAC,GAAG,OAAO,MAAM,OAAO,SAAS,CAAC,CAAC;CAC/F,CAAC;CACD,OAAM,UAAS,EAAE,OAAO;EAAE,OAAO,KAAK;EAAM,SAAS;CAAM,EAAE;CAC7D,SAAS,OAAO,YACd,aAAa,MAAM,SAAS;EAC1B,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAK,EAAE;EACrD,gBAAgB,EAAE,OAAO;GAAE,GAAG;GAAO,SAAS;EAAM,EAAE;EACtD,SAAS,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;EAAM,EAAE;EACrD,WAAW,EAAE,aAAa,EAAE,OAAO;GAAE,GAAG;GAAO;GAAO,SAAS;EAAM,EAAE;CACzE,CAAC;CACH,gBAAgB,EAAE,MAAM,IAAI,SAC1B,aAAa,KAA+B,CAAC,EAAC,WAAU,EACtD,OAAO,MACL,EAAE,SAAS,OAAO,QAAQ,GAC1B;EACE,sBAAqB,WAAU,EAAE,SAAS,MAAM,QAAQ;EACxD,uBAAuB,EAAE,cACvB,UACI,OAAO,OACL,MAAM,kBAAkB,KACtB,OAAO,KAAI,cAAa;GACtB,MAAM,WAAW,OAAO,KAAK,EAAE,CAAC,CAAC,KAC/B,OAAO,gBAAgB,MAAM,iBAAiB,GAC9C,OAAO,KAAI,QAAO,KAAK,IAAI,IAAI,MAAM,aAAa,EAAE,CAAC,CACvD;GACA,OAAO,OAAO,OACZ,SAAS,KACP,OAAO,WAAU,SAAQ,QAAQ,CAAC,GAClC,OAAO,KAAI,SACT,aAAa,OAAO,EAAE,OAAO,QAAQ,KAAK,QAAQ,KAAK,CAAC,CAC1D,CACF,GACA,OAAO,KAAK,aAAa,SAAS,EAAE,OAAO,GAAG,CAAC,CAAC,CAClD;EACF,CAAC,CACH,CACF,IACA,OAAO;CACf,CACF,EACF,EAAE;AACN,CAAC"}