@soundscript/soundscript 0.1.2 → 0.1.3

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/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);
       }
 

package/soundscript/json.sts

@@ -2,6 +2,22 @@ import type { Decoder } from '@soundscript/soundscript/decode';
 import type { Encoder } from '@soundscript/soundscript/encode';
 import { Failure } from '@soundscript/soundscript/failures';
 import { isErr, type Result, resultOf } from '@soundscript/soundscript/result';
+import {
+  F32,
+  F64,
+  format as formatNumeric,
+  I8,
+  I16,
+  I32,
+  I64,
+  isNumeric,
+  toHostNumber,
+  type Numeric,
+  U8,
+  U16,
+  U32,
+  U64,
+} from './numerics.js';
 
 export type JsonArray = JsonValue[];
 export type JsonObject = {
@@ -35,8 +51,26 @@ export type JsonLikeValue =
   | JsonLikeObject
   | JsonLikeArray;
 
+export type MachineJsonArray = MachineJsonLikeValue[];
+export type MachineJsonObject = {
+  [key: string]: MachineJsonLikeValue;
+};
+export type MachineJsonLikeValue =
+  | string
+  | number
+  | boolean
+  | bigint
+  | null
+  | undefined
+  | Numeric
+  | MachineJsonObject
+  | MachineJsonArray;
+
+export type MachineJsonNumericMode = 'tagged' | 'decimal-string' | 'json-number';
+
 export interface JsonParseOptions {
   int64?: 'default' | 'lossless';
+  numerics?: 'tagged';
 }
 
 export type JsonStringifyBigintMode = 'number' | 'reject' | 'string';
@@ -44,6 +78,7 @@ export type JsonStringifyBigintMode = 'number' | 'reject' | 'string';
 export interface JsonStringifyOptions {
   int64?: 'default' | 'string' | 'lossless';
   readonly bigint?: JsonStringifyBigintMode;
+  numerics?: MachineJsonNumericMode;
 }
 
 const MAX_SAFE_INTEGER_BIGINT = BigInt(Number.MAX_SAFE_INTEGER);
@@ -66,12 +101,21 @@ export function parseJson(
   text: string,
   options: JsonParseOptions & { int64: 'lossless' },
 ): Result<LosslessJsonValue, JsonParseFailure>;
+export function parseJson(
+  text: string,
+  options: JsonParseOptions & { numerics: 'tagged' },
+): Result<MachineJsonLikeValue, JsonParseFailure>;
 export function parseJson(
   text: string,
   options: JsonParseOptions = {},
-): Result<JsonValue | LosslessJsonValue, JsonParseFailure> {
+): Result<JsonValue | LosslessJsonValue | MachineJsonLikeValue, JsonParseFailure> {
   return resultOf(
-    () => options.int64 === 'lossless' ? parseLosslessJson(text) : JSON.parse(text),
+    () => {
+      const parsed = options.int64 === 'lossless' ? parseLosslessJson(text) : JSON.parse(text);
+      return options.numerics === 'tagged'
+        ? decodeTaggedMachineJsonValue(parsed as JsonValue | LosslessJsonValue)
+        : parsed;
+    },
     (cause) => new JsonParseFailure(cause),
   );
 }
@@ -82,11 +126,34 @@ export function stringifyJson(
   options: JsonStringifyOptions & { int64: 'string' | 'lossless' },
 ): Result<string, JsonStringifyFailure>;
 export function stringifyJson(
-  value: JsonValue | LosslessJsonValue,
+  value: MachineJsonLikeValue,
+  options: JsonStringifyOptions & { numerics: MachineJsonNumericMode },
+): Result<string, JsonStringifyFailure>;
+export function stringifyJson(
+  value: JsonValue | LosslessJsonValue | MachineJsonLikeValue,
   options: JsonStringifyOptions = {},
 ): Result<string, JsonStringifyFailure> {
   return resultOf(
     () => {
+      if (options.numerics) {
+        const normalized = normalizeMachineJsonLikeValue(
+          value as MachineJsonLikeValue,
+          new Set<object>(),
+          options.numerics,
+          'root',
+        );
+        const encoded = stringifyJsonLikeInternal(
+          normalized,
+          new Set<object>(),
+          options.bigint ?? 'reject',
+          'root',
+        );
+        if (encoded === undefined) {
+          throw new TypeError('JSON stringification produced no top-level value.');
+        }
+        return encoded;
+      }
+
       if (options.int64 === 'string') {
         return stringifyJsonWithInt64Mode(value as LosslessJsonValue, 'string');
       }
@@ -322,6 +389,145 @@ function isJsonLikeValueInternal(
   }
 }
 
+function normalizeMachineJsonLikeValue(
+  value: MachineJsonLikeValue,
+  visited: Set<object>,
+  numericMode: MachineJsonNumericMode,
+  position: 'array' | 'object' | 'root',
+): JsonLikeValue {
+  if (isNumeric(value)) {
+    return normalizeMachineNumericJsonValue(value, numericMode);
+  }
+
+  switch (typeof value) {
+    case 'string':
+    case 'number':
+    case 'boolean':
+    case 'bigint':
+      return value;
+    case 'undefined':
+      return position === 'array' ? null : undefined;
+    case 'object':
+      if (value === null) {
+        return null;
+      }
+
+      if (visited.has(value)) {
+        throw new TypeError('Converting circular structure to machine JSON text.');
+      }
+
+      visited.add(value);
+      try {
+        if (Array.isArray(value)) {
+          return value.map((entry) =>
+            normalizeMachineJsonLikeValue(entry, visited, numericMode, 'array') ?? null
+          );
+        }
+
+        const result: Record<string, JsonLikeValue> = {};
+        for (const key of Object.keys(value)) {
+          const normalized = normalizeMachineJsonLikeValue(
+            (value as MachineJsonObject)[key]!,
+            visited,
+            numericMode,
+            'object',
+          );
+          if (normalized !== undefined) {
+            result[key] = normalized;
+          }
+        }
+        return result;
+      } finally {
+        visited.delete(value);
+      }
+    default:
+      throw new TypeError(`Unsupported machine JSON value kind: ${typeof value}`);
+  }
+}
+
+function normalizeMachineNumericJsonValue(
+  value: Numeric,
+  numericMode: MachineJsonNumericMode,
+): JsonLikeValue {
+  switch (numericMode) {
+    case 'tagged':
+      return value.toJSON();
+    case 'decimal-string':
+      return formatNumeric(value);
+    case 'json-number':
+      switch (value.__soundscript_numeric_kind) {
+        case 'i64':
+        case 'u64':
+          throw new TypeError('json-number machine JSON mode does not support bigint-backed machine numerics.');
+        default:
+          return toHostNumber(value);
+      }
+  }
+}
+
+function decodeTaggedMachineJsonValue(value: JsonValue | LosslessJsonValue): MachineJsonLikeValue {
+  if (Array.isArray(value)) {
+    return value.map((entry) => decodeTaggedMachineJsonValue(entry));
+  }
+
+  if (value && typeof value === 'object') {
+    const taggedNumeric = decodeTaggedMachineNumeric(value);
+    if (taggedNumeric) {
+      return taggedNumeric;
+    }
+
+    const result: Record<string, MachineJsonLikeValue> = {};
+    for (const key of Object.keys(value)) {
+      result[key] = decodeTaggedMachineJsonValue(value[key]!);
+    }
+    return result;
+  }
+
+  return value;
+}
+
+function decodeTaggedMachineNumeric(
+  value: Record<string, JsonValue | LosslessJsonValue>,
+): Numeric | undefined {
+  const numericKind = value.$numeric;
+  const numericValue = value.value;
+  const keys = Object.keys(value);
+  if (
+    typeof numericKind !== 'string' ||
+    typeof numericValue !== 'string' ||
+    keys.length !== 2 ||
+    !keys.includes('$numeric') ||
+    !keys.includes('value')
+  ) {
+    return undefined;
+  }
+
+  switch (numericKind) {
+    case 'f64':
+      return F64.parse(numericValue);
+    case 'f32':
+      return F32.parse(numericValue);
+    case 'i8':
+      return I8.parse(numericValue);
+    case 'i16':
+      return I16.parse(numericValue);
+    case 'i32':
+      return I32.parse(numericValue);
+    case 'i64':
+      return I64.parse(numericValue);
+    case 'u8':
+      return U8.parse(numericValue);
+    case 'u16':
+      return U16.parse(numericValue);
+    case 'u32':
+      return U32.parse(numericValue);
+    case 'u64':
+      return U64.parse(numericValue);
+    default:
+      return undefined;
+  }
+}
+
 function stringifyJsonLikeInternal(
   value: JsonLikeValue,
   visited: Set<object>,