functype 0.8.69 → 0.8.70

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1 +1 @@
1
- {"version":3,"sources":["../src/typeable/Typeable.ts","../src/valuable/Valuable.ts","../src/tuple/Tuple.ts"],"names":["Typeable","_tag","impl","isTypeable","value","tag","Valuable","params","Tuple","values","f","mapValue","index"],"mappings":"AAWO,SAASA,CAAgC,CAAA,CAAE,IAAAC,CAAAA,CAAAA,CAAM,IAAAC,CAAAA,CAAK,CAA6C,CAAA,CACxG,OAAO,CACL,GAAGA,CAAAA,CACH,KAAMD,CACR,CACF,CAGO,SAASE,CAAcC,CAAAA,CAAAA,CAAgBC,CAAyB,CAAA,CACrE,OAAI,CAACD,CAAAA,EAAS,OAAOA,CAAAA,EAAU,QAAY,EAAA,EAAE,MAAUA,GAAAA,CAAAA,CAAAA,CAC9C,MAGFC,CAAMD,CAAAA,CAAAA,CAAM,IAASC,GAAAA,CAAAA,CAAM,IACpC,CCZO,SAASC,CAAAA,CAA4CC,EAAmC,CAC7F,IAAM,CAAIP,CAAAA,CAAAA,CAAiB,CAAE,IAAA,CAAMO,CAAO,CAAA,IAAA,CAAM,KAAMA,CAAO,CAAA,IAAK,CAAC,CAAA,CACnE,OAAO,CACL,GAAG,CAAA,CACH,QAAS,KAAO,CAAE,IAAM,CAAA,CAAA,CAAE,IAAM,CAAA,KAAA,CAAOA,CAAO,CAAA,KAAM,EACtD,CACF,CCAaC,IAAAA,CAAAA,CAA2BC,CAC/B,GAAA,CACL,IAAM,CAAA,OAAA,CACN,IAAwBC,CAAiC,EAAA,CACvD,IAAMC,CAAAA,CAAWD,CAAED,CAAAA,CAAM,CACzB,CAAA,OAAOD,EAAMG,CAAQ,CACvB,CAEA,CAAA,OAAA,CAA4BD,CACnBA,EAAAA,CAAAA,CAAED,CAAM,CAAA,CAGjB,IAAwBG,CACfH,EAAAA,CAAAA,CAAOG,CAAK,CAAA,CAGrB,OAAS,CAAA,IACAH,CAET,CAAA,CAAC,OAAO,QAAQ,CAAA,EAAyB,CACvC,IAAIG,CAAQ,CAAA,CAAA,CACZ,OAAO,CACL,KAAM,IACAA,CAAAA,CAAQH,CAAO,CAAA,MAAA,CACV,CACL,KAAA,CAAOA,CAAOG,CAAAA,CAAAA,EAAO,EACrB,IAAM,CAAA,KACR,CAEO,CAAA,CACL,KAAO,CAAA,MAAA,CACP,IAAM,CAAA,IACR,CAGN,CACF,CAAA,CACA,OAAS,CAAA,KAAO,CAAE,IAAA,CAAM,OAAS,CAAA,KAAA,CAAOH,CAAO,CACjD,CAAA,CAAA","file":"chunk-7PQA3W7W.mjs","sourcesContent":["// Core type for Typeable objects\nexport type Typeable<Tag extends string, T = object> = T & {\n readonly _tag: Tag\n}\n\nexport type TypeableParams<Tag extends string, T> = { _tag: Tag; impl: T }\n\n// Utility type to extract the Tag from a Typeable type\nexport type ExtractTag<T> = T extends Typeable<infer Tag, unknown> ? Tag : never\n\n// Create a tagged object with type inference\nexport function Typeable<Tag extends string, T>({ _tag, impl }: TypeableParams<Tag, T>): Typeable<Tag, T> {\n return {\n ...impl,\n _tag: _tag,\n }\n}\n\n// Type guard with automatic type inference using the full type\nexport function isTypeable<T>(value: unknown, tag: string): value is T {\n if (!value || typeof value !== \"object\" || !(\"_tag\" in value)) {\n return false\n }\n\n return tag ? value._tag === tag : true\n}\n\n// // Usage\n// type User = Typeable<\n// \"User\",\n// {\n// id: string\n// name: string\n// email: string\n// }\n// >\n//\n// const user = Typeable(\"User\", {\n// id: \"123\",\n// name: \"John\",\n// email: \"john@example.com\",\n// })\n//\n// const maybeUser: unknown = user\n//\n// // Now we only need to specify User type\n// if (isTypeable<User>(maybeUser, \"User\")) {\n// console.log(maybeUser.name) // typed\n// console.log(maybeUser.email) // typed\n// console.log(maybeUser._tag) // typed as \"User\"\n// }\n//\n// // Can still check just for Typeable without specific tag\n// if (isTypeable<User>(maybeUser)) {\n// console.log(maybeUser.name) // typed\n// console.log(maybeUser.email) // typed\n// console.log(maybeUser._tag) // typed as \"User\"\n// }\n","import { Typeable } from \"@/typeable/Typeable\"\n\n/**\n * Parameters for creating a Valuable instance\n */\nexport type ValuableParams<Tag extends string, T, V> = { _tag: Tag; impl: T; value: V }\n\n/**\n * Creates a Valuable wrapper that adds value extraction capabilities\n * @param params - Configuration parameters\n * @module Valuable\n * @category Utilities\n */\nexport function Valuable<Tag extends string, V, T = object>(params: ValuableParams<Tag, T, V>) {\n const t = Typeable<Tag, T>({ _tag: params._tag, impl: params.impl })\n return {\n ...t,\n toValue: () => ({ _tag: t._tag, value: params.value }),\n }\n}\n\n/**\n * Represents a type that can extract its inner value\n * @interface\n * @module Valuable\n * @category Utilities\n */\nexport type Valuable<Tag extends string, V, T = object> = ReturnType<typeof Valuable<Tag, V, T>>\n","import type { ArrayFunctor } from \"@/functor/Functor\"\nimport { Typeable } from \"@/typeable/Typeable\"\nimport type { Type } from \"@/types\"\nimport { Valuable } from \"@/valuable/Valuable\"\n\nexport type Tuple<T extends Type[]> = {\n get<K extends number>(index: K): T[K]\n\n map<U extends Type[]>(f: (value: T) => U): Tuple<U>\n\n flatMap<U extends Type[]>(f: (value: T) => Tuple<U>): Tuple<U>\n\n toArray(): T\n\n [Symbol.iterator](): Iterator<T[number]>\n} & ArrayFunctor<T> &\n Typeable<\"Tuple\"> &\n Valuable<\"Tuple\", T>\n\nexport const Tuple = <T extends Type[]>(values: T): Tuple<T> => {\n return {\n _tag: \"Tuple\",\n map: <U extends Type[]>(f: (value: T) => U): Tuple<U> => {\n const mapValue = f(values)\n return Tuple(mapValue)\n },\n\n flatMap: <U extends Type[]>(f: (value: T) => Tuple<U>): Tuple<U> => {\n return f(values)\n },\n\n get: <K extends number>(index: K): T[K] => {\n return values[index]\n },\n\n toArray: (): T => {\n return values\n },\n [Symbol.iterator](): Iterator<T[number]> {\n let index = 0\n return {\n next: (): IteratorResult<T[number]> => {\n if (index < values.length) {\n return {\n value: values[index++],\n done: false,\n }\n } else {\n return {\n value: undefined,\n done: true,\n }\n }\n },\n }\n },\n toValue: () => ({ _tag: \"Tuple\", value: values }),\n }\n}\n"]}
1
+ {"version":3,"sources":["../src/typeable/Typeable.ts","../src/valuable/Valuable.ts","../src/tuple/Tuple.ts"],"names":["Typeable","_tag","impl","isTypeable","value","tag","Valuable","params","Tuple","values","f","mapValue","index"],"mappings":"AAWO,SAASA,CAAAA,CAAgC,CAAE,IAAA,CAAAC,CAAAA,CAAM,IAAA,CAAAC,CAAK,CAAA,CAA6C,CACxG,OAAO,CACL,GAAGA,CAAAA,CACH,KAAMD,CACR,CACF,CAGO,SAASE,CAAAA,CAAcC,CAAAA,CAAgBC,CAAAA,CAAyB,CACrE,OAAI,CAACD,CAAAA,EAAS,OAAOA,CAAAA,EAAU,QAAA,EAAY,EAAE,MAAA,GAAUA,CAAAA,CAAAA,CAC9C,MAGFC,CAAAA,CAAMD,CAAAA,CAAM,IAAA,GAASC,CAAAA,CAAM,IACpC,CCZO,SAASC,CAAAA,CAA4CC,EAAmC,CAC7F,IAAM,CAAA,CAAIP,CAAAA,CAAiB,CAAE,IAAA,CAAMO,CAAAA,CAAO,IAAA,CAAM,KAAMA,CAAAA,CAAO,IAAK,CAAC,CAAA,CACnE,OAAO,CACL,GAAG,CAAA,CACH,QAAS,KAAO,CAAE,IAAA,CAAM,CAAA,CAAE,IAAA,CAAM,KAAA,CAAOA,CAAAA,CAAO,KAAM,EACtD,CACF,CCAO,IAAMC,CAAAA,CAA2BC,CAAAA,GAC/B,CACL,IAAA,CAAM,OAAA,CACN,IAAwBC,CAAAA,EAAiC,CACvD,IAAMC,CAAAA,CAAWD,CAAAA,CAAED,CAAM,CAAA,CACzB,OAAOD,EAAMG,CAAQ,CACvB,CAAA,CAEA,OAAA,CAA4BD,CAAAA,EACnBA,CAAAA,CAAED,CAAM,CAAA,CAGjB,IAAwBG,CAAAA,EACfH,CAAAA,CAAOG,CAAK,CAAA,CAGrB,OAAA,CAAS,IACAH,CAAAA,CAET,CAAC,OAAO,QAAQ,CAAA,EAAyB,CACvC,IAAIG,CAAAA,CAAQ,CAAA,CACZ,OAAO,CACL,KAAM,IACAA,CAAAA,CAAQH,CAAAA,CAAO,MAAA,CACV,CACL,KAAA,CAAOA,CAAAA,CAAOG,CAAAA,EAAO,EACrB,IAAA,CAAM,KACR,CAAA,CAEO,CACL,KAAA,CAAO,MAAA,CACP,IAAA,CAAM,IACR,CAGN,CACF,CAAA,CACA,OAAA,CAAS,KAAO,CAAE,IAAA,CAAM,OAAA,CAAS,KAAA,CAAOH,CAAO,CAAA,CACjD,CAAA","file":"chunk-7PQA3W7W.mjs","sourcesContent":["// Core type for Typeable objects\nexport type Typeable<Tag extends string, T = object> = T & {\n readonly _tag: Tag\n}\n\nexport type TypeableParams<Tag extends string, T> = { _tag: Tag; impl: T }\n\n// Utility type to extract the Tag from a Typeable type\nexport type ExtractTag<T> = T extends Typeable<infer Tag, unknown> ? Tag : never\n\n// Create a tagged object with type inference\nexport function Typeable<Tag extends string, T>({ _tag, impl }: TypeableParams<Tag, T>): Typeable<Tag, T> {\n return {\n ...impl,\n _tag: _tag,\n }\n}\n\n// Type guard with automatic type inference using the full type\nexport function isTypeable<T>(value: unknown, tag: string): value is T {\n if (!value || typeof value !== \"object\" || !(\"_tag\" in value)) {\n return false\n }\n\n return tag ? value._tag === tag : true\n}\n\n// // Usage\n// type User = Typeable<\n// \"User\",\n// {\n// id: string\n// name: string\n// email: string\n// }\n// >\n//\n// const user = Typeable(\"User\", {\n// id: \"123\",\n// name: \"John\",\n// email: \"john@example.com\",\n// })\n//\n// const maybeUser: unknown = user\n//\n// // Now we only need to specify User type\n// if (isTypeable<User>(maybeUser, \"User\")) {\n// console.log(maybeUser.name) // typed\n// console.log(maybeUser.email) // typed\n// console.log(maybeUser._tag) // typed as \"User\"\n// }\n//\n// // Can still check just for Typeable without specific tag\n// if (isTypeable<User>(maybeUser)) {\n// console.log(maybeUser.name) // typed\n// console.log(maybeUser.email) // typed\n// console.log(maybeUser._tag) // typed as \"User\"\n// }\n","import { Typeable } from \"@/typeable/Typeable\"\n\n/**\n * Parameters for creating a Valuable instance\n */\nexport type ValuableParams<Tag extends string, T, V> = { _tag: Tag; impl: T; value: V }\n\n/**\n * Creates a Valuable wrapper that adds value extraction capabilities\n * @param params - Configuration parameters\n * @module Valuable\n * @category Utilities\n */\nexport function Valuable<Tag extends string, V, T = object>(params: ValuableParams<Tag, T, V>) {\n const t = Typeable<Tag, T>({ _tag: params._tag, impl: params.impl })\n return {\n ...t,\n toValue: () => ({ _tag: t._tag, value: params.value }),\n }\n}\n\n/**\n * Represents a type that can extract its inner value\n * @interface\n * @module Valuable\n * @category Utilities\n */\nexport type Valuable<Tag extends string, V, T = object> = ReturnType<typeof Valuable<Tag, V, T>>\n","import type { ArrayFunctor } from \"@/functor/Functor\"\nimport { Typeable } from \"@/typeable/Typeable\"\nimport type { Type } from \"@/types\"\nimport { Valuable } from \"@/valuable/Valuable\"\n\nexport type Tuple<T extends Type[]> = {\n get<K extends number>(index: K): T[K]\n\n map<U extends Type[]>(f: (value: T) => U): Tuple<U>\n\n flatMap<U extends Type[]>(f: (value: T) => Tuple<U>): Tuple<U>\n\n toArray(): T\n\n [Symbol.iterator](): Iterator<T[number]>\n} & ArrayFunctor<T> &\n Typeable<\"Tuple\"> &\n Valuable<\"Tuple\", T>\n\nexport const Tuple = <T extends Type[]>(values: T): Tuple<T> => {\n return {\n _tag: \"Tuple\",\n map: <U extends Type[]>(f: (value: T) => U): Tuple<U> => {\n const mapValue = f(values)\n return Tuple(mapValue)\n },\n\n flatMap: <U extends Type[]>(f: (value: T) => Tuple<U>): Tuple<U> => {\n return f(values)\n },\n\n get: <K extends number>(index: K): T[K] => {\n return values[index]\n },\n\n toArray: (): T => {\n return values\n },\n [Symbol.iterator](): Iterator<T[number]> {\n let index = 0\n return {\n next: (): IteratorResult<T[number]> => {\n if (index < values.length) {\n return {\n value: values[index++],\n done: false,\n }\n } else {\n return {\n value: undefined,\n done: true,\n }\n }\n },\n }\n },\n toValue: () => ({ _tag: \"Tuple\", value: values }),\n }\n}\n"]}
@@ -1 +1 @@
1
- {"version":3,"sources":["../src/branded/Brand.ts"],"names":["Brand","brand","value","unbrand","branded","hasBrand","createBrander","BrandedString","BrandedNumber","BrandedBoolean"],"mappings":"AAoBO,SAASA,CAAAA,CAA2BC,CAAUC,CAAAA,CAAAA,CAAuB,CAC1E,OAAOA,CACT,CAOO,SAASC,CAAWC,CAAAA,CAAAA,CAA8B,CACvD,OAAOA,CACT,CAaO,SAASC,CAA8BH,CAAAA,CAAAA,CAAgBD,CAAgC,CAAA,CAG5F,OAAOC,CAAAA,EAAU,IACnB,CAOO,SAASI,CAAAA,CAAmCL,CAAU,CAAA,CAC3D,OAAQC,CAA0BF,EAAAA,CAAAA,CAAMC,CAAOC,CAAAA,CAAK,CACtD,KAQaK,CACQN,CAAAA,CAAAA,EAClBC,CACCF,EAAAA,CAAAA,CAAMC,CAAOC,CAAAA,CAAK,EAETM,CACQP,CAAAA,CAAAA,EAClBC,CACCF,EAAAA,CAAAA,CAAMC,CAAOC,CAAAA,CAAK,CAETO,CAAAA,CAAAA,CACQR,CAClBC,EAAAA,CAAAA,EACCF,CAAMC,CAAAA,CAAAA,CAAOC,CAAK","file":"chunk-TQJDL6YW.mjs","sourcesContent":["/**\n * Brand is a utility for creating nominal typing in TypeScript\n * It allows for creating distinct types that are structurally identical\n * but considered different by TypeScript's type system\n */\n\n// The brand symbol type\nexport type Brand<K extends string, T> = T & { readonly __brand: K }\n\n// Utility type to extract the underlying type from a branded type\nexport type Unbrand<T> = T extends Brand<string, infer U> ? U : never\n\n// Utility type to extract the brand from a branded type\nexport type ExtractBrand<T> = T extends Brand<infer K, unknown> ? K : never\n\n/**\n * Helper to create a branded type\n * @param value - The value to brand\n * @returns The branded value\n */\nexport function Brand<K extends string, T>(brand: K, value: T): Brand<K, T> {\n return value as Brand<K, T>\n}\n\n/**\n * Helper to remove a brand from a value\n * @param branded - The branded value\n * @returns The original value without the brand\n */\nexport function unbrand<T>(branded: Brand<string, T>): T {\n return branded as T\n}\n\n/**\n * Type guard for checking if a value has a specific brand\n * @param value - The value to check\n * @param brand - The brand to check for\n * @returns True if the value has the specified brand\n *\n * Note: Since brands are phantom types that exist only at compile time,\n * this function can only provide a runtime approximation. It always returns true\n * for non-null values, as we have no way to actually check the brand at runtime.\n * This function is primarily for API consistency and documentation purposes.\n */\nexport function hasBrand<K extends string, T>(value: unknown, brand: K): value is Brand<K, T> {\n // In a phantom type system, we can't actually check the brand at runtime\n // We can only verify the value exists\n return value !== null && value !== undefined\n}\n\n/**\n * Create a branded type constructor for a specific brand\n * @param brand - The brand name\n * @returns A function that brands values with the specified brand\n */\nexport function createBrander<K extends string, T>(brand: K) {\n return (value: T): Brand<K, T> => Brand(brand, value)\n}\n\n// Common branded primitive types\nexport type BrandedString<K extends string> = Brand<K, string>\nexport type BrandedNumber<K extends string> = Brand<K, number>\nexport type BrandedBoolean<K extends string> = Brand<K, boolean>\n\n// Factory for common primitive branded types\nexport const BrandedString =\n <K extends string>(brand: K) =>\n (value: string): BrandedString<K> =>\n Brand(brand, value)\n\nexport const BrandedNumber =\n <K extends string>(brand: K) =>\n (value: number): BrandedNumber<K> =>\n Brand(brand, value)\n\nexport const BrandedBoolean =\n <K extends string>(brand: K) =>\n (value: boolean): BrandedBoolean<K> =>\n Brand(brand, value)\n"]}
1
+ {"version":3,"sources":["../src/branded/Brand.ts"],"names":["Brand","brand","value","unbrand","branded","hasBrand","createBrander","BrandedString","BrandedNumber","BrandedBoolean"],"mappings":"AAoBO,SAASA,CAAAA,CAA2BC,CAAAA,CAAUC,CAAAA,CAAuB,CAC1E,OAAOA,CACT,CAOO,SAASC,CAAAA,CAAWC,CAAAA,CAA8B,CACvD,OAAOA,CACT,CAaO,SAASC,CAAAA,CAA8BH,CAAAA,CAAgBD,CAAAA,CAAgC,CAG5F,OAAOC,CAAAA,EAAU,IACnB,CAOO,SAASI,CAAAA,CAAmCL,CAAAA,CAAU,CAC3D,OAAQC,CAAAA,EAA0BF,CAAAA,CAAMC,CAAAA,CAAOC,CAAK,CACtD,KAQaK,CAAAA,CACQN,CAAAA,EAClBC,CAAAA,EACCF,CAAAA,CAAMC,CAAAA,CAAOC,CAAK,EAETM,CAAAA,CACQP,CAAAA,EAClBC,CAAAA,EACCF,CAAAA,CAAMC,CAAAA,CAAOC,CAAK,CAAA,CAETO,CAAAA,CACQR,CAAAA,EAClBC,CAAAA,EACCF,CAAAA,CAAMC,CAAAA,CAAOC,CAAK","file":"chunk-TQJDL6YW.mjs","sourcesContent":["/**\n * Brand is a utility for creating nominal typing in TypeScript\n * It allows for creating distinct types that are structurally identical\n * but considered different by TypeScript's type system\n */\n\n// The brand symbol type\nexport type Brand<K extends string, T> = T & { readonly __brand: K }\n\n// Utility type to extract the underlying type from a branded type\nexport type Unbrand<T> = T extends Brand<string, infer U> ? U : never\n\n// Utility type to extract the brand from a branded type\nexport type ExtractBrand<T> = T extends Brand<infer K, unknown> ? K : never\n\n/**\n * Helper to create a branded type\n * @param value - The value to brand\n * @returns The branded value\n */\nexport function Brand<K extends string, T>(brand: K, value: T): Brand<K, T> {\n return value as Brand<K, T>\n}\n\n/**\n * Helper to remove a brand from a value\n * @param branded - The branded value\n * @returns The original value without the brand\n */\nexport function unbrand<T>(branded: Brand<string, T>): T {\n return branded as T\n}\n\n/**\n * Type guard for checking if a value has a specific brand\n * @param value - The value to check\n * @param brand - The brand to check for\n * @returns True if the value has the specified brand\n *\n * Note: Since brands are phantom types that exist only at compile time,\n * this function can only provide a runtime approximation. It always returns true\n * for non-null values, as we have no way to actually check the brand at runtime.\n * This function is primarily for API consistency and documentation purposes.\n */\nexport function hasBrand<K extends string, T>(value: unknown, brand: K): value is Brand<K, T> {\n // In a phantom type system, we can't actually check the brand at runtime\n // We can only verify the value exists\n return value !== null && value !== undefined\n}\n\n/**\n * Create a branded type constructor for a specific brand\n * @param brand - The brand name\n * @returns A function that brands values with the specified brand\n */\nexport function createBrander<K extends string, T>(brand: K) {\n return (value: T): Brand<K, T> => Brand(brand, value)\n}\n\n// Common branded primitive types\nexport type BrandedString<K extends string> = Brand<K, string>\nexport type BrandedNumber<K extends string> = Brand<K, number>\nexport type BrandedBoolean<K extends string> = Brand<K, boolean>\n\n// Factory for common primitive branded types\nexport const BrandedString =\n <K extends string>(brand: K) =>\n (value: string): BrandedString<K> =>\n Brand(brand, value)\n\nexport const BrandedNumber =\n <K extends string>(brand: K) =>\n (value: number): BrandedNumber<K> =>\n Brand(brand, value)\n\nexport const BrandedBoolean =\n <K extends string>(brand: K) =>\n (value: boolean): BrandedBoolean<K> =>\n Brand(brand, value)\n"]}
@@ -1,2 +1,2 @@
1
- export { E as Either, c as Left, R as Right, b as TestEither, f as TypeCheckLeft, e as TypeCheckRight, d as isLeft, i as isRight, t as tryCatch, g as tryCatchAsync } from '../Either-BfXNbTHo.js';
2
- import '../Valuable-CtuVEKTZ.js';
1
+ export { E as Either, c as Left, R as Right, b as TestEither, f as TypeCheckLeft, e as TypeCheckRight, d as isLeft, i as isRight, t as tryCatch, g as tryCatchAsync } from '../Either-DlOLCe3b.js';
2
+ import '../Valuable-D4BtNlTV.js';
@@ -1,2 +1,2 @@
1
- export{s as Either,l as Left,k as Right,q as TypeCheckLeft,p as TypeCheckRight,n as isLeft,m as isRight,o as tryCatch,r as tryCatchAsync}from'../chunk-5DWCHDSA.mjs';import'../chunk-7PQA3W7W.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{p as Either,i as Left,h as Right,n as TypeCheckLeft,m as TypeCheckRight,k as isLeft,j as isRight,l as tryCatch,o as tryCatchAsync}from'../chunk-5ABR3A24.mjs';import'../chunk-7PQA3W7W.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map
@@ -1,5 +1,5 @@
1
- import { E as Either } from '../Either-BfXNbTHo.js';
2
- import { a as Type } from '../Valuable-CtuVEKTZ.js';
1
+ import { E as Either } from '../Either-DlOLCe3b.js';
2
+ import { T as Type } from '../Valuable-D4BtNlTV.js';
3
3
 
4
4
  /**
5
5
  * Error context information that provides additional metadata about errors.
@@ -1,2 +1,2 @@
1
- export{u as FPromise,t as FPromiseCompanion}from'../chunk-5DWCHDSA.mjs';import'../chunk-7PQA3W7W.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
1
+ export{J as FPromise,I as FPromiseCompanion}from'../chunk-5ABR3A24.mjs';import'../chunk-7PQA3W7W.mjs';import'../chunk-TQJDL6YW.mjs';//# sourceMappingURL=index.mjs.map
2
2
  //# sourceMappingURL=index.mjs.map