@soundscript/soundscript 0.1.1 → 0.1.3

package/result.js

@@ -1,39 +1,75 @@
 import { normalizeThrown } from '@soundscript/soundscript/failures';
+import { __valueFactory, __valueKey, __valueReadonly, __valueShallowToken, } from '@soundscript/soundscript/value';
+const makeOk = __valueFactory((value) => __valueKey('ok', __valueShallowToken(value)), () => Object.create(Ok.prototype), (instance, value) => {
+    __valueReadonly(instance, 'tag', 'ok');
+    __valueReadonly(instance, 'value', value);
+});
+const makeErr = __valueFactory((error) => __valueKey('err', __valueShallowToken(error)), () => Object.create(Err.prototype), (instance, error) => {
+    __valueReadonly(instance, 'tag', 'err');
+    __valueReadonly(instance, 'error', error);
+});
+const makeSome = __valueFactory((value) => __valueKey('some', __valueShallowToken(value)), () => Object.create(Some.prototype), (instance, value) => {
+    __valueReadonly(instance, 'tag', 'some');
+    __valueReadonly(instance, 'value', value);
+});
+const makeNone = __valueFactory(() => __valueKey('none'), () => Object.create(None.prototype), (instance) => {
+    __valueReadonly(instance, 'tag', 'none');
+});
+// #[variance(T: out)]
+export class Ok {
+    constructor(value) {
+        return makeOk(value);
+    }
+}
+// #[variance(E: out)]
+export class Err {
+    constructor(error) {
+        return makeErr(error);
+    }
+}
+// #[variance(T: out)]
+export class Some {
+    constructor(value) {
+        return makeSome(value);
+    }
+}
+export class None {
+    constructor() {
+        return makeNone();
+    }
+}
 export function ok(value) {
-    return { tag: 'ok', value };
+    return new Ok(value);
 }
 export function err(error) {
-    return { tag: 'err', error };
+    return new Err(error);
 }
 export function some(value) {
-    return ok(value);
+    return new Some(value);
 }
 export function none() {
-    return err();
+    return new None();
 }
 export function isOk(value) {
-    return value.tag === 'ok';
+    return value instanceof Ok;
 }
 export function isErr(value) {
-    return value.tag === 'err';
+    return value instanceof Err;
 }
 export function isSome(value) {
-    return isOk(value);
+    return value instanceof Some;
 }
 export function isNone(value) {
-    return isErr(value);
+    return value instanceof None;
 }
-function isPromiseLike(value) {
-    return (typeof value === 'object' || typeof value === 'function') &&
-        value !== null &&
-        'then' in value &&
-        typeof value.then === 'function';
+function isPromiseInstance(value) {
+    return value instanceof Promise;
 }
 export function resultOf(fn, mapError) {
     try {
         const value = fn();
-        if (isPromiseLike(value)) {
-            return Promise.resolve(value).then((resolved) => ok(resolved), (error) => {
+        if (isPromiseInstance(value)) {
+            return value.then((resolved) => ok(resolved), (error) => {
                 const normalized = normalizeThrown(error);
                 return err(mapError ? mapError(normalized) : normalized);
             });
@@ -46,16 +82,16 @@ export function resultOf(fn, mapError) {
     }
 }
 function mapOption(value, f) {
-    return isOk(value) ? ok(f(value.value)) : value;
+    return isSome(value) ? some(f(value.value)) : value;
 }
 function apOption(fn, value) {
-    if (!isOk(fn)) {
+    if (!isSome(fn)) {
         return fn;
     }
-    return isOk(value) ? ok(fn.value(value.value)) : value;
+    return isSome(value) ? some(fn.value(value.value)) : value;
 }
 function flatMapOption(value, f) {
-    return isOk(value) ? f(value.value) : value;
+    return isSome(value) ? f(value.value) : value;
 }
 const optionMonadImpl = {
     ap: apOption,

package/result.js.map

@@ -1 +1 @@
-{"version":3,"file":"result.js","sourceRoot":"","sources":["./soundscript/result.sts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AA4BpE,MAAM,UAAU,EAAE,CAAI,KAAQ;IAC5B,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC;AAID,MAAM,UAAU,GAAG,CAAI,KAAS;IAC9B,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,IAAI,CAAI,KAAQ;IAC9B,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,IAAI;IAClB,OAAO,GAAG,EAAE,CAAC;AACf,CAAC;AAED,MAAM,UAAU,IAAI,CAAO,KAAmB;IAC5C,OAAO,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,KAAmB;IAC7C,OAAO,KAAK,CAAC,GAAG,KAAK,KAAK,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,KAAgB;IACxC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,KAAgB;IACxC,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC;AACtB,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,OAAO,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAC/D,KAAK,KAAK,IAAI;QACd,MAAM,IAAI,KAAK;QACf,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAC;AACrC,CAAC;AASD,MAAM,UAAU,QAAQ,CACtB,EAAwB,EACxB,QAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,EAAE,EAAE,CAAC;QACnB,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,OAAO,CAAC,KAAuB,CAAC,CAAC,IAAI,CAClD,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAC1B,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC3D,CAAC,CACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAO,KAAgB,EAAE,CAAkB;IAC3D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CACf,EAA2B,EAC3B,KAAgB;IAEhB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CAAO,KAAgB,EAAE,CAA0B;IACvE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,MAAM,eAAe,GAAmB;IACtC,EAAE,EAAE,QAAQ;IACZ,OAAO,EAAE,aAAa;IACtB,GAAG,EAAE,SAAS;IACd,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAqB,eAAe,CAAC;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAyB,eAAe,CAAC;AACvE,MAAM,CAAC,MAAM,WAAW,GAAmB,eAAe,CAAC;AAE3D,SAAS,SAAS,CAAU,KAAmB,EAAE,CAAkB;IACjE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CACf,EAA8B,EAC9B,KAAmB;IAEnB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CACpB,KAAmB,EACnB,CAA6B;IAE7B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO;QACL,EAAE,EAAE,QAAQ;QACZ,OAAO,EAAE,aAAa;QACtB,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,kFAAkF,CAC1F,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,GAAG,CAAC,MAAe;IACjC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC","sourcesContent":["import { normalizeThrown } from '@soundscript/soundscript/failures';\nimport { type Bind, type Kind, type Kind2, type TypeLambda } from '@soundscript/soundscript/hkt';\nimport { type Applicative, type Functor, type Monad } from '@soundscript/soundscript/typeclasses';\n\n// #[variance(T: out)]\nexport type Ok<T> = { readonly tag: 'ok'; readonly value: T };\n// #[variance(E: out)]\nexport type Err<E> = { readonly tag: 'err'; readonly error: E };\n\n// #[variance(T: out, E: out)]\nexport type Result<T, E> = Ok<T> | Err<E>;\n// #[variance(T: out)]\nexport type Some<T> = Ok<T>;\nexport type None = Err<void>;\n// #[variance(T: out)]\nexport type Option<T> = Result<T, void>;\n\nexport interface OptionF extends TypeLambda {\n  readonly type: Option<this['Args'][0]>;\n}\n\nexport interface ResultF extends TypeLambda {\n  readonly type: Result<this['Args'][1], this['Args'][0]>;\n}\n\nexport type OptionKind<T> = Kind<OptionF, T>;\nexport type ResultKind<E, T> = Kind2<ResultF, E, T>;\n\nexport function ok<T>(value: T): Result<T, never> {\n  return { tag: 'ok', value };\n}\n\nexport function err(): Result<never, void>;\nexport function err<E>(error: E): Result<never, E>;\nexport function err<E>(error?: E): Result<never, E | void> {\n  return { tag: 'err', error };\n}\n\nexport function some<T>(value: T): Option<T> {\n  return ok(value);\n}\n\nexport function none(): Option<never> {\n  return err();\n}\n\nexport function isOk<T, E>(value: Result<T, E>): value is Ok<T> {\n  return value.tag === 'ok';\n}\n\nexport function isErr<T, E>(value: Result<T, E>): value is Err<E> {\n  return value.tag === 'err';\n}\n\nexport function isSome<T>(value: Option<T>): value is Some<T> {\n  return isOk(value);\n}\n\nexport function isNone<T>(value: Option<T>): value is None {\n  return isErr(value);\n}\n\nfunction isPromiseLike(value: unknown): value is PromiseLike<unknown> {\n  return (typeof value === 'object' || typeof value === 'function') &&\n    value !== null &&\n    'then' in value &&\n    typeof value.then === 'function';\n}\n\nexport function resultOf<T>(fn: () => Promise<T>): Promise<Result<T, Error>>;\nexport function resultOf<T, E>(\n  fn: () => Promise<T>,\n  mapError: (error: Error) => E,\n): Promise<Result<T, E>>;\nexport function resultOf<T>(fn: () => T): Result<T, Error>;\nexport function resultOf<T, E>(fn: () => T, mapError: (error: Error) => E): Result<T, E>;\nexport function resultOf<T, E>(\n  fn: () => T | Promise<T>,\n  mapError?: (error: Error) => E,\n): Result<T, E | Error> | Promise<Result<T, E | Error>> {\n  try {\n    const value = fn();\n    if (isPromiseLike(value)) {\n      return Promise.resolve(value as PromiseLike<T>).then(\n        (resolved) => ok(resolved),\n        (error) => {\n          const normalized = normalizeThrown(error);\n          return err(mapError ? mapError(normalized) : normalized);\n        },\n      );\n    }\n    return ok(value);\n  } catch (error) {\n    const normalized = normalizeThrown(error);\n    return err(mapError ? mapError(normalized) : normalized);\n  }\n}\n\nfunction mapOption<A, B>(value: Option<A>, f: (value: A) => B): Option<B> {\n  return isOk(value) ? ok(f(value.value)) : value;\n}\n\nfunction apOption<A, B>(\n  fn: Option<(value: A) => B>,\n  value: Option<A>,\n): Option<B> {\n  if (!isOk(fn)) {\n    return fn;\n  }\n  return isOk(value) ? ok(fn.value(value.value)) : value;\n}\n\nfunction flatMapOption<A, B>(value: Option<A>, f: (value: A) => Option<B>): Option<B> {\n  return isOk(value) ? f(value.value) : value;\n}\n\nconst optionMonadImpl: Monad<OptionF> = {\n  ap: apOption,\n  flatMap: flatMapOption,\n  map: mapOption,\n  pure: some,\n};\n\nexport const optionFunctor: Functor<OptionF> = optionMonadImpl;\nexport const optionApplicative: Applicative<OptionF> = optionMonadImpl;\nexport const optionMonad: Monad<OptionF> = optionMonadImpl;\n\nfunction mapResult<E, A, B>(value: Result<A, E>, f: (value: A) => B): Result<B, E> {\n  return isOk(value) ? ok(f(value.value)) : value;\n}\n\nfunction apResult<E, A, B>(\n  fn: Result<(value: A) => B, E>,\n  value: Result<A, E>,\n): Result<B, E> {\n  if (!isOk(fn)) {\n    return fn;\n  }\n  return isOk(value) ? ok(fn.value(value.value)) : value;\n}\n\nfunction flatMapResult<E, A, B>(\n  value: Result<A, E>,\n  f: (value: A) => Result<B, E>,\n): Result<B, E> {\n  return isOk(value) ? f(value.value) : value;\n}\n\nfunction createResultMonad<E>(): Monad<Bind<ResultF, [E]>> {\n  return {\n    ap: apResult,\n    flatMap: flatMapResult,\n    map: mapResult,\n    pure: ok,\n  };\n}\n\nexport function resultFunctor<E>(): Functor<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nexport function resultApplicative<E>(): Applicative<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nexport function resultMonad<E>(): Monad<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nfunction macroRuntimeError(name: string): never {\n  throw new Error(\n    `${name}(...) is a Soundscript macro and should be removed during Soundscript expansion.`,\n  );\n}\n\nexport function Try<T, E>(value: Result<T, E>): T;\nexport function Try(_value: unknown): never {\n  return macroRuntimeError('Try');\n}\n"]}
+{"version":3,"file":"result.js","sourceRoot":"","sources":["./soundscript/result.sts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,mCAAmC,CAAC;AAGpE,OAAO,EACL,cAAc,EACd,UAAU,EACV,eAAe,EACf,mBAAmB,GACpB,MAAM,gCAAgC,CAAC;AAExC,MAAM,MAAM,GAAG,cAAc,CAC3B,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,EACvD,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS,CAAgB,EAChD,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;IAClB,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACvC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AAEF,MAAM,OAAO,GAAG,cAAc,CAC5B,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,EACxD,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAiB,EAClD,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;IAClB,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACxC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,cAAc,CAC7B,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM,EAAE,mBAAmB,CAAC,KAAK,CAAC,CAAC,EACzD,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAkB,EACpD,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE;IAClB,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACzC,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC,CACF,CAAC;AAEF,MAAM,QAAQ,GAAG,cAAc,CAC7B,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,EACxB,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAS,EAC3C,CAAC,QAAQ,EAAE,EAAE;IACX,eAAe,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC,CACF,CAAC;AAEF,sBAAsB;AACtB,MAAM,OAAO,EAAE;IAIb,YAAY,KAAQ;QAClB,OAAO,MAAM,CAAC,KAAK,CAAU,CAAC;IAChC,CAAC;CACF;AAED,sBAAsB;AACtB,MAAM,OAAO,GAAG;IAId,YAAY,KAAQ;QAClB,OAAO,OAAO,CAAC,KAAK,CAAW,CAAC;IAClC,CAAC;CACF;AAKD,sBAAsB;AACtB,MAAM,OAAO,IAAI;IAIf,YAAY,KAAQ;QAClB,OAAO,QAAQ,CAAC,KAAK,CAAY,CAAC;IACpC,CAAC;CACF;AAED,MAAM,OAAO,IAAI;IAGf;QACE,OAAO,QAAQ,EAAE,CAAC;IACpB,CAAC;CACF;AAgBD,MAAM,UAAU,EAAE,CAAI,KAAQ;IAC5B,OAAO,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAID,MAAM,UAAU,GAAG,CAAI,KAAS;IAC9B,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,IAAI,CAAI,KAAQ;IAC9B,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,IAAI;IAClB,OAAO,IAAI,IAAI,EAAE,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,IAAI,CAAO,KAAmB;IAC5C,OAAO,KAAK,YAAY,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,KAAK,CAAO,KAAmB;IAC7C,OAAO,KAAK,YAAY,GAAG,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,KAAgB;IACxC,OAAO,KAAK,YAAY,IAAI,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,MAAM,CAAI,KAAgB;IACxC,OAAO,KAAK,YAAY,IAAI,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAI,KAAc;IAC1C,OAAO,KAAK,YAAY,OAAO,CAAC;AAClC,CAAC;AASD,MAAM,UAAU,QAAQ,CACtB,EAAwB,EACxB,QAA8B;IAE9B,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,EAAE,EAAE,CAAC;QACnB,IAAI,iBAAiB,CAAI,KAAK,CAAC,EAAE,CAAC;YAChC,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,CAAC,EAC1B,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;gBAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC3D,CAAC,CACF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC;IACnB,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAO,KAAgB,EAAE,CAAkB;IAC3D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACtD,CAAC;AAED,SAAS,QAAQ,CACf,EAA2B,EAC3B,KAAgB;IAEhB,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC7D,CAAC;AAED,SAAS,aAAa,CAAO,KAAgB,EAAE,CAA0B;IACvE,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC;AAED,MAAM,eAAe,GAAmB;IACtC,EAAE,EAAE,QAAQ;IACZ,OAAO,EAAE,aAAa;IACtB,GAAG,EAAE,SAAS;IACd,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAqB,eAAe,CAAC;AAC/D,MAAM,CAAC,MAAM,iBAAiB,GAAyB,eAAe,CAAC;AACvE,MAAM,CAAC,MAAM,WAAW,GAAmB,eAAe,CAAC;AAE3D,SAAS,SAAS,CAAU,KAAmB,EAAE,CAAkB;IACjE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAClD,CAAC;AAED,SAAS,QAAQ,CACf,EAA8B,EAC9B,KAAmB;IAEnB,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;QACd,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AACzD,CAAC;AAED,SAAS,aAAa,CACpB,KAAmB,EACnB,CAA6B;IAE7B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC9C,CAAC;AAED,SAAS,iBAAiB;IACxB,OAAO;QACL,EAAE,EAAE,QAAQ;QACZ,OAAO,EAAE,aAAa;QACtB,GAAG,EAAE,SAAS;QACd,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa;IAC3B,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,iBAAiB;IAC/B,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,WAAW;IACzB,OAAO,iBAAiB,EAAK,CAAC;AAChC,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,kFAAkF,CAC1F,CAAC;AACJ,CAAC;AAGD,MAAM,UAAU,GAAG,CAAC,MAAe;IACjC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC;AAClC,CAAC","sourcesContent":["import { normalizeThrown } from '@soundscript/soundscript/failures';\nimport { type Bind, type Kind, type Kind2, type TypeLambda } from '@soundscript/soundscript/hkt';\nimport { type Applicative, type Functor, type Monad } from '@soundscript/soundscript/typeclasses';\nimport {\n  __valueFactory,\n  __valueKey,\n  __valueReadonly,\n  __valueShallowToken,\n} from '@soundscript/soundscript/value';\n\nconst makeOk = __valueFactory<Ok<unknown>, [unknown]>(\n  (value) => __valueKey('ok', __valueShallowToken(value)),\n  () => Object.create(Ok.prototype) as Ok<unknown>,\n  (instance, value) => {\n    __valueReadonly(instance, 'tag', 'ok');\n    __valueReadonly(instance, 'value', value);\n  },\n);\n\nconst makeErr = __valueFactory<Err<unknown>, [unknown]>(\n  (error) => __valueKey('err', __valueShallowToken(error)),\n  () => Object.create(Err.prototype) as Err<unknown>,\n  (instance, error) => {\n    __valueReadonly(instance, 'tag', 'err');\n    __valueReadonly(instance, 'error', error);\n  },\n);\n\nconst makeSome = __valueFactory<Some<unknown>, [unknown]>(\n  (value) => __valueKey('some', __valueShallowToken(value)),\n  () => Object.create(Some.prototype) as Some<unknown>,\n  (instance, value) => {\n    __valueReadonly(instance, 'tag', 'some');\n    __valueReadonly(instance, 'value', value);\n  },\n);\n\nconst makeNone = __valueFactory<None, []>(\n  () => __valueKey('none'),\n  () => Object.create(None.prototype) as None,\n  (instance) => {\n    __valueReadonly(instance, 'tag', 'none');\n  },\n);\n\n// #[variance(T: out)]\nexport class Ok<T> {\n  readonly tag!: 'ok';\n  readonly value!: T;\n\n  constructor(value: T) {\n    return makeOk(value) as Ok<T>;\n  }\n}\n\n// #[variance(E: out)]\nexport class Err<E> {\n  readonly tag!: 'err';\n  readonly error!: E;\n\n  constructor(error: E) {\n    return makeErr(error) as Err<E>;\n  }\n}\n\n// #[variance(T: out, E: out)]\nexport type Result<T, E> = Ok<T> | Err<E>;\n\n// #[variance(T: out)]\nexport class Some<T> {\n  readonly tag!: 'some';\n  readonly value!: T;\n\n  constructor(value: T) {\n    return makeSome(value) as Some<T>;\n  }\n}\n\nexport class None {\n  readonly tag!: 'none';\n\n  constructor() {\n    return makeNone();\n  }\n}\n\n// #[variance(T: out)]\nexport type Option<T> = Some<T> | None;\n\nexport interface OptionF extends TypeLambda {\n  readonly type: Option<this['Args'][0]>;\n}\n\nexport interface ResultF extends TypeLambda {\n  readonly type: Result<this['Args'][1], this['Args'][0]>;\n}\n\nexport type OptionKind<T> = Kind<OptionF, T>;\nexport type ResultKind<E, T> = Kind2<ResultF, E, T>;\n\nexport function ok<T>(value: T): Result<T, never> {\n  return new Ok(value);\n}\n\nexport function err(): Result<never, void>;\nexport function err<E>(error: E): Result<never, E>;\nexport function err<E>(error?: E): Result<never, E | void> {\n  return new Err(error);\n}\n\nexport function some<T>(value: T): Option<T> {\n  return new Some(value);\n}\n\nexport function none(): Option<never> {\n  return new None();\n}\n\nexport function isOk<T, E>(value: Result<T, E>): value is Ok<T> {\n  return value instanceof Ok;\n}\n\nexport function isErr<T, E>(value: Result<T, E>): value is Err<E> {\n  return value instanceof Err;\n}\n\nexport function isSome<T>(value: Option<T>): value is Some<T> {\n  return value instanceof Some;\n}\n\nexport function isNone<T>(value: Option<T>): value is None {\n  return value instanceof None;\n}\n\nfunction isPromiseInstance<T>(value: unknown): value is Promise<T> {\n  return value instanceof Promise;\n}\n\nexport function resultOf<T>(fn: () => Promise<T>): Promise<Result<T, Error>>;\nexport function resultOf<T, E>(\n  fn: () => Promise<T>,\n  mapError: (error: Error) => E,\n): Promise<Result<T, E>>;\nexport function resultOf<T>(fn: () => T): Result<T, Error>;\nexport function resultOf<T, E>(fn: () => T, mapError: (error: Error) => E): Result<T, E>;\nexport function resultOf<T, E>(\n  fn: () => T | Promise<T>,\n  mapError?: (error: Error) => E,\n): Result<T, E | Error> | Promise<Result<T, E | Error>> {\n  try {\n    const value = fn();\n    if (isPromiseInstance<T>(value)) {\n      return value.then(\n        (resolved) => ok(resolved),\n        (error) => {\n          const normalized = normalizeThrown(error);\n          return err(mapError ? mapError(normalized) : normalized);\n        },\n      );\n    }\n    return ok(value);\n  } catch (error) {\n    const normalized = normalizeThrown(error);\n    return err(mapError ? mapError(normalized) : normalized);\n  }\n}\n\nfunction mapOption<A, B>(value: Option<A>, f: (value: A) => B): Option<B> {\n  return isSome(value) ? some(f(value.value)) : value;\n}\n\nfunction apOption<A, B>(\n  fn: Option<(value: A) => B>,\n  value: Option<A>,\n): Option<B> {\n  if (!isSome(fn)) {\n    return fn;\n  }\n  return isSome(value) ? some(fn.value(value.value)) : value;\n}\n\nfunction flatMapOption<A, B>(value: Option<A>, f: (value: A) => Option<B>): Option<B> {\n  return isSome(value) ? f(value.value) : value;\n}\n\nconst optionMonadImpl: Monad<OptionF> = {\n  ap: apOption,\n  flatMap: flatMapOption,\n  map: mapOption,\n  pure: some,\n};\n\nexport const optionFunctor: Functor<OptionF> = optionMonadImpl;\nexport const optionApplicative: Applicative<OptionF> = optionMonadImpl;\nexport const optionMonad: Monad<OptionF> = optionMonadImpl;\n\nfunction mapResult<E, A, B>(value: Result<A, E>, f: (value: A) => B): Result<B, E> {\n  return isOk(value) ? ok(f(value.value)) : value;\n}\n\nfunction apResult<E, A, B>(\n  fn: Result<(value: A) => B, E>,\n  value: Result<A, E>,\n): Result<B, E> {\n  if (!isOk(fn)) {\n    return fn;\n  }\n  return isOk(value) ? ok(fn.value(value.value)) : value;\n}\n\nfunction flatMapResult<E, A, B>(\n  value: Result<A, E>,\n  f: (value: A) => Result<B, E>,\n): Result<B, E> {\n  return isOk(value) ? f(value.value) : value;\n}\n\nfunction createResultMonad<E>(): Monad<Bind<ResultF, [E]>> {\n  return {\n    ap: apResult,\n    flatMap: flatMapResult,\n    map: mapResult,\n    pure: ok,\n  };\n}\n\nexport function resultFunctor<E>(): Functor<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nexport function resultApplicative<E>(): Applicative<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nexport function resultMonad<E>(): Monad<Bind<ResultF, [E]>> {\n  return createResultMonad<E>();\n}\n\nfunction macroRuntimeError(name: string): never {\n  throw new Error(\n    `${name}(...) is a Soundscript macro and should be removed during Soundscript expansion.`,\n  );\n}\n\nexport function Try<T, E>(value: Result<T, E>): T;\nexport function Try(_value: unknown): never {\n  return macroRuntimeError('Try');\n}\n"]}

package/soundscript/async.sts

@@ -109,7 +109,7 @@ export function flatMap<A, B, E1, E2>(
 
 export function recover<A, B, E>(
   task: Task<A, E>,
-  project: (error: E) => B | PromiseLike<B>,
+  project: (error: E) => B | Promise<B>,
 ): Task<A | B, Error> {
   return async (signal?: AbortSignalLike) => {
     const result = await task(signal);
@@ -123,7 +123,7 @@ export function recover<A, B, E>(
 
 export function tap<A, E>(
   task: Task<A, E>,
-  effect: (value: A) => unknown | PromiseLike<unknown>,
+  effect: (value: A) => unknown | Promise<unknown>,
 ): Task<A, E | Error> {
   return async (signal?: AbortSignalLike) => {
     const result = await task(signal);
@@ -138,7 +138,7 @@ export function tap<A, E>(
 
 export function tapError<A, E>(
   task: Task<A, E>,
-  effect: (error: E) => unknown | PromiseLike<unknown>,
+  effect: (error: E) => unknown | Promise<unknown>,
 ): Task<A, E | Error> {
   return async (signal?: AbortSignalLike) => {
     const result = await task(signal);
@@ -276,8 +276,8 @@ export function taskAsyncMonad<E>(): AsyncMonad<Bind<TaskF, [E]>> {
   const monad = createTaskMonad<E>();
   return {
     ...monad,
-    fromPromise<A>(promise: PromiseLike<A>): Task<A, E> {
-      return fromPromise(() => Promise.resolve(promise)) as Task<A, E>;
+    fromPromise<A>(promise: Promise<A>): Task<A, E> {
+      return fromPromise(() => promise) as Task<A, E>;
     },
   };
 }
@@ -309,7 +309,7 @@ export const promiseMonad: Monad<PromiseF> = {
 
 export const promiseAsyncMonad: AsyncMonad<PromiseF> = {
   ...promiseMonad,
-  fromPromise<A>(promise: PromiseLike<A>): Promise<A> {
-    return Promise.resolve(promise);
+  fromPromise<A>(promise: Promise<A>): Promise<A> {
+    return promise;
   },
 };

package/soundscript/codec.sts

@@ -15,7 +15,7 @@ import {
   stringEncoder as stringEncoderValue,
 } from '@soundscript/soundscript/encode';
 import type { Invariant } from '@soundscript/soundscript/typeclasses';
-import { ok } from '@soundscript/soundscript/result';
+import { isErr, ok, type Result } from '@soundscript/soundscript/result';
 
 export type { EncodeFailure, Encoder } from '@soundscript/soundscript/encode';
 export {
@@ -25,8 +25,9 @@ export {
   stringEncoderValue as stringEncoder,
 };
 
-export interface Codec<T, TEncoded = unknown, DE = DecodeFailure, EE = EncodeFailure>
-  extends Decoder<T, DE>, Encoder<T, TEncoded, EE> {}
+// #[variance(T: inout, TEncoded: out, DE: out, EE: out)]
+export type Codec<T, TEncoded = unknown, DE = DecodeFailure, EE = EncodeFailure> =
+  Decoder<T, DE> & Encoder<T, TEncoded, EE>;
 
 export interface CodecF extends TypeLambda {
   readonly type: Codec<this['Args'][3], this['Args'][2], this['Args'][1], this['Args'][0]>;
@@ -37,10 +38,10 @@ export function codec<T, TEncoded, DE, EE>(
   encoder: Encoder<T, TEncoded, EE>,
 ): Codec<T, TEncoded, DE, EE> {
   return {
-    decode(value) {
+    decode(value): Result<T, DE> {
       return decoder.decode(value);
     },
-    encode(value) {
+    encode(value): Result<TEncoded, EE> {
       return encoder.encode(value);
     },
   };
@@ -53,9 +54,9 @@ export function imap<A, B, TEncoded, DE, EE>(
 ): Codec<B, TEncoded, DE, EE> {
   return codec(
     {
-      decode(value) {
+      decode(value): Result<B, DE> {
         const decoded = base.decode(value);
-        return decoded.tag === 'err' ? decoded : ok(decodeMap(decoded.value));
+        return isErr(decoded) ? decoded : ok(decodeMap(decoded.value));
       },
     },
     contramapEncoder(base, encodeMap),

package/soundscript/compare.sts

@@ -1,4 +1,4 @@
-import type { Option, Result } from '@soundscript/soundscript/result';
+import { isErr, isNone, isOk, isSome, type Option, type Result } from '@soundscript/soundscript/result';
 
 export type Ordering = -1 | 0 | 1;
 
@@ -91,15 +91,11 @@ export function tupleEq<const TEqs extends readonly Eq<unknown>[]>(
 export function optionEq<T>(itemEq: Eq<T>): Eq<Option<T>> {
   return {
     equals(left, right) {
-      if (left.tag !== right.tag) {
-        return false;
-      }
-
-      if (left.tag === 'ok' && right.tag === 'ok') {
+      if (isSome(left) && isSome(right)) {
         return itemEq.equals(left.value, right.value);
       }
 
-      return true;
+      return isNone(left) && isNone(right);
     },
   };
 }
@@ -107,15 +103,11 @@ export function optionEq<T>(itemEq: Eq<T>): Eq<Option<T>> {
 export function resultEq<T, E>(okEq: Eq<T>, errEq: Eq<E>): Eq<Result<T, E>> {
   return {
     equals(left, right) {
-      if (left.tag !== right.tag) {
-        return false;
-      }
-
-      if (left.tag === 'ok' && right.tag === 'ok') {
+      if (isOk(left) && isOk(right)) {
         return okEq.equals(left.value, right.value);
       }
 
-      if (left.tag === 'err' && right.tag === 'err') {
+      if (isErr(left) && isErr(right)) {
         return errEq.equals(left.error, right.error);
       }
 

package/soundscript/decode.sts

@@ -1,5 +1,5 @@
 import { type ErrorFrame, Failure } from '@soundscript/soundscript/failures';
-import { err, isErr, ok, type Option, type Result } from '@soundscript/soundscript/result';
+import { err, isErr, none, ok, some, type Option, type Result } from '@soundscript/soundscript/result';
 
 export type DecodePathSegment = string | number;
 export type DecodePath = readonly DecodePathSegment[];
@@ -33,14 +33,16 @@ export class DecodeFailure extends Failure {
   }
 }
 
-export interface Decoder<T, E = DecodeFailure> {
+// #[variance(T: out, E: out)]
+export type Decoder<T, E = DecodeFailure> = {
   decode(value: unknown): Result<T, E>;
-}
+};
 
-export interface OptionalDecoder<T, E = DecodeFailure> extends Decoder<T | undefined, E> {
+// #[variance(T: out, E: out)]
+export type OptionalDecoder<T, E = DecodeFailure> = Decoder<T | undefined, E> & {
   readonly __soundscriptOptional: true;
   readonly inner: Decoder<T, E>;
-}
+};
 
 type DecoderValue<TDecoder> = TDecoder extends Decoder<infer TValue, unknown> ? TValue : never;
 type DecoderError<TDecoder> = TDecoder extends Decoder<unknown, infer E> ? E : never;
@@ -49,7 +51,7 @@ type ObjectShape = Record<string, Decoder<unknown, unknown>>;
 type TupleShape = readonly Decoder<unknown, unknown>[];
 
 export const string: Decoder<string> = {
-  decode(value) {
+  decode(value): Result<string, DecodeFailure> {
     return typeof value === 'string'
       ? ok(value)
       : err(new DecodeFailure('Expected string.', { cause: value }));
@@ -57,7 +59,7 @@ export const string: Decoder<string> = {
 };
 
 export const number: Decoder<number> = {
-  decode(value) {
+  decode(value): Result<number, DecodeFailure> {
     return typeof value === 'number'
       ? ok(value)
       : err(new DecodeFailure('Expected number.', { cause: value }));
@@ -65,7 +67,7 @@ export const number: Decoder<number> = {
 };
 
 export const boolean: Decoder<boolean> = {
-  decode(value) {
+  decode(value): Result<boolean, DecodeFailure> {
     return typeof value === 'boolean'
       ? ok(value)
       : err(new DecodeFailure('Expected boolean.', { cause: value }));
@@ -73,7 +75,7 @@ export const boolean: Decoder<boolean> = {
 };
 
 export const bigint: Decoder<bigint> = {
-  decode(value) {
+  decode(value): Result<bigint, DecodeFailure> {
     if (typeof value === 'bigint') {
       return ok(value);
     }
@@ -191,16 +193,16 @@ export function option<T, E>(item: Decoder<T, E>): Decoder<Option<T>, E | Decode
   return union(
     map(
       object({
-        tag: literal('ok'),
+        tag: literal('some'),
         value: item,
       }),
-      (value) => ok(value.value) as Option<T>,
+      (value) => some(value.value) as Option<T>,
     ),
     map(
       object({
-        tag: literal('err'),
+        tag: literal('none'),
       }),
-      () => err() as Option<T>,
+      () => none() as Option<T>,
     ),
   );
 }

package/soundscript/derive.sts

@@ -0,0 +1,7 @@
+// Macro binding placeholders. The compiler-owned macro pipeline consumes these symbols.
+export const eq: unknown = undefined;
+export const hash: unknown = undefined;
+export const decode: unknown = undefined;
+export const encode: unknown = undefined;
+export const codec: unknown = undefined;
+export const tagged: unknown = undefined;

package/soundscript/encode.sts

@@ -1,6 +1,6 @@
 import { type Bind, type Kind3, type TypeLambda } from '@soundscript/soundscript/hkt';
 import { Failure } from '@soundscript/soundscript/failures';
-import { err, isErr, ok, type Option, type Result } from '@soundscript/soundscript/result';
+import { err, isErr, isOk, isSome, ok, type Option, type Result } from '@soundscript/soundscript/result';
 import type { Contravariant } from '@soundscript/soundscript/typeclasses';
 
 export class EncodeFailure extends Failure {
@@ -9,15 +9,17 @@ export class EncodeFailure extends Failure {
   }
 }
 
-export interface Encoder<T, TEncoded = unknown, E = EncodeFailure> {
+// #[variance(T: in, TEncoded: out, E: out)]
+export type Encoder<T, TEncoded = unknown, E = EncodeFailure> = {
   encode(value: T): Result<TEncoded, E>;
-}
+};
 
-export interface OptionalEncoder<T, TEncoded = T, E = EncodeFailure>
-  extends Encoder<T | undefined, TEncoded | undefined, E> {
-  readonly __soundscriptOptional: true;
-  readonly inner: Encoder<T, TEncoded, E>;
-}
+// #[variance(T: in, TEncoded: out, E: out)]
+export type OptionalEncoder<T, TEncoded = T, E = EncodeFailure> =
+  Encoder<T | undefined, TEncoded | undefined, E> & {
+    readonly __soundscriptOptional: true;
+    readonly inner: Encoder<T, TEncoded, E>;
+  };
 
 type EncoderInput<TEncoder> = TEncoder extends Encoder<infer T, unknown, unknown> ? T : never;
 type EncoderOutput<TEncoder> = TEncoder extends Encoder<unknown, infer TEncoded, unknown> ? TEncoded
@@ -140,26 +142,26 @@ export function option<T, TEncoded, E>(
   item: Encoder<T, TEncoded, E>,
 ): Encoder<
   Option<T>,
-  { readonly error?: undefined; readonly tag: 'err' } | {
-    readonly tag: 'ok';
+  { readonly tag: 'none' } | {
+    readonly tag: 'some';
     readonly value: TEncoded;
   },
   E
 > {
   return fromEncode<
     Option<T>,
-    { readonly error?: undefined; readonly tag: 'err' } | {
-      readonly tag: 'ok';
+    { readonly tag: 'none' } | {
+      readonly tag: 'some';
       readonly value: TEncoded;
     },
     E
   >((value) => {
-    if (value.tag === 'ok') {
+    if (isSome(value)) {
       const encoded = item.encode(value.value);
-      return isErr(encoded) ? encoded : ok({ tag: 'ok', value: encoded.value });
+      return isErr(encoded) ? encoded : ok({ tag: 'some', value: encoded.value });
     }
 
-    return ok({ tag: 'err', error: undefined });
+    return ok({ tag: 'none' });
   });
 }
 
@@ -182,7 +184,7 @@ export function result<T, EValue, TEncoded, EEncoded, EOk, EErr>(
     },
     EOk | EErr
   >((value) => {
-    if (value.tag === 'ok') {
+    if (isOk(value)) {
       const encoded = okEncoder.encode(value.value);
       return isErr(encoded) ? encoded : ok({ tag: 'ok', value: encoded.value });
     }

package/soundscript/fetch.sts

@@ -0,0 +1,11 @@
+const fetchFn = fetch;
+const HeadersCtor = Headers;
+const RequestCtor = Request;
+const ResponseCtor = Response;
+
+export {
+  fetchFn as fetch,
+  HeadersCtor as Headers,
+  RequestCtor as Request,
+  ResponseCtor as Response,
+};

package/soundscript/hash.sts

@@ -1,5 +1,5 @@
 import type { Eq } from '@soundscript/soundscript/compare';
-import type { Option, Result } from '@soundscript/soundscript/result';
+import { isErr, isNone, isOk, isSome, type Option, type Result } from '@soundscript/soundscript/result';
 
 export type HashCode = number;
 
@@ -97,19 +97,15 @@ export function tupleHash<const THashEqs extends readonly HashEq<unknown>[]>(
 export function optionHash<T>(itemHash: HashEq<T>): HashEq<Option<T>> {
   return fromHashEq(
     (value) =>
-      value.tag === 'ok'
-        ? combineHashes(stringHash.hash('ok'), itemHash.hash(value.value))
-        : stringHash.hash('err'),
+      isSome(value)
+        ? combineHashes(stringHash.hash('some'), itemHash.hash(value.value))
+        : stringHash.hash('none'),
     (left, right) => {
-      if (left.tag !== right.tag) {
-        return false;
-      }
-
-      if (left.tag === 'ok' && right.tag === 'ok') {
+      if (isSome(left) && isSome(right)) {
         return itemHash.equals(left.value, right.value);
       }
 
-      return true;
+      return isNone(left) && isNone(right);
     },
   );
 }
@@ -117,19 +113,15 @@ export function optionHash<T>(itemHash: HashEq<T>): HashEq<Option<T>> {
 export function resultHash<T, E>(okHash: HashEq<T>, errHash: HashEq<E>): HashEq<Result<T, E>> {
   return fromHashEq(
     (value) =>
-      value.tag === 'ok'
+      isOk(value)
         ? combineHashes(stringHash.hash('ok'), okHash.hash(value.value))
         : combineHashes(stringHash.hash('err'), errHash.hash(value.error)),
     (left, right) => {
-      if (left.tag !== right.tag) {
-        return false;
-      }
-
-      if (left.tag === 'ok' && right.tag === 'ok') {
+      if (isOk(left) && isOk(right)) {
         return okHash.equals(left.value, right.value);
       }
 
-      if (left.tag === 'err' && right.tag === 'err') {
+      if (isErr(left) && isErr(right)) {
         return errHash.equals(left.error, right.error);
       }