@thomasfosterau/effect-parse 0.0.0-stage → 0.1.0

package/dist/Binary.d.ts

@@ -0,0 +1,153 @@
+/**
+ * Parsers for binary formats: fixed-width integers and floats in either
+ * byte order, and length-prefixed data (winnow's `binary` module, nom's
+ * `number` and `multi::length_*` parsers).
+ *
+ * Integers up to 32 bits are returned as `number`, wider integers as
+ * `bigint`.
+ *
+ * @example
+ * ```ts
+ * import { Binary, Parser } from "@thomasfosterau/effect-parse"
+ *
+ * // A length-prefixed (u16 big-endian) payload
+ * const frame = Binary.lengthTake(Binary.beU16)
+ * Parser.parse(frame, new Uint8Array([0, 2, 0xca, 0xfe])) // Uint8Array [0xca, 0xfe]
+ * ```
+ *
+ * @since 0.1.0
+ */
+import type { Input, Slice } from "./Input.js";
+import type { Parser } from "./Parser.js";
+export { 
+/**
+ * Runs a bit-level parser on byte input. See the `Bits` module.
+ *
+ * @since 0.1.0
+ * @category bits
+ */
+bits } from "./Bits.js";
+/**
+ * A byte order. `"native"` is the byte order of the current platform.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export type Endianness = "big" | "little" | "native";
+/**
+ * An unsigned byte.
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export declare const u8: Parser<number, never, never, Uint8Array>;
+/**
+ * A signed byte.
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export declare const i8: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beU16: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leU16: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beI16: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leI16: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beU24: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leU24: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beI24: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leI24: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beU32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leU32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beI32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leI32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beU64: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leU64: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beI64: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leI64: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beU128: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leU128: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const beI128: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const leI128: Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const beF32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const leF32: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const beF64: Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const leF64: Parser<number, never, never, Uint8Array>;
+/**
+ * An unsigned 16-bit integer in the given byte order (winnow's `u16`).
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export declare const u16: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const i16: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const u24: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const i24: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const u32: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const i32: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const u64: (endian: Endianness) => Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const i64: (endian: Endianness) => Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const u128: (endian: Endianness) => Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category integers */
+export declare const i128: (endian: Endianness) => Parser<bigint, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const f32: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/** @since 0.1.0 @category floats */
+export declare const f64: (endian: Endianness) => Parser<number, never, never, Uint8Array>;
+/**
+ * Parses a length with `count`, then takes that many tokens (winnow's
+ * `length_take`, nom's `length_data`).
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export declare const lengthTake: <E, R, I extends Input = Uint8Array>(count: Parser<number | bigint, E, R, I>) => Parser<Slice<I>, E, R, I>;
+/**
+ * Parses a length with `count`, then applies `parser` that many times
+ * (winnow's `length_repeat`, nom's `length_count`).
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export declare const lengthRepeat: <E, R, I extends Input, A, E2, R2, I2 extends Input>(count: Parser<number | bigint, E, R, I>, parser: Parser<A, E2, R2, I2>) => Parser<Array<A>, E | E2, R | R2, I & I2>;
+/**
+ * Parses a length with `count`, takes that many tokens, and applies
+ * `parser` to them (winnow's `length_and_then`, nom's `length_value`).
+ * `parser` does not need to consume the whole slice.
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export declare const lengthAndThen: <E, R, I extends Input, A, E2, R2>(count: Parser<number | bigint, E, R, I>, parser: Parser<A, E2, R2, Slice<I> & Input>) => Parser<A, E | E2, R | R2, I>;
+//# sourceMappingURL=Binary.d.ts.map

package/dist/Binary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Binary.d.ts","sourceRoot":"","sources":["../src/Binary.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAS,MAAM,YAAY,CAAA;AAErD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAIzC,OAAO;AACL;;;;;GAKG;AACH,IAAI,EACL,MAAM,WAAW,CAAA;AAElB;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG,KAAK,GAAG,QAAQ,GAAG,QAAQ,CAAA;AAyCpD;;;;;GAKG;AACH,eAAO,MAAM,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA2C,CAAA;AAEnG;;;;;GAKG;AACH,eAAO,MAAM,EAAE,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0C,CAAA;AAElG,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAsD,CAAA;AACjH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqD,CAAA;AAChH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqD,CAAA;AAChH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAoD,CAAA;AAC/G,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqC,CAAA;AAChG,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAoC,CAAA;AAC/F,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqC,CAAA;AAChG,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAoC,CAAA;AAC/F,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAsD,CAAA;AACjH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqD,CAAA;AAChH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAqD,CAAA;AAChH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAoD,CAAA;AAC/G,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAyD,CAAA;AACpH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAwD,CAAA;AACnH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAwD,CAAA;AACnH,sCAAsC;AACtC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAuD,CAAA;AAClH,sCAAsC;AACtC,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAwC,CAAA;AACpG,sCAAsC;AACtC,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAuC,CAAA;AACnG,sCAAsC;AACtC,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAwC,CAAA;AACpG,sCAAsC;AACtC,eAAO,MAAM,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAuC,CAAA;AAEnG,oCAAoC;AACpC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAuD,CAAA;AAClH,oCAAoC;AACpC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAsD,CAAA;AACjH,oCAAoC;AACpC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAuD,CAAA;AAClH,oCAAoC;AACpC,eAAO,MAAM,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAAsD,CAAA;AAKjH;;;;;GAKG;AACH,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,sCAAsC;AACtC,eAAO,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA4B,CAAA;AAC9G,sCAAsC;AACtC,eAAO,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA4B,CAAA;AAC9G,oCAAoC;AACpC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAC3G,oCAAoC;AACpC,eAAO,MAAM,GAAG,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,UAAU,CAA0B,CAAA;AAK3G;;;;;;GAMG;AACH,eAAO,MAAM,UAAU,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,GAAG,UAAU,SACpD,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,KACtC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAO1B,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,SAAS,KAAK,SACtE,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,UAC/B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,KAC5B,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAC6C,CAAA;AAEvF;;;;;;;GAOG;AACH,eAAO,MAAM,aAAa,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,KAAK,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,SACrD,MAAM,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,UAC/B,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAC1C,MAAM,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAC2D,CAAA"}

package/dist/Binary.js

@@ -0,0 +1,171 @@
+import { Fail } from "./Input.js";
+import * as P from "./Parser.js";
+import * as Token from "./Token.js";
+export { 
+/**
+ * Runs a bit-level parser on byte input. See the `Bits` module.
+ *
+ * @since 0.1.0
+ * @category bits
+ */
+bits } from "./Bits.js";
+const nativeLittle = new Uint8Array(new Uint16Array([1]).buffer)[0] === 1;
+const fixed = (size, name, read) => {
+    const expected = [`${size} byte${size === 1 ? "" : "s"}`];
+    return P.make((state) => {
+        const pos = state.pos;
+        const avail = state.end - pos;
+        if (avail < size)
+            return state.eoi("Token", expected, size - avail);
+        const bytes = state.input;
+        const view = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength);
+        state.pos = pos + size;
+        return read(view, pos);
+    }, name);
+};
+const readU24 = (little) => (v, o) => little
+    ? v.getUint8(o) | (v.getUint8(o + 1) << 8) | (v.getUint8(o + 2) << 16)
+    : (v.getUint8(o) << 16) | (v.getUint8(o + 1) << 8) | v.getUint8(o + 2);
+const readI24 = (little) => {
+    const u = readU24(little);
+    return (v, o) => {
+        const x = u(v, o);
+        return x & 0x800000 ? x - 0x1000000 : x;
+    };
+};
+const readU128 = (little) => (v, o) => {
+    const a = v.getBigUint64(o, little);
+    const b = v.getBigUint64(o + 8, little);
+    return little ? (b << 64n) | a : (a << 64n) | b;
+};
+const readI128 = (little) => {
+    const u = readU128(little);
+    return (v, o) => BigInt.asIntN(128, u(v, o));
+};
+/**
+ * An unsigned byte.
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export const u8 = fixed(1, "u8", (v, o) => v.getUint8(o));
+/**
+ * A signed byte.
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export const i8 = fixed(1, "i8", (v, o) => v.getInt8(o));
+/** @since 0.1.0 @category integers */
+export const beU16 = fixed(2, "beU16", (v, o) => v.getUint16(o, false));
+/** @since 0.1.0 @category integers */
+export const leU16 = fixed(2, "leU16", (v, o) => v.getUint16(o, true));
+/** @since 0.1.0 @category integers */
+export const beI16 = fixed(2, "beI16", (v, o) => v.getInt16(o, false));
+/** @since 0.1.0 @category integers */
+export const leI16 = fixed(2, "leI16", (v, o) => v.getInt16(o, true));
+/** @since 0.1.0 @category integers */
+export const beU24 = fixed(3, "beU24", readU24(false));
+/** @since 0.1.0 @category integers */
+export const leU24 = fixed(3, "leU24", readU24(true));
+/** @since 0.1.0 @category integers */
+export const beI24 = fixed(3, "beI24", readI24(false));
+/** @since 0.1.0 @category integers */
+export const leI24 = fixed(3, "leI24", readI24(true));
+/** @since 0.1.0 @category integers */
+export const beU32 = fixed(4, "beU32", (v, o) => v.getUint32(o, false));
+/** @since 0.1.0 @category integers */
+export const leU32 = fixed(4, "leU32", (v, o) => v.getUint32(o, true));
+/** @since 0.1.0 @category integers */
+export const beI32 = fixed(4, "beI32", (v, o) => v.getInt32(o, false));
+/** @since 0.1.0 @category integers */
+export const leI32 = fixed(4, "leI32", (v, o) => v.getInt32(o, true));
+/** @since 0.1.0 @category integers */
+export const beU64 = fixed(8, "beU64", (v, o) => v.getBigUint64(o, false));
+/** @since 0.1.0 @category integers */
+export const leU64 = fixed(8, "leU64", (v, o) => v.getBigUint64(o, true));
+/** @since 0.1.0 @category integers */
+export const beI64 = fixed(8, "beI64", (v, o) => v.getBigInt64(o, false));
+/** @since 0.1.0 @category integers */
+export const leI64 = fixed(8, "leI64", (v, o) => v.getBigInt64(o, true));
+/** @since 0.1.0 @category integers */
+export const beU128 = fixed(16, "beU128", readU128(false));
+/** @since 0.1.0 @category integers */
+export const leU128 = fixed(16, "leU128", readU128(true));
+/** @since 0.1.0 @category integers */
+export const beI128 = fixed(16, "beI128", readI128(false));
+/** @since 0.1.0 @category integers */
+export const leI128 = fixed(16, "leI128", readI128(true));
+/** @since 0.1.0 @category floats */
+export const beF32 = fixed(4, "beF32", (v, o) => v.getFloat32(o, false));
+/** @since 0.1.0 @category floats */
+export const leF32 = fixed(4, "leF32", (v, o) => v.getFloat32(o, true));
+/** @since 0.1.0 @category floats */
+export const beF64 = fixed(8, "beF64", (v, o) => v.getFloat64(o, false));
+/** @since 0.1.0 @category floats */
+export const leF64 = fixed(8, "leF64", (v, o) => v.getFloat64(o, true));
+const byEndian = (big, little) => (endian) => endian === "big" ? big : endian === "little" ? little : nativeLittle ? little : big;
+/**
+ * An unsigned 16-bit integer in the given byte order (winnow's `u16`).
+ *
+ * @since 0.1.0
+ * @category integers
+ */
+export const u16 = byEndian(beU16, leU16);
+/** @since 0.1.0 @category integers */
+export const i16 = byEndian(beI16, leI16);
+/** @since 0.1.0 @category integers */
+export const u24 = byEndian(beU24, leU24);
+/** @since 0.1.0 @category integers */
+export const i24 = byEndian(beI24, leI24);
+/** @since 0.1.0 @category integers */
+export const u32 = byEndian(beU32, leU32);
+/** @since 0.1.0 @category integers */
+export const i32 = byEndian(beI32, leI32);
+/** @since 0.1.0 @category integers */
+export const u64 = byEndian(beU64, leU64);
+/** @since 0.1.0 @category integers */
+export const i64 = byEndian(beI64, leI64);
+/** @since 0.1.0 @category integers */
+export const u128 = byEndian(beU128, leU128);
+/** @since 0.1.0 @category integers */
+export const i128 = byEndian(beI128, leI128);
+/** @since 0.1.0 @category floats */
+export const f32 = byEndian(beF32, leF32);
+/** @since 0.1.0 @category floats */
+export const f64 = byEndian(beF64, leF64);
+const toCount = (n) => typeof n === "bigint" ? Number(n) : n;
+/**
+ * Parses a length with `count`, then takes that many tokens (winnow's
+ * `length_take`, nom's `length_data`).
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export const lengthTake = (count) => {
+    const countStep = count.step;
+    return P.make((state) => {
+        const n = countStep(state);
+        if (n === Fail)
+            return Fail;
+        return Token.take(toCount(n)).step(state);
+    }, "lengthTake");
+};
+/**
+ * Parses a length with `count`, then applies `parser` that many times
+ * (winnow's `length_repeat`, nom's `length_count`).
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export const lengthRepeat = (count, parser) => P.flatMap(count, (n) => P.repeat(parser, toCount(n)));
+/**
+ * Parses a length with `count`, takes that many tokens, and applies
+ * `parser` to them (winnow's `length_and_then`, nom's `length_value`).
+ * `parser` does not need to consume the whole slice.
+ *
+ * @since 0.1.0
+ * @category length-prefixed
+ */
+export const lengthAndThen = (count, parser) => P.mapParser(lengthTake(count), P.complete(parser));
+//# sourceMappingURL=Binary.js.map

package/dist/Binary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Binary.js","sourceRoot":"","sources":["../src/Binary.ts"],"names":[],"mappings":"AAoBA,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAA;AAEjC,OAAO,KAAK,CAAC,MAAM,aAAa,CAAA;AAChC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAEnC,OAAO;AACL;;;;;GAKG;AACH,IAAI,EACL,MAAM,WAAW,CAAA;AAUlB,MAAM,YAAY,GAAG,IAAI,UAAU,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;AAEzE,MAAM,KAAK,GAAG,CAAI,IAAY,EAAE,IAAY,EAAE,IAA2C,EAAuC,EAAE;IAChI,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAA;IACzD,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAwB,EAAE,EAAE;QACzC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,GAAG,CAAA;QAC7B,IAAI,KAAK,GAAG,IAAI;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,KAAK,CAAC,CAAA;QACnE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;QACzB,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;QAC3E,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,IAAI,CAAA;QACtB,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;IACxB,CAAC,EAAE,IAAI,CAAC,CAAA;AACV,CAAC,CAAA;AAED,MAAM,OAAO,GAAG,CAAC,MAAe,EAAE,EAAE,CAAC,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE,CAC9D,MAAM;IACJ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AAE1E,MAAM,OAAO,GAAG,CAAC,MAAe,EAAE,EAAE;IAClC,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IACzB,OAAO,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjB,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IACzC,CAAC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,MAAe,EAAE,EAAE,CAAC,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE;IAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;IACnC,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAA;IACvC,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;AACjD,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,MAAe,EAAE,EAAE;IACnC,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC1B,OAAO,CAAC,CAAW,EAAE,CAAS,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AAChE,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAA6C,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,EAAE,GAA6C,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAA;AAElG,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AACjH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAChH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAChH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAC/G,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AAChG,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/F,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;AAChG,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;AAC/F,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AACjH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAChH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAChH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAC/G,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AACpH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AACnH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AACnH,sCAAsC;AACtC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAClH,sCAAsC;AACtC,MAAM,CAAC,MAAM,MAAM,GAA6C,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;AACpG,sCAAsC;AACtC,MAAM,CAAC,MAAM,MAAM,GAA6C,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AACnG,sCAAsC;AACtC,MAAM,CAAC,MAAM,MAAM,GAA6C,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;AACpG,sCAAsC;AACtC,MAAM,CAAC,MAAM,MAAM,GAA6C,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAA;AAEnG,oCAAoC;AACpC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAClH,oCAAoC;AACpC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AACjH,oCAAoC;AACpC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;AAClH,oCAAoC;AACpC,MAAM,CAAC,MAAM,KAAK,GAA6C,KAAK,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAEjH,MAAM,QAAQ,GAAG,CAAI,GAAM,EAAE,MAAS,EAAE,EAAE,CAAC,CAAC,MAAkB,EAAK,EAAE,CACnE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAA;AAErF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,sCAAsC;AACtC,MAAM,CAAC,MAAM,IAAI,GAAqE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAC9G,sCAAsC;AACtC,MAAM,CAAC,MAAM,IAAI,GAAqE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAC9G,oCAAoC;AACpC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAC3G,oCAAoC;AACpC,MAAM,CAAC,MAAM,GAAG,GAAqE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAG3G,MAAM,OAAO,GAAG,CAAC,CAAkB,EAAU,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAErF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,KAAuC,EACZ,EAAE;IAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;IAC5B,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,KAAe,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;QAC1B,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;QAC3B,OAAQ,KAAK,CAAC,IAAI,CAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAY,CAAC,KAAK,CAAC,CAAA;IACvD,CAAC,EAAE,YAAY,CAAC,CAAA;AAClB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAuC,EACvC,MAA6B,EACa,EAAE,CAC5C,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAiC,CAAC,CAAA;AAEvF;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,KAAuC,EACvC,MAA2C,EACb,EAAE,CAChC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAsC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA"}

package/dist/Bits.d.ts

@@ -0,0 +1,60 @@
+import type { Parser } from "./Parser.js";
+declare const BitInputBrand: unique symbol;
+/**
+ * The input type of bit-level parsers. A `Parser<A, E, R, BitInput>` can
+ * only be run inside {@link bits}.
+ *
+ * @since 0.1.0
+ * @category models
+ */
+export interface BitInput extends ReadonlyArray<never> {
+    readonly [BitInputBrand]: true;
+}
+/**
+ * Runs a bit-level parser on byte input (winnow's and nom's `bits`). After
+ * success, the input advances to the next byte boundary.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+export declare const bits: <A, E, R>(self: Parser<A, E, R, BitInput>) => Parser<A, E, R, Uint8Array>;
+/**
+ * Runs a byte-level parser from within a bit-level parser (winnow's and
+ * nom's `bytes`). The partly consumed byte, if any, is skipped first.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+export declare const bytes: <A, E, R>(self: Parser<A, E, R, Uint8Array>) => Parser<A, E, R, BitInput>;
+/**
+ * Takes `count` bits (at most 53) as an unsigned number (winnow's and nom's
+ * bit-level `take`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export declare const take: (count: number) => Parser<number, never, never, BitInput>;
+/**
+ * Takes `count` bits as an unsigned `bigint`.
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export declare const takeBig: (count: number) => Parser<bigint, never, never, BitInput>;
+/**
+ * Matches `count` bits equal to `pattern` (winnow's `pattern`, nom's bit
+ * `tag`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export declare const pattern: (pattern: number, count: number) => Parser<number, never, never, BitInput>;
+/**
+ * Takes one bit as a boolean (winnow's and nom's `bool`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export declare const bool: Parser<boolean, never, never, BitInput>;
+export {};
+//# sourceMappingURL=Bits.d.ts.map

package/dist/Bits.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bits.d.ts","sourceRoot":"","sources":["../src/Bits.ts"],"names":[],"mappings":"AAwBA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAGzC,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAA;AAE1C;;;;;;GAMG;AACH,MAAM,WAAW,QAAS,SAAQ,aAAa,CAAC,KAAK,CAAC;IACpD,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAA;CAC/B;AA8CD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAGzF,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,CAAC,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,UAAU,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,CAG1F,CAAA;AAeD;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,UAAW,MAAM,KAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAQzE,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,OAAO,UAAW,MAAM,KAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAc5E,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,YAAa,MAAM,SAAS,MAAM,KAAG,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAa7F,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAG/C,CAAA"}

package/dist/Bits.js

@@ -0,0 +1,144 @@
+import { Fail, Failure } from "./Input.js";
+import { make } from "./Parser.js";
+const scale = (f, factor) => new Failure(factor < 1 ? Math.floor(f.offset * factor) : f.offset * factor, f.kind, f.expected, f.context, f.hasCause, f.cause, f.message, factor < 1 ? Math.ceil(f.needed * factor) : f.needed * factor);
+/**
+ * Runs `step` with offsets measured in different units (bits vs bytes),
+ * converting failure offsets back to the outer units afterwards.
+ */
+const inUnits = (state, factor, step) => {
+    const end = state.end;
+    const deepest = state.deepest;
+    state.deepest = undefined;
+    state.pos = factor > 1 ? state.pos * factor : Math.ceil(state.pos * factor);
+    state.end = end * factor;
+    const a = step(state);
+    state.end = end;
+    const inner = state.deepest;
+    state.deepest = deepest;
+    if (a === Fail) {
+        state.pos = factor > 1 ? Math.floor(state.pos / factor) : state.pos / factor;
+        const f = state.failure;
+        state.failure = scale(f, 1 / factor);
+        if (inner !== undefined) {
+            const d = inner === f ? state.failure : scale(inner, 1 / factor);
+            if (deepest === undefined || d.offset >= deepest.offset)
+                state.deepest = d;
+        }
+        return Fail;
+    }
+    state.pos = factor > 1 ? Math.ceil(state.pos / factor) : state.pos / factor;
+    if (inner !== undefined) {
+        const d = scale(inner, 1 / factor);
+        if (deepest === undefined || d.offset >= deepest.offset)
+            state.deepest = d;
+    }
+    return a;
+};
+/**
+ * Runs a bit-level parser on byte input (winnow's and nom's `bits`). After
+ * success, the input advances to the next byte boundary.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+export const bits = (self) => {
+    const step = self.step;
+    return make((state) => inUnits(state, 8, step), "bits");
+};
+/**
+ * Runs a byte-level parser from within a bit-level parser (winnow's and
+ * nom's `bytes`). The partly consumed byte, if any, is skipped first.
+ *
+ * @since 0.1.0
+ * @category combinators
+ */
+export const bytes = (self) => {
+    const step = self.step;
+    return make((state) => inUnits(state, 1 / 8, step), "bytes");
+};
+const readBits = (state, count) => {
+    const input = state.input;
+    let pos = state.pos;
+    let value = 0;
+    for (let i = 0; i < count; i++) {
+        const byte = input[pos >>> 3];
+        value = value * 2 + ((byte >>> (7 - (pos & 7))) & 1);
+        pos++;
+    }
+    state.pos = pos;
+    return value;
+};
+/**
+ * Takes `count` bits (at most 53) as an unsigned number (winnow's and nom's
+ * bit-level `take`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export const take = (count) => {
+    if (count > 53)
+        throw new RangeError("Bits.take: use Bits.takeBig for more than 53 bits");
+    const expected = [`${count} bits`];
+    return make((state) => {
+        const avail = state.end - state.pos;
+        if (avail < count)
+            return state.eoi("Bits", expected, count - avail);
+        return readBits(state, count);
+    }, "take");
+};
+/**
+ * Takes `count` bits as an unsigned `bigint`.
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export const takeBig = (count) => {
+    const expected = [`${count} bits`];
+    return make((state) => {
+        const avail = state.end - state.pos;
+        if (avail < count)
+            return state.eoi("Bits", expected, count - avail);
+        let value = 0n;
+        let remaining = count;
+        while (remaining > 0) {
+            const n = Math.min(remaining, 32);
+            value = (value << BigInt(n)) | BigInt(readBits(state, n));
+            remaining -= n;
+        }
+        return value;
+    }, "takeBig");
+};
+/**
+ * Matches `count` bits equal to `pattern` (winnow's `pattern`, nom's bit
+ * `tag`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export const pattern = (pattern, count) => {
+    const expected = [`bit pattern ${pattern.toString(2).padStart(count, "0")}`];
+    return make((state) => {
+        const start = state.pos;
+        const avail = state.end - start;
+        if (avail < count)
+            return state.eoi("Bits", expected, count - avail);
+        const value = readBits(state, count);
+        if (value !== pattern) {
+            state.pos = start;
+            return state.backtrack("Bits", expected);
+        }
+        return value;
+    }, "pattern");
+};
+/**
+ * Takes one bit as a boolean (winnow's and nom's `bool`).
+ *
+ * @since 0.1.0
+ * @category parsers
+ */
+export const bool = make((state) => {
+    if (state.pos >= state.end)
+        return state.eoi("Bits", ["1 bit"], 1);
+    return readBits(state, 1) === 1;
+}, "bool");
+//# sourceMappingURL=Bits.js.map

package/dist/Bits.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Bits.js","sourceRoot":"","sources":["../src/Bits.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAE1C,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAelC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,MAAc,EAAW,EAAE,CACpD,IAAI,OAAO,CACT,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,EAC9D,CAAC,CAAC,IAAI,EACN,CAAC,CAAC,QAAQ,EACV,CAAC,CAAC,OAAO,EACT,CAAC,CAAC,QAAQ,EACV,CAAC,CAAC,KAAK,EACP,CAAC,CAAC,OAAO,EACT,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAC9D,CAAA;AAEH;;;GAGG;AACH,MAAM,OAAO,GAAG,CAAI,KAAiB,EAAE,MAAc,EAAE,IAAqC,EAAY,EAAE;IACxG,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACrB,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7B,KAAK,CAAC,OAAO,GAAG,SAAS,CAAA;IACzB,KAAK,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,CAAA;IAC3E,KAAK,CAAC,GAAG,GAAG,GAAG,GAAG,MAAM,CAAA;IACxB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;IACrB,KAAK,CAAC,GAAG,GAAG,GAAG,CAAA;IACf,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAA;IAC3B,KAAK,CAAC,OAAO,GAAG,OAAO,CAAA;IACvB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACf,KAAK,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAA;QAC5E,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAA;QACvB,KAAK,CAAC,OAAO,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAA;QACpC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAA;YAChE,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;gBAAE,KAAK,CAAC,OAAO,GAAG,CAAC,CAAA;QAC5E,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,KAAK,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,GAAG,MAAM,CAAA;IAC3E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,CAAA;QAClC,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM;YAAE,KAAK,CAAC,OAAO,GAAG,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAU,IAA+B,EAA+B,EAAE;IAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAkD,CAAA;IACpE,OAAO,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAA;AACzD,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAU,IAAiC,EAA6B,EAAE;IAC7F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAuC,CAAA;IACzD,OAAO,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;AAC1E,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAiB,EAAE,KAAa,EAAU,EAAE;IAC5D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAmB,CAAA;IACvC,IAAI,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;IACnB,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAE,CAAA;QAC9B,KAAK,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;QACpD,GAAG,EAAE,CAAA;IACP,CAAC;IACD,KAAK,CAAC,GAAG,GAAG,GAAG,CAAA;IACf,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAA0C,EAAE;IAC5E,IAAI,KAAK,GAAG,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,mDAAmD,CAAC,CAAA;IACzF,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,OAAO,CAAC,CAAA;IAClC,OAAO,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QACnC,IAAI,KAAK,GAAG,KAAK;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,CAAA;QACpE,OAAO,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC/B,CAAC,EAAE,MAAM,CAAC,CAAA;AACZ,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAa,EAA0C,EAAE;IAC/E,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAK,OAAO,CAAC,CAAA;IAClC,OAAO,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAA;QACnC,IAAI,KAAK,GAAG,KAAK;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,CAAA;QACpE,IAAI,KAAK,GAAG,EAAE,CAAA;QACd,IAAI,SAAS,GAAG,KAAK,CAAA;QACrB,OAAO,SAAS,GAAG,CAAC,EAAE,CAAC;YACrB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YACjC,KAAK,GAAG,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAA;YACzD,SAAS,IAAI,CAAC,CAAA;QAChB,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,EAAE,SAAS,CAAC,CAAA;AACf,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAe,EAAE,KAAa,EAA0C,EAAE;IAChG,MAAM,QAAQ,GAAG,CAAC,eAAe,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;IAC5E,OAAO,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE;QAChC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAA;QACvB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;QAC/B,IAAI,KAAK,GAAG,KAAK;YAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,KAAK,CAAC,CAAA;QACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QACpC,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;YACtB,KAAK,CAAC,GAAG,GAAG,KAAK,CAAA;YACjB,OAAO,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAA;QAC1C,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC,EAAE,SAAS,CAAC,CAAA;AACf,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,IAAI,GAA4C,IAAI,CAAC,CAAC,KAAiB,EAAE,EAAE;IACtF,IAAI,KAAK,CAAC,GAAG,IAAI,KAAK,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA;IAClE,OAAO,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAA;AACjC,CAAC,EAAE,MAAM,CAAC,CAAA"}