aeon-types 0.1.0 → 0.2.0

package/LICENSE

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

package/dist/index.cjs

@@ -18,32 +18,9 @@
 /** Zero duration. */ const DURATION_ZERO = 0;
 /** Zero offset. */ const OFFSET_ZERO = 0;
 
-/**
- * Higher-Kinded Type encoding via URI-indexed Kind map.
- *
- * Uses module augmentation (Effect-TS / fp-ts style) so that each
- * package can register its own types without circular imports.
- */ // biome-ignore lint/suspicious/noEmptyInterface: open for module augmentation
-// --- Derived combinators ---
-/** Lift a binary function over two Applicative values. */ const liftA2 = (A)=>(f, fa1, fa2)=>A.ap(A.map((a1)=>(a2)=>f(a1, a2), fa1), fa2);
-/** Lift a ternary function over three Applicative values. */ const liftA3 = (A)=>(f, fa1, fa2, fa3)=>A.ap(A.ap(A.map((a1)=>(a2)=>(a3)=>f(a1, a2, a3), fa1), fa2), fa3);
-
-/**
- * Core runtime interfaces for the push/pull reactive system.
- *
- * These define the contracts that packages/core and packages/scheduler implement.
- * Denotational meanings are stated in JSDoc.
- */ // --- URI constants for HKT registration ---
-const EventURI = "Event";
-const BehaviorURI = "Behavior";
-
-exports.BehaviorURI = BehaviorURI;
 exports.DURATION_ZERO = DURATION_ZERO;
-exports.EventURI = EventURI;
 exports.OFFSET_ZERO = OFFSET_ZERO;
 exports.TIME_ZERO = TIME_ZERO;
-exports.liftA2 = liftA2;
-exports.liftA3 = liftA3;
 exports.timeAdd = timeAdd;
 exports.timeDiff = timeDiff;
 exports.timeShift = timeShift;

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"index.cjs","sources":["../src/branded.ts","../src/hkt.ts","../src/interfaces.ts"],"sourcesContent":["/**\n * Branded types for temporal values.\n *\n * Branding prevents accidental mixing of Time, Duration, and Offset\n * at the type level while remaining plain numbers at runtime.\n */\n\ndeclare const TimeBrand: unique symbol;\ndeclare const DurationBrand: unique symbol;\ndeclare const OffsetBrand: unique symbol;\n\n/** Absolute point in time (milliseconds). Denotation: a point on the timeline. */\nexport type Time = number & { readonly [TimeBrand]: typeof TimeBrand };\n\n/** Relative duration (milliseconds). Denotation: a span between two points. */\nexport type Duration = number & { readonly [DurationBrand]: typeof DurationBrand };\n\n/** Scheduler-relative offset (milliseconds). Denotation: displacement from a scheduler's epoch. */\nexport type Offset = number & { readonly [OffsetBrand]: typeof OffsetBrand };\n\n// --- Constructors ---\n\n/** Wrap a raw millisecond value as a Time. */\nexport const toTime = (ms: number): Time => ms as Time;\n\n/** Wrap a raw millisecond value as a Duration. */\nexport const toDuration = (ms: number): Duration => ms as Duration;\n\n/** Wrap a raw millisecond value as an Offset. */\nexport const toOffset = (ms: number): Offset => ms as Offset;\n\n// --- Arithmetic ---\n\n/** Compute the Duration between two Time points. */\nexport const timeDiff = (a: Time, b: Time): Duration => (a - b) as Duration;\n\n/** Advance a Time by a Duration. */\nexport const timeAdd = (t: Time, d: Duration): Time => (t + d) as Time;\n\n/** Advance a Time by an Offset. */\nexport const timeShift = (t: Time, o: Offset): Time => (t + o) as Time;\n\n// --- Constants ---\n\n/** Time zero — the epoch. */\nexport const TIME_ZERO: Time = 0 as Time;\n\n/** Zero duration. */\nexport const DURATION_ZERO: Duration = 0 as Duration;\n\n/** Zero offset. */\nexport const OFFSET_ZERO: Offset = 0 as Offset;\n","/**\n * Higher-Kinded Type encoding via URI-indexed Kind map.\n *\n * Uses module augmentation (Effect-TS / fp-ts style) so that each\n * package can register its own types without circular imports.\n */\n\n// biome-ignore lint/suspicious/noEmptyInterface: open for module augmentation\nexport interface URItoKind<A, E> {}\n\n/** Union of all registered type URIs. */\nexport type URIS = keyof URItoKind<unknown, unknown>;\n\n/** Project a registered HKT to its concrete type given A and E. */\nexport type Kind<F extends URIS, A, E = never> = URItoKind<A, E>[F];\n\n// --- Typeclass interfaces ---\n\nexport interface Functor<F extends URIS> {\n  readonly URI: F;\n  readonly map: <A, B, E>(f: (a: A) => B, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Applicative<F extends URIS> extends Functor<F> {\n  readonly of: <A>(a: A) => Kind<F, A, never>;\n  readonly ap: <A, B, E>(ff: Kind<F, (a: A) => B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Monad<F extends URIS> extends Applicative<F> {\n  readonly chain: <A, B, E>(f: (a: A) => Kind<F, B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Filterable<F extends URIS> {\n  readonly URI: F;\n  readonly filter: <A, E>(predicate: (a: A) => boolean, fa: Kind<F, A, E>) => Kind<F, A, E>;\n}\n\n// --- Derived combinators ---\n\n/** Lift a binary function over two Applicative values. */\nexport const liftA2 =\n  <F extends URIS>(A: Applicative<F>) =>\n  <A1, A2, B, E>(\n    f: (a1: A1, a2: A2) => B,\n    fa1: Kind<F, A1, E>,\n    fa2: Kind<F, A2, E>,\n  ): Kind<F, B, E> =>\n    A.ap(\n      A.map((a1: A1) => (a2: A2) => f(a1, a2), fa1),\n      fa2,\n    );\n\n/** Lift a ternary function over three Applicative values. */\nexport const liftA3 =\n  <F extends URIS>(A: Applicative<F>) =>\n  <A1, A2, A3, B, E>(\n    f: (a1: A1, a2: A2, a3: A3) => B,\n    fa1: Kind<F, A1, E>,\n    fa2: Kind<F, A2, E>,\n    fa3: Kind<F, A3, E>,\n  ): Kind<F, B, E> =>\n    A.ap(\n      A.ap(\n        A.map((a1: A1) => (a2: A2) => (a3: A3) => f(a1, a2, a3), fa1),\n        fa2,\n      ),\n      fa3,\n    );\n","/**\n * Core runtime interfaces for the push/pull reactive system.\n *\n * These define the contracts that packages/core and packages/scheduler implement.\n * Denotational meanings are stated in JSDoc.\n */\n\nimport type { Duration, Offset, Time } from \"./branded.js\";\n\n// --- Disposable ---\n\n/** A handle to a resource that can be released. */\nexport interface Disposable {\n  dispose(): void;\n}\n\n// --- Sink ---\n\n/**\n * Consumer of events over time.\n *\n * Denotation: an observer that receives a time-indexed sequence of values,\n * a possible typed error, and a termination signal.\n */\nexport interface Sink<A, E = never> {\n  /** Receive a value at a point in time. */\n  event(time: Time, value: A): void;\n  /** Receive an error at a point in time. */\n  error(time: Time, err: E): void;\n  /** Signal that no more events will arrive. */\n  end(time: Time): void;\n}\n\n// --- Source ---\n\n/**\n * Producer of events over time.\n *\n * Denotation: when run, produces a time-indexed sequence [(Time, A)]\n * that may terminate or error.\n */\nexport interface Source<A, E = never> {\n  run(sink: Sink<A, E>, scheduler: Scheduler): Disposable;\n}\n\n// --- Task & ScheduledTask ---\n\n/** A unit of work to be executed by the scheduler. */\nexport interface Task {\n  run(time: Time): void;\n  error(time: Time, err: unknown): void;\n  dispose(): void;\n}\n\n/** A task that has been scheduled for future execution. */\nexport interface ScheduledTask extends Disposable {\n  readonly task: Task;\n  readonly time: Time;\n}\n\n// --- Scheduler ---\n\n/**\n * Coordinates the execution of tasks over time.\n *\n * The scheduler is the single source of truth for \"what time is it\"\n * within a reactive pipeline.\n */\nexport interface Scheduler {\n  /** The current time according to this scheduler. */\n  currentTime(): Time;\n\n  /** Schedule a task to run after a delay. */\n  scheduleTask(delay: Duration, task: Task): ScheduledTask;\n\n  /** Create a child scheduler whose time is shifted by an offset. */\n  relative(offset: Offset): Scheduler;\n\n  /** Cancel a previously scheduled task. */\n  cancelTask(task: ScheduledTask): void;\n}\n\n// --- Opaque Event and Behavior types ---\n\ndeclare const EventBrand: unique symbol;\n\n/**\n * A discrete, time-indexed sequence of values.\n *\n * Denotation: `[(Time, A)]` — a list of time-value pairs, possibly\n * terminating with an error of type E.\n */\nexport type Event<A, E = never> = {\n  readonly [EventBrand]: [A, E];\n};\n\ndeclare const BehaviorBrand: unique symbol;\n\n/**\n * A continuous, time-varying value.\n *\n * Denotation: `Time -> A` — a function from time to a value,\n * possibly failing with an error of type E.\n */\nexport type Behavior<A, E = never> = {\n  readonly [BehaviorBrand]: [A, E];\n};\n\n// --- URI constants for HKT registration ---\n\nexport const EventURI = \"Event\" as const;\nexport type EventURI = typeof EventURI;\n\nexport const BehaviorURI = \"Behavior\" as const;\nexport type BehaviorURI = typeof BehaviorURI;\n\n// --- Module augmentation: register Event and Behavior in the HKT map ---\n\ndeclare module \"./hkt.js\" {\n  interface URItoKind<A, E> {\n    readonly [EventURI]: Event<A, E>;\n    readonly [BehaviorURI]: Behavior<A, E>;\n  }\n}\n"],"names":["toTime","ms","toDuration","toOffset","timeDiff","a","b","timeAdd","t","d","timeShift","o","TIME_ZERO","DURATION_ZERO","OFFSET_ZERO","liftA2","A","f","fa1","fa2","ap","map","a1","a2","liftA3","fa3","a3","EventURI","BehaviorURI"],"mappings":";;AAAA;;;;;AAKC;AAiBD,+CACO,MAAMA,MAAAA,GAAS,CAACC,KAAqBA;AAE5C,mDACO,MAAMC,UAAAA,GAAa,CAACD,KAAyBA;AAEpD,kDACO,MAAME,QAAAA,GAAW,CAACF,KAAuBA;AAEhD;AAEA,qDACO,MAAMG,QAAAA,GAAW,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE7D,qCACO,MAAMC,OAAAA,GAAU,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE5D,oCACO,MAAMC,SAAAA,GAAY,CAACF,CAAAA,EAASG,CAAAA,GAAqBH,IAAIG;AAE5D;AAEA,8BACO,MAAMC,SAAAA,GAAkB;AAE/B,sBACO,MAAMC,aAAAA,GAA0B;AAEvC,oBACO,MAAMC,WAAAA,GAAsB;;ACnDnC;;;;;AAKC;AAgCD;AAEA,2DACO,MAAMC,MAAAA,GACX,CAAiBC,IACjB,CACEC,CAAAA,EACAC,GAAAA,EACAC,GAAAA,GAEAH,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEK,GAAG,CAAC,CAACC,EAAAA,GAAW,CAACC,KAAWN,CAAAA,CAAEK,EAAAA,EAAIC,EAAAA,CAAAA,EAAKL,GAAAA,CAAAA,EACzCC,GAAAA;AAGN,8DACO,MAAMK,MAAAA,GACX,CAAiBR,CAAAA,GACjB,CACEC,CAAAA,EACAC,GAAAA,EACAC,GAAAA,EACAM,GAAAA,GAEAT,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEK,GAAG,CAAC,CAACC,EAAAA,GAAW,CAACC,EAAAA,GAAW,CAACG,EAAAA,GAAWT,CAAAA,CAAEK,EAAAA,EAAIC,EAAAA,EAAIG,EAAAA,CAAAA,EAAKR,GAAAA,CAAAA,EACzDC,MAEFM,GAAAA;;AClEN;;;;;AAKC;AAyGM,MAAME,WAAW;AAGjB,MAAMC,cAAc;;;;;;;;;;;;;;;;"}
+{"version":3,"file":"index.cjs","sources":["../src/branded.ts"],"sourcesContent":["/**\n * Branded types for temporal values.\n *\n * Branding prevents accidental mixing of Time, Duration, and Offset\n * at the type level while remaining plain numbers at runtime.\n */\n\ndeclare const TimeBrand: unique symbol;\ndeclare const DurationBrand: unique symbol;\ndeclare const OffsetBrand: unique symbol;\n\n/** Absolute point in time (milliseconds). Denotation: a point on the timeline. */\nexport type Time = number & { readonly [TimeBrand]: typeof TimeBrand };\n\n/** Relative duration (milliseconds). Denotation: a span between two points. */\nexport type Duration = number & { readonly [DurationBrand]: typeof DurationBrand };\n\n/** Scheduler-relative offset (milliseconds). Denotation: displacement from a scheduler's epoch. */\nexport type Offset = number & { readonly [OffsetBrand]: typeof OffsetBrand };\n\n// --- Constructors ---\n\n/** Wrap a raw millisecond value as a Time. */\nexport const toTime = (ms: number): Time => ms as Time;\n\n/** Wrap a raw millisecond value as a Duration. */\nexport const toDuration = (ms: number): Duration => ms as Duration;\n\n/** Wrap a raw millisecond value as an Offset. */\nexport const toOffset = (ms: number): Offset => ms as Offset;\n\n// --- Arithmetic ---\n\n/** Compute the Duration between two Time points. */\nexport const timeDiff = (a: Time, b: Time): Duration => (a - b) as Duration;\n\n/** Advance a Time by a Duration. */\nexport const timeAdd = (t: Time, d: Duration): Time => (t + d) as Time;\n\n/** Advance a Time by an Offset. */\nexport const timeShift = (t: Time, o: Offset): Time => (t + o) as Time;\n\n// --- Constants ---\n\n/** Time zero — the epoch. */\nexport const TIME_ZERO: Time = 0 as Time;\n\n/** Zero duration. */\nexport const DURATION_ZERO: Duration = 0 as Duration;\n\n/** Zero offset. */\nexport const OFFSET_ZERO: Offset = 0 as Offset;\n"],"names":["toTime","ms","toDuration","toOffset","timeDiff","a","b","timeAdd","t","d","timeShift","o","TIME_ZERO","DURATION_ZERO","OFFSET_ZERO"],"mappings":";;AAAA;;;;;AAKC;AAiBD,+CACO,MAAMA,MAAAA,GAAS,CAACC,KAAqBA;AAE5C,mDACO,MAAMC,UAAAA,GAAa,CAACD,KAAyBA;AAEpD,kDACO,MAAME,QAAAA,GAAW,CAACF,KAAuBA;AAEhD;AAEA,qDACO,MAAMG,QAAAA,GAAW,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE7D,qCACO,MAAMC,OAAAA,GAAU,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE5D,oCACO,MAAMC,SAAAA,GAAY,CAACF,CAAAA,EAASG,CAAAA,GAAqBH,IAAIG;AAE5D;AAEA,8BACO,MAAMC,SAAAA,GAAkB;AAE/B,sBACO,MAAMC,aAAAA,GAA0B;AAEvC,oBACO,MAAMC,WAAAA,GAAsB;;;;;;;;;;;;"}

package/dist/index.d.cts

@@ -1,4 +1,3 @@
 export { type Time, type Duration, type Offset, toTime, toDuration, toOffset, timeDiff, timeAdd, timeShift, TIME_ZERO, DURATION_ZERO, OFFSET_ZERO, } from "./branded.js";
-export { type URItoKind, type URIS, type Kind, type Functor, type Applicative, type Monad, type Filterable, liftA2, liftA3, } from "./hkt.js";
-export { type Disposable, type Sink, type Source, type Task, type ScheduledTask, type Scheduler, type Event, type Behavior, EventURI, type EventURI as EventURIType, BehaviorURI, type BehaviorURI as BehaviorURIType, } from "./interfaces.js";
+export type { Disposable, Sink, Source, Task, ScheduledTask, Scheduler, Event, Behavior, } from "./interfaces.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts

@@ -1,4 +1,3 @@
 export { type Time, type Duration, type Offset, toTime, toDuration, toOffset, timeDiff, timeAdd, timeShift, TIME_ZERO, DURATION_ZERO, OFFSET_ZERO, } from "./branded.js";
-export { type URItoKind, type URIS, type Kind, type Functor, type Applicative, type Monad, type Filterable, liftA2, liftA3, } from "./hkt.js";
-export { type Disposable, type Sink, type Source, type Task, type ScheduledTask, type Scheduler, type Event, type Behavior, EventURI, type EventURI as EventURIType, BehaviorURI, type BehaviorURI as BehaviorURIType, } from "./interfaces.js";
+export type { Disposable, Sink, Source, Task, ScheduledTask, Scheduler, Event, Behavior, } from "./interfaces.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,MAAM,EACN,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,SAAS,EACT,SAAS,EACT,aAAa,EACb,WAAW,GACZ,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,KAAK,SAAS,EACd,KAAK,IAAI,EACT,KAAK,IAAI,EACT,KAAK,OAAO,EACZ,KAAK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,UAAU,EACf,MAAM,EACN,MAAM,GACP,MAAM,UAAU,CAAC;AAElB,OAAO,EACL,KAAK,UAAU,EACf,KAAK,IAAI,EACT,KAAK,MAAM,EACX,KAAK,IAAI,EACT,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,KAAK,EACV,KAAK,QAAQ,EACb,QAAQ,EACR,KAAK,QAAQ,IAAI,YAAY,EAC7B,WAAW,EACX,KAAK,WAAW,IAAI,eAAe,GACpC,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,KAAK,IAAI,EACT,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,MAAM,EACN,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,SAAS,EACT,SAAS,EACT,aAAa,EACb,WAAW,GACZ,MAAM,cAAc,CAAC;AAEtB,YAAY,EACV,UAAU,EACV,IAAI,EACJ,MAAM,EACN,IAAI,EACJ,aAAa,EACb,SAAS,EACT,KAAK,EACL,QAAQ,GACT,MAAM,iBAAiB,CAAC"}

package/dist/index.js

@@ -16,24 +16,5 @@
 /** Zero duration. */ const DURATION_ZERO = 0;
 /** Zero offset. */ const OFFSET_ZERO = 0;
 
-/**
- * Higher-Kinded Type encoding via URI-indexed Kind map.
- *
- * Uses module augmentation (Effect-TS / fp-ts style) so that each
- * package can register its own types without circular imports.
- */ // biome-ignore lint/suspicious/noEmptyInterface: open for module augmentation
-// --- Derived combinators ---
-/** Lift a binary function over two Applicative values. */ const liftA2 = (A)=>(f, fa1, fa2)=>A.ap(A.map((a1)=>(a2)=>f(a1, a2), fa1), fa2);
-/** Lift a ternary function over three Applicative values. */ const liftA3 = (A)=>(f, fa1, fa2, fa3)=>A.ap(A.ap(A.map((a1)=>(a2)=>(a3)=>f(a1, a2, a3), fa1), fa2), fa3);
-
-/**
- * Core runtime interfaces for the push/pull reactive system.
- *
- * These define the contracts that packages/core and packages/scheduler implement.
- * Denotational meanings are stated in JSDoc.
- */ // --- URI constants for HKT registration ---
-const EventURI = "Event";
-const BehaviorURI = "Behavior";
-
-export { BehaviorURI, DURATION_ZERO, EventURI, OFFSET_ZERO, TIME_ZERO, liftA2, liftA3, timeAdd, timeDiff, timeShift, toDuration, toOffset, toTime };
+export { DURATION_ZERO, OFFSET_ZERO, TIME_ZERO, timeAdd, timeDiff, timeShift, toDuration, toOffset, toTime };
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sources":["../src/branded.ts","../src/hkt.ts","../src/interfaces.ts"],"sourcesContent":["/**\n * Branded types for temporal values.\n *\n * Branding prevents accidental mixing of Time, Duration, and Offset\n * at the type level while remaining plain numbers at runtime.\n */\n\ndeclare const TimeBrand: unique symbol;\ndeclare const DurationBrand: unique symbol;\ndeclare const OffsetBrand: unique symbol;\n\n/** Absolute point in time (milliseconds). Denotation: a point on the timeline. */\nexport type Time = number & { readonly [TimeBrand]: typeof TimeBrand };\n\n/** Relative duration (milliseconds). Denotation: a span between two points. */\nexport type Duration = number & { readonly [DurationBrand]: typeof DurationBrand };\n\n/** Scheduler-relative offset (milliseconds). Denotation: displacement from a scheduler's epoch. */\nexport type Offset = number & { readonly [OffsetBrand]: typeof OffsetBrand };\n\n// --- Constructors ---\n\n/** Wrap a raw millisecond value as a Time. */\nexport const toTime = (ms: number): Time => ms as Time;\n\n/** Wrap a raw millisecond value as a Duration. */\nexport const toDuration = (ms: number): Duration => ms as Duration;\n\n/** Wrap a raw millisecond value as an Offset. */\nexport const toOffset = (ms: number): Offset => ms as Offset;\n\n// --- Arithmetic ---\n\n/** Compute the Duration between two Time points. */\nexport const timeDiff = (a: Time, b: Time): Duration => (a - b) as Duration;\n\n/** Advance a Time by a Duration. */\nexport const timeAdd = (t: Time, d: Duration): Time => (t + d) as Time;\n\n/** Advance a Time by an Offset. */\nexport const timeShift = (t: Time, o: Offset): Time => (t + o) as Time;\n\n// --- Constants ---\n\n/** Time zero — the epoch. */\nexport const TIME_ZERO: Time = 0 as Time;\n\n/** Zero duration. */\nexport const DURATION_ZERO: Duration = 0 as Duration;\n\n/** Zero offset. */\nexport const OFFSET_ZERO: Offset = 0 as Offset;\n","/**\n * Higher-Kinded Type encoding via URI-indexed Kind map.\n *\n * Uses module augmentation (Effect-TS / fp-ts style) so that each\n * package can register its own types without circular imports.\n */\n\n// biome-ignore lint/suspicious/noEmptyInterface: open for module augmentation\nexport interface URItoKind<A, E> {}\n\n/** Union of all registered type URIs. */\nexport type URIS = keyof URItoKind<unknown, unknown>;\n\n/** Project a registered HKT to its concrete type given A and E. */\nexport type Kind<F extends URIS, A, E = never> = URItoKind<A, E>[F];\n\n// --- Typeclass interfaces ---\n\nexport interface Functor<F extends URIS> {\n  readonly URI: F;\n  readonly map: <A, B, E>(f: (a: A) => B, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Applicative<F extends URIS> extends Functor<F> {\n  readonly of: <A>(a: A) => Kind<F, A, never>;\n  readonly ap: <A, B, E>(ff: Kind<F, (a: A) => B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Monad<F extends URIS> extends Applicative<F> {\n  readonly chain: <A, B, E>(f: (a: A) => Kind<F, B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;\n}\n\nexport interface Filterable<F extends URIS> {\n  readonly URI: F;\n  readonly filter: <A, E>(predicate: (a: A) => boolean, fa: Kind<F, A, E>) => Kind<F, A, E>;\n}\n\n// --- Derived combinators ---\n\n/** Lift a binary function over two Applicative values. */\nexport const liftA2 =\n  <F extends URIS>(A: Applicative<F>) =>\n  <A1, A2, B, E>(\n    f: (a1: A1, a2: A2) => B,\n    fa1: Kind<F, A1, E>,\n    fa2: Kind<F, A2, E>,\n  ): Kind<F, B, E> =>\n    A.ap(\n      A.map((a1: A1) => (a2: A2) => f(a1, a2), fa1),\n      fa2,\n    );\n\n/** Lift a ternary function over three Applicative values. */\nexport const liftA3 =\n  <F extends URIS>(A: Applicative<F>) =>\n  <A1, A2, A3, B, E>(\n    f: (a1: A1, a2: A2, a3: A3) => B,\n    fa1: Kind<F, A1, E>,\n    fa2: Kind<F, A2, E>,\n    fa3: Kind<F, A3, E>,\n  ): Kind<F, B, E> =>\n    A.ap(\n      A.ap(\n        A.map((a1: A1) => (a2: A2) => (a3: A3) => f(a1, a2, a3), fa1),\n        fa2,\n      ),\n      fa3,\n    );\n","/**\n * Core runtime interfaces for the push/pull reactive system.\n *\n * These define the contracts that packages/core and packages/scheduler implement.\n * Denotational meanings are stated in JSDoc.\n */\n\nimport type { Duration, Offset, Time } from \"./branded.js\";\n\n// --- Disposable ---\n\n/** A handle to a resource that can be released. */\nexport interface Disposable {\n  dispose(): void;\n}\n\n// --- Sink ---\n\n/**\n * Consumer of events over time.\n *\n * Denotation: an observer that receives a time-indexed sequence of values,\n * a possible typed error, and a termination signal.\n */\nexport interface Sink<A, E = never> {\n  /** Receive a value at a point in time. */\n  event(time: Time, value: A): void;\n  /** Receive an error at a point in time. */\n  error(time: Time, err: E): void;\n  /** Signal that no more events will arrive. */\n  end(time: Time): void;\n}\n\n// --- Source ---\n\n/**\n * Producer of events over time.\n *\n * Denotation: when run, produces a time-indexed sequence [(Time, A)]\n * that may terminate or error.\n */\nexport interface Source<A, E = never> {\n  run(sink: Sink<A, E>, scheduler: Scheduler): Disposable;\n}\n\n// --- Task & ScheduledTask ---\n\n/** A unit of work to be executed by the scheduler. */\nexport interface Task {\n  run(time: Time): void;\n  error(time: Time, err: unknown): void;\n  dispose(): void;\n}\n\n/** A task that has been scheduled for future execution. */\nexport interface ScheduledTask extends Disposable {\n  readonly task: Task;\n  readonly time: Time;\n}\n\n// --- Scheduler ---\n\n/**\n * Coordinates the execution of tasks over time.\n *\n * The scheduler is the single source of truth for \"what time is it\"\n * within a reactive pipeline.\n */\nexport interface Scheduler {\n  /** The current time according to this scheduler. */\n  currentTime(): Time;\n\n  /** Schedule a task to run after a delay. */\n  scheduleTask(delay: Duration, task: Task): ScheduledTask;\n\n  /** Create a child scheduler whose time is shifted by an offset. */\n  relative(offset: Offset): Scheduler;\n\n  /** Cancel a previously scheduled task. */\n  cancelTask(task: ScheduledTask): void;\n}\n\n// --- Opaque Event and Behavior types ---\n\ndeclare const EventBrand: unique symbol;\n\n/**\n * A discrete, time-indexed sequence of values.\n *\n * Denotation: `[(Time, A)]` — a list of time-value pairs, possibly\n * terminating with an error of type E.\n */\nexport type Event<A, E = never> = {\n  readonly [EventBrand]: [A, E];\n};\n\ndeclare const BehaviorBrand: unique symbol;\n\n/**\n * A continuous, time-varying value.\n *\n * Denotation: `Time -> A` — a function from time to a value,\n * possibly failing with an error of type E.\n */\nexport type Behavior<A, E = never> = {\n  readonly [BehaviorBrand]: [A, E];\n};\n\n// --- URI constants for HKT registration ---\n\nexport const EventURI = \"Event\" as const;\nexport type EventURI = typeof EventURI;\n\nexport const BehaviorURI = \"Behavior\" as const;\nexport type BehaviorURI = typeof BehaviorURI;\n\n// --- Module augmentation: register Event and Behavior in the HKT map ---\n\ndeclare module \"./hkt.js\" {\n  interface URItoKind<A, E> {\n    readonly [EventURI]: Event<A, E>;\n    readonly [BehaviorURI]: Behavior<A, E>;\n  }\n}\n"],"names":["toTime","ms","toDuration","toOffset","timeDiff","a","b","timeAdd","t","d","timeShift","o","TIME_ZERO","DURATION_ZERO","OFFSET_ZERO","liftA2","A","f","fa1","fa2","ap","map","a1","a2","liftA3","fa3","a3","EventURI","BehaviorURI"],"mappings":"AAAA;;;;;AAKC;AAiBD,+CACO,MAAMA,MAAAA,GAAS,CAACC,KAAqBA;AAE5C,mDACO,MAAMC,UAAAA,GAAa,CAACD,KAAyBA;AAEpD,kDACO,MAAME,QAAAA,GAAW,CAACF,KAAuBA;AAEhD;AAEA,qDACO,MAAMG,QAAAA,GAAW,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE7D,qCACO,MAAMC,OAAAA,GAAU,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE5D,oCACO,MAAMC,SAAAA,GAAY,CAACF,CAAAA,EAASG,CAAAA,GAAqBH,IAAIG;AAE5D;AAEA,8BACO,MAAMC,SAAAA,GAAkB;AAE/B,sBACO,MAAMC,aAAAA,GAA0B;AAEvC,oBACO,MAAMC,WAAAA,GAAsB;;ACnDnC;;;;;AAKC;AAgCD;AAEA,2DACO,MAAMC,MAAAA,GACX,CAAiBC,IACjB,CACEC,CAAAA,EACAC,GAAAA,EACAC,GAAAA,GAEAH,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEK,GAAG,CAAC,CAACC,EAAAA,GAAW,CAACC,KAAWN,CAAAA,CAAEK,EAAAA,EAAIC,EAAAA,CAAAA,EAAKL,GAAAA,CAAAA,EACzCC,GAAAA;AAGN,8DACO,MAAMK,MAAAA,GACX,CAAiBR,CAAAA,GACjB,CACEC,CAAAA,EACAC,GAAAA,EACAC,GAAAA,EACAM,GAAAA,GAEAT,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEI,EAAE,CACFJ,CAAAA,CAAEK,GAAG,CAAC,CAACC,EAAAA,GAAW,CAACC,EAAAA,GAAW,CAACG,EAAAA,GAAWT,CAAAA,CAAEK,EAAAA,EAAIC,EAAAA,EAAIG,EAAAA,CAAAA,EAAKR,GAAAA,CAAAA,EACzDC,MAEFM,GAAAA;;AClEN;;;;;AAKC;AAyGM,MAAME,WAAW;AAGjB,MAAMC,cAAc;;;;"}
+{"version":3,"file":"index.js","sources":["../src/branded.ts"],"sourcesContent":["/**\n * Branded types for temporal values.\n *\n * Branding prevents accidental mixing of Time, Duration, and Offset\n * at the type level while remaining plain numbers at runtime.\n */\n\ndeclare const TimeBrand: unique symbol;\ndeclare const DurationBrand: unique symbol;\ndeclare const OffsetBrand: unique symbol;\n\n/** Absolute point in time (milliseconds). Denotation: a point on the timeline. */\nexport type Time = number & { readonly [TimeBrand]: typeof TimeBrand };\n\n/** Relative duration (milliseconds). Denotation: a span between two points. */\nexport type Duration = number & { readonly [DurationBrand]: typeof DurationBrand };\n\n/** Scheduler-relative offset (milliseconds). Denotation: displacement from a scheduler's epoch. */\nexport type Offset = number & { readonly [OffsetBrand]: typeof OffsetBrand };\n\n// --- Constructors ---\n\n/** Wrap a raw millisecond value as a Time. */\nexport const toTime = (ms: number): Time => ms as Time;\n\n/** Wrap a raw millisecond value as a Duration. */\nexport const toDuration = (ms: number): Duration => ms as Duration;\n\n/** Wrap a raw millisecond value as an Offset. */\nexport const toOffset = (ms: number): Offset => ms as Offset;\n\n// --- Arithmetic ---\n\n/** Compute the Duration between two Time points. */\nexport const timeDiff = (a: Time, b: Time): Duration => (a - b) as Duration;\n\n/** Advance a Time by a Duration. */\nexport const timeAdd = (t: Time, d: Duration): Time => (t + d) as Time;\n\n/** Advance a Time by an Offset. */\nexport const timeShift = (t: Time, o: Offset): Time => (t + o) as Time;\n\n// --- Constants ---\n\n/** Time zero — the epoch. */\nexport const TIME_ZERO: Time = 0 as Time;\n\n/** Zero duration. */\nexport const DURATION_ZERO: Duration = 0 as Duration;\n\n/** Zero offset. */\nexport const OFFSET_ZERO: Offset = 0 as Offset;\n"],"names":["toTime","ms","toDuration","toOffset","timeDiff","a","b","timeAdd","t","d","timeShift","o","TIME_ZERO","DURATION_ZERO","OFFSET_ZERO"],"mappings":"AAAA;;;;;AAKC;AAiBD,+CACO,MAAMA,MAAAA,GAAS,CAACC,KAAqBA;AAE5C,mDACO,MAAMC,UAAAA,GAAa,CAACD,KAAyBA;AAEpD,kDACO,MAAME,QAAAA,GAAW,CAACF,KAAuBA;AAEhD;AAEA,qDACO,MAAMG,QAAAA,GAAW,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE7D,qCACO,MAAMC,OAAAA,GAAU,CAACC,CAAAA,EAASC,CAAAA,GAAuBD,IAAIC;AAE5D,oCACO,MAAMC,SAAAA,GAAY,CAACF,CAAAA,EAASG,CAAAA,GAAqBH,IAAIG;AAE5D;AAEA,8BACO,MAAMC,SAAAA,GAAkB;AAE/B,sBACO,MAAMC,aAAAA,GAA0B;AAEvC,oBACO,MAAMC,WAAAA,GAAsB;;;;"}

package/dist/interfaces.d.ts

@@ -79,15 +79,5 @@ declare const BehaviorBrand: unique symbol;
 export type Behavior<A, E = never> = {
     readonly [BehaviorBrand]: [A, E];
 };
-export declare const EventURI: "Event";
-export type EventURI = typeof EventURI;
-export declare const BehaviorURI: "Behavior";
-export type BehaviorURI = typeof BehaviorURI;
-declare module "./hkt.js" {
-    interface URItoKind<A, E> {
-        readonly [EventURI]: Event<A, E>;
-        readonly [BehaviorURI]: Behavior<A, E>;
-    }
-}
 export {};
 //# sourceMappingURL=interfaces.d.ts.map

package/dist/interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../src/interfaces.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAI3D,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,OAAO,IAAI,IAAI,CAAC;CACjB;AAID;;;;;GAKG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAChC,0CAA0C;IAC1C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;IAClC,2CAA2C;IAC3C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;IAChC,8CAA8C;IAC9C,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACvB;AAID;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAClC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,UAAU,CAAC;CACzD;AAID,sDAAsD;AACtD,MAAM,WAAW,IAAI;IACnB,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;IACtC,OAAO,IAAI,IAAI,CAAC;CACjB;AAED,2DAA2D;AAC3D,MAAM,WAAW,aAAc,SAAQ,UAAU;IAC/C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,oDAAoD;IACpD,WAAW,IAAI,IAAI,CAAC;IAEpB,4CAA4C;IAC5C,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAAC;IAEzD,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAEpC,0CAA0C;IAC1C,UAAU,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;CACvC;AAID,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAExC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI;IAChC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/B,CAAC;AAEF,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAE3C;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI;IACnC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAClC,CAAC;AAIF,eAAO,MAAM,QAAQ,EAAG,OAAgB,CAAC;AACzC,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC;AAEvC,eAAO,MAAM,WAAW,EAAG,UAAmB,CAAC;AAC/C,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC;AAI7C,OAAO,QAAQ,UAAU,CAAC;IACxB,UAAU,SAAS,CAAC,CAAC,EAAE,CAAC;QACtB,QAAQ,CAAC,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACxC;CACF"}
+{"version":3,"file":"interfaces.d.ts","sourceRoot":"","sources":["../src/interfaces.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAI3D,mDAAmD;AACnD,MAAM,WAAW,UAAU;IACzB,OAAO,IAAI,IAAI,CAAC;CACjB;AAID;;;;;GAKG;AACH,MAAM,WAAW,IAAI,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAChC,0CAA0C;IAC1C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC;IAClC,2CAA2C;IAC3C,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC;IAChC,8CAA8C;IAC9C,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CACvB;AAID;;;;;GAKG;AACH,MAAM,WAAW,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK;IAClC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,GAAG,UAAU,CAAC;CACzD;AAID,sDAAsD;AACtD,MAAM,WAAW,IAAI;IACnB,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;IACtB,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,GAAG,IAAI,CAAC;IACtC,OAAO,IAAI,IAAI,CAAC;CACjB;AAED,2DAA2D;AAC3D,MAAM,WAAW,aAAc,SAAQ,UAAU;IAC/C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,oDAAoD;IACpD,WAAW,IAAI,IAAI,CAAC;IAEpB,4CAA4C;IAC5C,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,aAAa,CAAC;IAEzD,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAEpC,0CAA0C;IAC1C,UAAU,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;CACvC;AAID,OAAO,CAAC,MAAM,UAAU,EAAE,OAAO,MAAM,CAAC;AAExC;;;;;GAKG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI;IAChC,QAAQ,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/B,CAAC;AAEF,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAE3C;;;;;GAKG;AACH,MAAM,MAAM,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI;IACnC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAClC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "aeon-types",
-  "version": "0.1.0",
+  "version": "0.2.0",
   "description": "Core type definitions for Aeon reactive streams",
   "license": "MIT",
   "author": "Josh Burgess",
@@ -11,7 +11,13 @@
   },
   "homepage": "https://github.com/joshburgess/aeon#readme",
   "bugs": "https://github.com/joshburgess/aeon/issues",
-  "keywords": ["reactive", "streams", "frp", "types", "typescript"],
+  "keywords": [
+    "reactive",
+    "streams",
+    "frp",
+    "types",
+    "typescript"
+  ],
   "type": "module",
   "sideEffects": false,
   "main": "./dist/index.cjs",
@@ -29,14 +35,16 @@
       }
     }
   },
-  "files": ["dist"],
+  "files": [
+    "dist"
+  ],
+  "devDependencies": {
+    "typescript": "^5.7.2"
+  },
   "scripts": {
     "build": "rm -rf dist && rollup -c rollup.config.mjs && tsc -p tsconfig.build.json && cp dist/index.d.ts dist/index.d.cts",
     "typecheck": "tsc --noEmit",
     "test": "vitest run",
     "clean": "rm -rf dist"
-  },
-  "devDependencies": {
-    "typescript": "^5.7.2"
   }
-}
+}

package/dist/hkt.d.ts

@@ -1,32 +0,0 @@
-/**
- * Higher-Kinded Type encoding via URI-indexed Kind map.
- *
- * Uses module augmentation (Effect-TS / fp-ts style) so that each
- * package can register its own types without circular imports.
- */
-export interface URItoKind<A, E> {
-}
-/** Union of all registered type URIs. */
-export type URIS = keyof URItoKind<unknown, unknown>;
-/** Project a registered HKT to its concrete type given A and E. */
-export type Kind<F extends URIS, A, E = never> = URItoKind<A, E>[F];
-export interface Functor<F extends URIS> {
-    readonly URI: F;
-    readonly map: <A, B, E>(f: (a: A) => B, fa: Kind<F, A, E>) => Kind<F, B, E>;
-}
-export interface Applicative<F extends URIS> extends Functor<F> {
-    readonly of: <A>(a: A) => Kind<F, A, never>;
-    readonly ap: <A, B, E>(ff: Kind<F, (a: A) => B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;
-}
-export interface Monad<F extends URIS> extends Applicative<F> {
-    readonly chain: <A, B, E>(f: (a: A) => Kind<F, B, E>, fa: Kind<F, A, E>) => Kind<F, B, E>;
-}
-export interface Filterable<F extends URIS> {
-    readonly URI: F;
-    readonly filter: <A, E>(predicate: (a: A) => boolean, fa: Kind<F, A, E>) => Kind<F, A, E>;
-}
-/** Lift a binary function over two Applicative values. */
-export declare const liftA2: <F extends URIS>(A: Applicative<F>) => <A1, A2, B, E>(f: (a1: A1, a2: A2) => B, fa1: Kind<F, A1, E>, fa2: Kind<F, A2, E>) => Kind<F, B, E>;
-/** Lift a ternary function over three Applicative values. */
-export declare const liftA3: <F extends URIS>(A: Applicative<F>) => <A1, A2, A3, B, E>(f: (a1: A1, a2: A2, a3: A3) => B, fa1: Kind<F, A1, E>, fa2: Kind<F, A2, E>, fa3: Kind<F, A3, E>) => Kind<F, B, E>;
-//# sourceMappingURL=hkt.d.ts.map

package/dist/hkt.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"hkt.d.ts","sourceRoot":"","sources":["../src/hkt.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAGH,MAAM,WAAW,SAAS,CAAC,CAAC,EAAE,CAAC;CAAI;AAEnC,yCAAyC;AACzC,MAAM,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAErD,mEAAmE;AACnE,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAIpE,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,IAAI;IACrC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC7E;AAED,MAAM,WAAW,WAAW,CAAC,CAAC,SAAS,IAAI,CAAE,SAAQ,OAAO,CAAC,CAAC,CAAC;IAC7D,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CACzF;AAED,MAAM,WAAW,KAAK,CAAC,CAAC,SAAS,IAAI,CAAE,SAAQ,WAAW,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3F;AAED,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,IAAI;IACxC,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;IAChB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,CAAC,KAAK,OAAO,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAC3F;AAID,0DAA0D;AAC1D,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MACjC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EACX,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EACxB,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAClB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAIZ,CAAC;AAEN,6DAA6D;AAC7D,eAAO,MAAM,MAAM,GAChB,CAAC,SAAS,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,MACjC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EACf,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,EAChC,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,KAClB,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAOZ,CAAC"}