@typed/router 0.32.0 → 1.0.0-beta.1

package/dist/Parser.d.ts

@@ -0,0 +1,92 @@
+import type { Arg0, Pipe, TypeLambda, TypeLambda1 } from "hkt-core";
+export type Result<Value, Rest extends string> = readonly [value: Value, rest: Rest];
+export interface Parser<Output = unknown> extends TypeLambda<[
+    input: string
+], Result<Output, string>> {
+}
+export type Parse<P extends Parser<unknown>, Input extends string> = Pipe<Input, P>;
+type IsStringLiteral<T extends string> = string extends T ? false : true;
+type StrictEquals<A, B> = (<T>() => T extends A ? 1 : 2) extends <T>() => T extends B ? 1 : 2 ? true : false;
+type IsNoProgress<Input extends string, Rest extends string> = IsStringLiteral<Input> extends true ? StrictEquals<Input, Rest> : false;
+export declare namespace Parser {
+    type Any = Parser<unknown>;
+    type Run<P extends Any, Input extends string> = Pipe<Input, P>;
+    interface Succeed<A> extends TypeLambda<[input: string], Result<A, string>> {
+        readonly return: Arg0<this> extends infer Input extends string ? readonly [A, Input] : never;
+    }
+    interface Fail extends TypeLambda<[input: string], never> {
+        readonly return: never;
+    }
+    interface Char<C extends string> extends TypeLambda<[input: string], Result<C, string>> {
+        readonly return: Arg0<this> extends `${C}${infer Rest}` ? readonly [C, Rest] : never;
+    }
+    interface String<S extends string> extends TypeLambda<[input: string], Result<S, string>> {
+        readonly return: Arg0<this> extends `${S}${infer Rest}` ? readonly [S, Rest] : never;
+    }
+    type LowercaseAlphabet = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z";
+    type UppercaseAlphabet = "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z";
+    type Alphabet = LowercaseAlphabet | UppercaseAlphabet;
+    type Digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9";
+    type AlphaNumeric = Alphabet | Digit;
+    type TakeWhileInternal<Input extends string, Allowed extends string, Acc extends string = ""> = Input extends `${infer Head}${infer Tail}` ? Head extends Allowed ? TakeWhileInternal<Tail, Allowed, `${Acc}${Head}`> : readonly [Acc, Input] : readonly [Acc, Input];
+    type TakeWhile1Internal<Input extends string, Allowed extends string> = TakeWhileInternal<Input, Allowed> extends readonly [
+        infer Taken extends string,
+        infer Rest extends string
+    ] ? Taken extends "" ? never : readonly [Taken, Rest] : never;
+    interface TakeWhile<Allowed extends string> extends TypeLambda<[
+        input: string
+    ], Result<string, string>> {
+        readonly return: Arg0<this> extends infer Input extends string ? TakeWhileInternal<Input, Allowed> : never;
+    }
+    interface TakeWhile1<Allowed extends string> extends TypeLambda<[
+        input: string
+    ], Result<string, string>> {
+        readonly return: Arg0<this> extends infer Input extends string ? TakeWhile1Internal<Input, Allowed> : never;
+    }
+    interface Map<P extends Any, F extends TypeLambda1> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Pipe<Input, P> extends infer R ? [R] extends [never] ? never : R extends readonly [infer Value, infer Rest extends string] ? readonly [Pipe<Value, F>, Rest] : never : never : never;
+    }
+    interface FlatMap<P extends Any, F extends TypeLambda1> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Pipe<Input, P> extends infer R ? [R] extends [never] ? never : R extends readonly [infer Value, infer Rest extends string] ? Pipe<Value, F> extends infer Next ? [Next] extends [never] ? never : Next extends Any ? Pipe<Rest, Next> : never : never : never : never : never;
+    }
+    interface Zip<P extends Any, Q extends Any> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Pipe<Input, P> extends infer R1 ? [R1] extends [never] ? never : R1 extends readonly [infer Value1, infer Rest1 extends string] ? Pipe<Rest1, Q> extends infer R2 ? [R2] extends [never] ? never : R2 extends readonly [infer Value2, infer Rest2 extends string] ? readonly [readonly [Value1, Value2], Rest2] : never : never : never : never : never;
+    }
+    interface OrElse<P extends Any, Q extends Any> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Pipe<Input, P> extends infer R ? [R] extends [never] ? Pipe<Input, Q> : R extends readonly [infer Value, infer Rest extends string] ? readonly [Value, Rest] : never : never : never;
+    }
+    interface Optional<P extends Any> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Pipe<Input, P> extends infer R ? [R] extends [never] ? readonly [undefined, Input] : R extends readonly [infer Value, infer Rest extends string] ? readonly [Value, Rest] : never : never : never;
+    }
+    type ManyInternal<P extends Any, Input extends string, Acc extends ReadonlyArray<unknown> = readonly []> = Pipe<Input, P> extends infer R ? [R] extends [never] ? readonly [Acc, Input] : R extends readonly [infer Value, infer Rest extends string] ? IsNoProgress<Input, Rest> extends true ? never : ManyInternal<P, Rest, readonly [...Acc, Value]> : never : never;
+    type Many1Internal<P extends Any, Input extends string> = Pipe<Input, P> extends infer R ? [R] extends [never] ? never : R extends readonly [infer Value, infer Rest extends string] ? IsNoProgress<Input, Rest> extends true ? never : ManyInternal<P, Rest, readonly [Value]> : never : never;
+    interface Many<P extends Any> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? ManyInternal<P, Input> : never;
+    }
+    interface Many1<P extends Any> extends Parser<unknown> {
+        readonly return: Arg0<this> extends infer Input extends string ? Many1Internal<P, Input> : never;
+    }
+    interface MapTo<F extends TypeLambda1> extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? Map<P, F> : never;
+    }
+    interface FlatMapTo<F extends TypeLambda1> extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? FlatMap<P, F> : never;
+    }
+    interface ZipWith<Q extends Any> extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? Zip<P, Q> : never;
+    }
+    interface OrElseWith<Q extends Any> extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? OrElse<P, Q> : never;
+    }
+    interface OptionalOf extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? Optional<P> : never;
+    }
+    interface ManyOf extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? Many<P> : never;
+    }
+    interface Many1Of extends TypeLambda1 {
+        readonly return: Arg0<this> extends infer P extends Any ? Many1<P> : never;
+    }
+}
+export {};
+//# sourceMappingURL=Parser.d.ts.map

package/dist/Parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Parser.d.ts","sourceRoot":"","sources":["../src/Parser.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAEpE,MAAM,MAAM,MAAM,CAAC,KAAK,EAAE,IAAI,SAAS,MAAM,IAAI,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAErF,MAAM,WAAW,MAAM,CAAC,MAAM,GAAG,OAAO,CAAE,SAAQ,UAAU,CAC1D;IAAC,KAAK,EAAE,MAAM;CAAC,EACf,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CACvB;CAAG;AAEJ,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;AAEpF,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC;AAEzE,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IACpB,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC;AAErF,KAAK,YAAY,CAAC,KAAK,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IACzD,eAAe,CAAC,KAAK,CAAC,SAAS,IAAI,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;AAE1E,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B,KAAY,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;IAElC,KAAY,GAAG,CAAC,CAAC,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IAEtE,UAAiB,OAAO,CAAC,CAAC,CAAE,SAAQ,UAAU,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAChF,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAAG,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;KAC9F;IAED,UAAiB,IAAK,SAAQ,UAAU,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC;QAC9D,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;KACxB;IAED,UAAiB,IAAI,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,UAAU,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5F,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;KACtF;IAED,UAAiB,MAAM,CAAC,CAAC,SAAS,MAAM,CAAE,SAAQ,UAAU,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QAC9F,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,CAAC,GAAG,MAAM,IAAI,EAAE,GAAG,SAAS,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;KACtF;IAED,KAAY,iBAAiB,GACzB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;IAER,KAAY,iBAAiB,GACzB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;IAER,KAAY,QAAQ,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;IAE7D,KAAY,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;IAE9E,KAAY,YAAY,GAAG,QAAQ,GAAG,KAAK,CAAC;IAE5C,KAAK,iBAAiB,CACpB,KAAK,SAAS,MAAM,EACpB,OAAO,SAAS,MAAM,EACtB,GAAG,SAAS,MAAM,GAAG,EAAE,IACrB,KAAK,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GAC1C,IAAI,SAAS,OAAO,GAClB,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,GACjD,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,GACvB,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IAE1B,KAAK,kBAAkB,CAAC,KAAK,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,IAClE,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,SAAS;QACjD,MAAM,KAAK,SAAS,MAAM;QAC1B,MAAM,IAAI,SAAS,MAAM;KAC1B,GACG,KAAK,SAAS,EAAE,GACd,KAAK,GACL,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GACxB,KAAK,CAAC;IAEZ,UAAiB,SAAS,CAAC,OAAO,SAAS,MAAM,CAAE,SAAQ,UAAU,CACnE;QAAC,KAAK,EAAE,MAAM;KAAC,EACf,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CACvB;QACC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,GACjC,KAAK,CAAC;KACX;IAED,UAAiB,UAAU,CAAC,OAAO,SAAS,MAAM,CAAE,SAAQ,UAAU,CACpE;QAAC,KAAK,EAAE,MAAM;KAAC,EACf,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CACvB;QACC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,GAClC,KAAK,CAAC;KACX;IAED,UAAiB,GAAG,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,WAAW,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QAChF,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,SAAS,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAC/B,KAAK,GACT,KAAK,GACP,KAAK,CAAC;KACX;IAED,UAAiB,OAAO,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,WAAW,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QACpF,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,IAAI,GAC/B,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,IAAI,SAAS,GAAG,GACd,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAChB,KAAK,GACT,KAAK,GACP,KAAK,GACT,KAAK,GACP,KAAK,CAAC;KACX;IAED,UAAiB,GAAG,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QACxE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,GAC7B,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,KAAK,GACL,EAAE,SAAS,SAAS,CAAC,MAAM,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,GAC5D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,EAAE,GAC7B,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,GAClB,KAAK,GACL,EAAE,SAAS,SAAS,CAAC,MAAM,MAAM,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,GAC5D,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,KAAK,CAAC,GAC3C,KAAK,GACT,KAAK,GACP,KAAK,GACT,KAAK,GACP,KAAK,CAAC;KACX;IAED,UAAiB,MAAM,CAAC,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,GAAG,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QAC3E,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,GACd,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GACtB,KAAK,GACT,KAAK,GACP,KAAK,CAAC;KACX;IAED,UAAiB,QAAQ,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QAC9D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC5B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,GAC3B,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GACtB,KAAK,GACT,KAAK,GACP,KAAK,CAAC;KACX;IAED,KAAK,YAAY,CACf,CAAC,SAAS,GAAG,EACb,KAAK,SAAS,MAAM,EACpB,GAAG,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,SAAS,EAAE,IAEhD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC1B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,GACrB,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,IAAI,GACpC,KAAK,GACL,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC,GACjD,KAAK,GACT,KAAK,CAAC;IAEZ,KAAK,aAAa,CAAC,CAAC,SAAS,GAAG,EAAE,KAAK,SAAS,MAAM,IACpD,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,SAAS,MAAM,CAAC,GAC1B,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjB,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,GACzD,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,IAAI,GACpC,KAAK,GACL,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,GACzC,KAAK,GACT,KAAK,CAAC;IAEZ,UAAiB,IAAI,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QAC1D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAAG,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,KAAK,CAAC;KACjG;IAED,UAAiB,KAAK,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,MAAM,CAAC,OAAO,CAAC;QAC3D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GACvB,KAAK,CAAC;KACX;IAED,UAAiB,KAAK,CAAC,CAAC,SAAS,WAAW,CAAE,SAAQ,WAAW;QAC/D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;KAC7E;IAED,UAAiB,SAAS,CAAC,CAAC,SAAS,WAAW,CAAE,SAAQ,WAAW;QACnE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;KACjF;IAED,UAAiB,OAAO,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,WAAW;QACzD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;KAC7E;IAED,UAAiB,UAAU,CAAC,CAAC,SAAS,GAAG,CAAE,SAAQ,WAAW;QAC5D,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;KAChF;IAED,UAAiB,UAAW,SAAQ,WAAW;QAC7C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;KAC/E;IAED,UAAiB,MAAO,SAAQ,WAAW;QACzC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;KAC3E;IAED,UAAiB,OAAQ,SAAQ,WAAW;QAC1C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;KAC5E;CACF"}

package/dist/Parser.js

@@ -0,0 +1 @@
+export {};

package/dist/Path.d.ts

@@ -0,0 +1,216 @@
+import type { Arg0, TypeLambda1 } from "hkt-core";
+import * as Schema from "effect/Schema";
+import type { PathAst } from "./AST.js";
+import type { Parser } from "./Parser.js";
+type PathStopChar = "/" | ":" | "*" | "?";
+type QueryValueStopChar = "&";
+type TakeWhileNotInternal<Input extends string, Stop extends string, Acc extends string = ""> = Input extends `${infer Head}${infer Tail}` ? Head extends Stop ? readonly [Acc, Input] : TakeWhileNotInternal<Tail, Stop, `${Acc}${Head}`> : readonly [Acc, Input];
+type TakeWhileNot1Internal<Input extends string, Stop extends string> = TakeWhileNotInternal<Input, Stop> extends readonly [
+    infer Taken extends string,
+    infer Rest extends string
+] ? Taken extends "" ? never : readonly [Taken, Rest] : never;
+interface TakeWhileNot1<Stop extends string> extends Parser<string> {
+    readonly return: Arg0<this> extends infer Input extends string ? TakeWhileNot1Internal<Input, Stop> : never;
+}
+interface Second extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [infer _A, infer B] ? B : never;
+}
+interface RegexBetweenParens extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly ["(", readonly [infer Regex extends string, ")"]] ? Regex : never;
+}
+type RegexParser = Parser.Map<Parser.Zip<Parser.Char<"(">, Parser.Zip<TakeWhileNot1<")">, Parser.Char<")">>>, RegexBetweenParens>;
+type OptionalRegexParser = Parser.Optional<RegexParser>;
+type OptionalQuestionMarkParser = Parser.Optional<Parser.Char<"?">>;
+type ParameterNameParser = Parser.Zip<Parser.Char<":">, Parser.TakeWhile1<Parser.AlphaNumeric>>;
+type ParameterPartsParser = Parser.Zip<ParameterNameParser, Parser.Zip<OptionalRegexParser, OptionalQuestionMarkParser>>;
+type ParameterAst<Name extends string, Regex extends string | undefined, OptionalMark extends "?" | undefined> = [
+    {
+        readonly type: "parameter";
+        readonly name: Name;
+    } & ([Regex] extends [string] ? {
+        regex: Regex;
+    } : {}) & ([OptionalMark] extends ["?"] ? {
+        optional: true;
+    } : {})
+] extends [infer Ast] ? ToReadonlyRecord<Ast> : never;
+interface ToParameterAst extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [
+        readonly [":", infer Name extends string],
+        readonly [infer Regex, infer OptionalMark]
+    ] ? ParameterAst<Name, Regex extends string ? Regex : undefined, OptionalMark extends "?" ? OptionalMark : undefined> : never;
+}
+type ParameterParser = Parser.Map<ParameterPartsParser, ToParameterAst>;
+interface ToWildcardAst extends TypeLambda1 {
+    readonly return: {
+        readonly type: "wildcard";
+    };
+}
+type WildcardParser = Parser.Map<Parser.Char<"*">, ToWildcardAst>;
+interface ToLiteralAst extends TypeLambda1 {
+    readonly return: Arg0<this> extends infer Value extends string ? {
+        readonly type: "literal";
+        readonly value: Value;
+    } : never;
+}
+type PathLiteralParser = Parser.Map<TakeWhileNot1<PathStopChar>, ToLiteralAst>;
+type QueryLiteralParser = Parser.Map<TakeWhileNot1<QueryValueStopChar>, ToLiteralAst>;
+type QueryValueParser = Parser.OrElse<ParameterParser, Parser.OrElse<WildcardParser, QueryLiteralParser>>;
+interface ToQueryParamAst extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [
+        infer Name extends string,
+        readonly ["=", infer Value extends PathAst]
+    ] ? {
+        readonly type: "query-param";
+        readonly name: Name;
+        readonly value: Value;
+    } : never;
+}
+type QueryParamParser = Parser.Map<Parser.Zip<Parser.TakeWhile1<Parser.AlphaNumeric>, Parser.Zip<Parser.Char<"=">, QueryValueParser>>, ToQueryParamAst>;
+type QueryParamTailParser = Parser.Map<Parser.Zip<Parser.Char<"&">, QueryParamParser>, Second>;
+interface PrependToTuple extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [
+        infer Head,
+        infer Tail extends ReadonlyArray<unknown>
+    ] ? readonly [Head, ...Tail] : never;
+}
+type QueryParamListParser = Parser.Map<Parser.Zip<QueryParamParser, Parser.Many<QueryParamTailParser>>, PrependToTuple>;
+interface ToQueryParamsAst extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [
+        "?",
+        infer Params extends ReadonlyArray<PathAst.QueryParam>
+    ] ? {
+        readonly type: "query-params";
+        readonly value: Params;
+    } : never;
+}
+type QueryParamsParser = Parser.Map<Parser.Zip<Parser.Char<"?">, QueryParamListParser>, ToQueryParamsAst>;
+type PathAtomParser = Parser.OrElse<QueryParamsParser, Parser.OrElse<ParameterParser, Parser.OrElse<WildcardParser, PathLiteralParser>>>;
+type SkipSlashesParser = Parser.Optional<Parser.Many1<Parser.Char<"/">>>;
+export type PathParser = Parser.Map<Parser.Zip<SkipSlashesParser, PathAtomParser>, Second>;
+type SlashAst = {
+    readonly type: "slash";
+};
+type PathChunk = readonly [PathAst] | readonly [SlashAst, PathAst];
+interface ToPathChunk extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [infer Slashes, infer Ast extends PathAst] ? [Slashes] extends [undefined] ? readonly [Ast] : readonly [SlashAst, Ast] : never;
+}
+type PathChunkParser = Parser.Map<Parser.Zip<SkipSlashesParser, PathAtomParser>, ToPathChunk>;
+type FlattenChunks<Chunks extends ReadonlyArray<PathChunk>, Acc extends ReadonlyArray<PathAst> = readonly []> = Chunks extends readonly [
+    infer Head extends PathChunk,
+    ...infer Tail extends ReadonlyArray<PathChunk>
+] ? FlattenChunks<Tail, readonly [...Acc, ...Head]> : Acc;
+type CombineChunks<First, Chunks extends ReadonlyArray<PathChunk>> = [First] extends [PathAst] ? readonly [First, ...FlattenChunks<Chunks>] : FlattenChunks<Chunks>;
+interface ToAsts extends TypeLambda1 {
+    readonly return: Arg0<this> extends readonly [
+        infer First,
+        infer Chunks extends ReadonlyArray<PathChunk>
+    ] ? CombineChunks<First, Chunks> : never;
+}
+type ParseAstsResult<Input extends string> = Parser.Run<Parser.Map<Parser.Zip<Parser.Optional<PathParser>, Parser.Many<PathChunkParser>>, ToAsts>, Input>;
+type GetAsts<R> = [R] extends [never] ? never : R extends readonly [infer Asts extends ReadonlyArray<PathAst>, infer _Rest extends string] ? Asts : never;
+export type ParseAsts<Input extends string> = GetAsts<ParseAstsResult<Input>>;
+type ParamsOfAst<T> = T extends {
+    type: "parameter";
+    name: infer Name extends string;
+    optional: true;
+} ? {
+    [K in Name]?: string;
+} : T extends {
+    readonly type: "parameter";
+    readonly name: infer Name extends string;
+} ? {
+    [K in Name]: string;
+} : T extends {
+    readonly type: "wildcard";
+} ? {
+    "*": string;
+} : T extends {
+    readonly type: "query-params";
+    readonly value: infer Values extends ReadonlyArray<PathAst.QueryParam>;
+} ? ParamsOfQueryParams<Values> : {};
+type ParamsOfQueryParams<T extends ReadonlyArray<PathAst.QueryParam>, Acc = {}> = T extends readonly [infer Head, ...infer Tail extends ReadonlyArray<PathAst.QueryParam>] ? ParamsOfQueryParams<Tail, Acc & ParamsOfQueryParam<Head>> : Acc;
+type ParamsOfQueryParam<T> = T extends {
+    readonly type: "query-param";
+    readonly value: infer Value extends PathAst;
+} ? ParamsOfAst<Value> : {};
+type GetParams<T extends ReadonlyArray<PathAst>, Acc = {}> = T extends readonly [
+    infer Head,
+    ...infer Tail extends ReadonlyArray<PathAst>
+] ? GetParams<Tail, Acc & ParamsOfAst<Head>> : Acc;
+type PathParamsOfAst<T> = T extends {
+    type: "parameter";
+    name: infer Name extends string;
+    optional: true;
+} ? {
+    [K in Name]?: string;
+} : T extends {
+    readonly type: "parameter";
+    readonly name: infer Name extends string;
+} ? {
+    [K in Name]: string;
+} : T extends {
+    readonly type: "wildcard";
+} ? {
+    "*": string;
+} : {};
+type QueryParamsOfAst<T> = T extends {
+    readonly type: "query-params";
+    readonly value: infer Values extends ReadonlyArray<PathAst.QueryParam>;
+} ? ParamsOfQueryParams<Values> : {};
+type GetPathParams<T extends ReadonlyArray<PathAst>, Acc = {}> = T extends readonly [
+    infer Head,
+    ...infer Tail extends ReadonlyArray<PathAst>
+] ? GetPathParams<Tail, Acc & PathParamsOfAst<Head>> : Acc;
+type GetQueryParams<T extends ReadonlyArray<PathAst>, Acc = {}> = T extends readonly [
+    infer Head,
+    ...infer Tail extends ReadonlyArray<PathAst>
+] ? GetQueryParams<Tail, Acc & QueryParamsOfAst<Head>> : Acc;
+type ToReadonlyRecord<T> = [T] extends [infer T2] ? {
+    readonly [K in keyof T2]: T2[K];
+} : never;
+export type PathParams<P extends string> = ParseAsts<P> extends infer Asts ? [Asts] extends [never] ? never : Asts extends ReadonlyArray<PathAst> ? ToReadonlyRecord<GetPathParams<Asts>> : never : never;
+export type QueryParams<P extends string> = ParseAsts<P> extends infer Asts ? [Asts] extends [never] ? never : Asts extends ReadonlyArray<PathAst> ? ToReadonlyRecord<GetQueryParams<Asts>> : never : never;
+export type Params<P extends string> = ParseAsts<P> extends infer Asts ? [Asts] extends [never] ? never : Asts extends ReadonlyArray<PathAst> ? ToReadonlyRecord<GetParams<Asts>> : never : never;
+export type RuntimeParseResult = readonly [asts: ReadonlyArray<PathAst>, rest: string];
+export declare function parseWithRest(input: string): RuntimeParseResult;
+export declare function parse<const P extends string>(input: P): ParseAsts<P>;
+export type Join<Parts extends ReadonlyArray<PathAst>> = `/${StringJoin<{
+    [K in keyof Parts]: FormatAst<Parts[K]>;
+}, "">}`;
+type StringJoin<Input extends ReadonlyArray<string>, R extends string = ""> = Input extends readonly [infer A extends string, ...infer Rest extends ReadonlyArray<string>] ? StringJoin<Rest, `${R}${A}`> : R;
+type FormatAst<T extends PathAst> = [T] extends [PathAst.Literal] ? T["value"] : [T] extends [PathAst.Parameter] ? FormatParameterAst<T> : [T] extends [PathAst.Wildcard] ? `*` : [T] extends [PathAst.Slash] ? `/` : [T] extends [PathAst.QueryParams] ? FormatQueryParamsAst<T["value"]> : never;
+type FormatParameterAst<T extends PathAst.Parameter> = `:${T["name"]}${T["optional"] extends true ? "?" : ""}`;
+type FormatQueryParamsAst<T extends ReadonlyArray<PathAst.QueryParam>, R extends string = "?"> = T extends readonly [
+    infer Head extends PathAst.QueryParam,
+    ...infer Tail extends ReadonlyArray<PathAst.QueryParam>
+] ? FormatQueryParamsAst<Tail, `${R}${R extends "?" ? "" : "&"}${FormatQueryParamAst<Head>}`> : R;
+type FormatQueryParamAst<T extends PathAst.QueryParam> = `${T["name"]}=${FormatAst<T["value"]>}`;
+export declare function join<const Parts extends ReadonlyArray<PathAst>>(asts: Parts): Join<Parts>;
+/**
+ * @internal
+ */
+export declare function getSchemaFields<const Parts extends ReadonlyArray<PathAst>>(parts: Parts): {
+    requiredFields: [string, Schema.Top][];
+    optionalFields: [Schema.Record.Key, Schema.Top][];
+    queryParams: [string, {
+        readonly requiredFields: Array<[string, Schema.Top]>;
+        readonly optionalFields: Array<[Schema.Record.Key, Schema.Top]>;
+    }][];
+};
+export declare function getSchemas<const Parts extends ReadonlyArray<PathAst>>(parts: Parts): {
+    readonly pathSchema: Schema.StructWithRest<Schema.Struct<{
+        [k: string]: Schema.Top;
+    }>, Schema.$Record<Schema.Record.Key, Schema.Top>[]>;
+    readonly querySchema: Schema.Struct<{
+        [k: string]: Schema.StructWithRest<Schema.Struct<{
+            [k: string]: Schema.Top;
+        }>, Schema.$Record<Schema.Record.Key, Schema.Top>[]>;
+    }>;
+    readonly paramsSchema: Schema.StructWithRest<Schema.Struct<{
+        readonly [x: string]: Schema.Top | Schema.StructWithRest<Schema.Struct<{
+            [k: string]: Schema.Top;
+        }>, Schema.$Record<Schema.Record.Key, Schema.Top>[]>;
+    }>, Schema.$Record<Schema.Record.Key, Schema.Top>[]>;
+};
+export {};
+//# sourceMappingURL=Path.d.ts.map

package/dist/Path.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Path.d.ts","sourceRoot":"","sources":["../src/Path.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,UAAU,CAAC;AAElD,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAExC,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,KAAK,YAAY,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AAC1C,KAAK,kBAAkB,GAAG,GAAG,CAAC;AAE9B,KAAK,oBAAoB,CACvB,KAAK,SAAS,MAAM,EACpB,IAAI,SAAS,MAAM,EACnB,GAAG,SAAS,MAAM,GAAG,EAAE,IACrB,KAAK,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GAC1C,IAAI,SAAS,IAAI,GACf,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,GACrB,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,GACnD,SAAS,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;AAE1B,KAAK,qBAAqB,CAAC,KAAK,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IAClE,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,SAAS,SAAS;IACjD,MAAM,KAAK,SAAS,MAAM;IAC1B,MAAM,IAAI,SAAS,MAAM;CAC1B,GACG,KAAK,SAAS,EAAE,GACd,KAAK,GACL,SAAS,CAAC,KAAK,EAAE,IAAI,CAAC,GACxB,KAAK,CAAC;AAEZ,UAAU,aAAa,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,MAAM,CAAC,MAAM,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D,qBAAqB,CAAC,KAAK,EAAE,IAAI,CAAC,GAClC,KAAK,CAAC;CACX;AAED,UAAU,MAAO,SAAQ,WAAW;IAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;CAC9E;AAED,UAAU,kBAAmB,SAAQ,WAAW;IAC9C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,KAAK,SAAS,MAAM,EAAE,GAAG,CAAC,CAAC,GAC1F,KAAK,GACL,KAAK,CAAC;CACX;AAED,KAAK,WAAW,GAAG,MAAM,CAAC,GAAG,CAC3B,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAC9E,kBAAkB,CACnB,CAAC;AAEF,KAAK,mBAAmB,GAAG,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AACxD,KAAK,0BAA0B,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AAEpE,KAAK,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;AAEhG,KAAK,oBAAoB,GAAG,MAAM,CAAC,GAAG,CACpC,mBAAmB,EACnB,MAAM,CAAC,GAAG,CAAC,mBAAmB,EAAE,0BAA0B,CAAC,CAC5D,CAAC;AAEF,KAAK,YAAY,CACf,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,MAAM,GAAG,SAAS,EAChC,YAAY,SAAS,GAAG,GAAG,SAAS,IAClC;IACF;QAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GAC3E;QAAE,KAAK,EAAE,KAAK,CAAA;KAAE,GAChB,EAAE,CAAC,GACL,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,EAAE,CAAC;CAC3D,SAAS,CAAC,MAAM,GAAG,CAAC,GACjB,gBAAgB,CAAC,GAAG,CAAC,GACrB,KAAK,CAAC;AAEV,UAAU,cAAe,SAAQ,WAAW;IAC1C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS;QAC3C,SAAS,CAAC,GAAG,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC;QACzC,SAAS,CAAC,MAAM,KAAK,EAAE,MAAM,YAAY,CAAC;KAC3C,GACG,YAAY,CACV,IAAI,EACJ,KAAK,SAAS,MAAM,GAAG,KAAK,GAAG,SAAS,EACxC,YAAY,SAAS,GAAG,GAAG,YAAY,GAAG,SAAS,CACpD,GACD,KAAK,CAAC;CACX;AAED,KAAK,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAC;AAExE,UAAU,aAAc,SAAQ,WAAW;IACzC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;KAAE,CAAC;CAChD;AAED,KAAK,cAAc,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,CAAC,CAAC;AAElE,UAAU,YAAa,SAAQ,WAAW;IACxC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1D;QAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,GACnD,KAAK,CAAC;CACX;AAED,KAAK,iBAAiB,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC,CAAC;AAE/E,KAAK,kBAAkB,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,kBAAkB,CAAC,EAAE,YAAY,CAAC,CAAC;AAEtF,KAAK,gBAAgB,GAAG,MAAM,CAAC,MAAM,CACnC,eAAe,EACf,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,kBAAkB,CAAC,CAClD,CAAC;AAEF,UAAU,eAAgB,SAAQ,WAAW;IAC3C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS;QAC3C,MAAM,IAAI,SAAS,MAAM;QACzB,SAAS,CAAC,GAAG,EAAE,MAAM,KAAK,SAAS,OAAO,CAAC;KAC5C,GACG;QAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;KAAE,GAC5E,KAAK,CAAC;CACX;AAED,KAAK,gBAAgB,GAAG,MAAM,CAAC,GAAG,CAChC,MAAM,CAAC,GAAG,CACR,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,YAAY,CAAC,EACtC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,CAC/C,EACD,eAAe,CAChB,CAAC;AAEF,KAAK,oBAAoB,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,gBAAgB,CAAC,EAAE,MAAM,CAAC,CAAC;AAE/F,UAAU,cAAe,SAAQ,WAAW;IAC1C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS;QAC3C,MAAM,IAAI;QACV,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC;KAC1C,GACG,SAAS,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GACxB,KAAK,CAAC;CACX;AAED,KAAK,oBAAoB,GAAG,MAAM,CAAC,GAAG,CACpC,MAAM,CAAC,GAAG,CAAC,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC,EAC/D,cAAc,CACf,CAAC;AAEF,UAAU,gBAAiB,SAAQ,WAAW;IAC5C,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS;QAC3C,GAAG;QACH,MAAM,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC;KACvD,GACG;QACE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;QAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;KACxB,GACD,KAAK,CAAC;CACX;AAED,KAAK,iBAAiB,GAAG,MAAM,CAAC,GAAG,CACjC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,oBAAoB,CAAC,EAClD,gBAAgB,CACjB,CAAC;AAEF,KAAK,cAAc,GAAG,MAAM,CAAC,MAAM,CACjC,iBAAiB,EACjB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,EAAE,iBAAiB,CAAC,CAAC,CACjF,CAAC;AAEF,KAAK,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,EAAE,cAAc,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3F,KAAK,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE3C,KAAK,SAAS,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;AAEnE,UAAU,WAAY,SAAQ,WAAW;IACvC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS,CAAC,MAAM,OAAO,EAAE,MAAM,GAAG,SAAS,OAAO,CAAC,GACnF,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC,GAC3B,SAAS,CAAC,GAAG,CAAC,GACd,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,GAC1B,KAAK,CAAC;CACX;AAED,KAAK,eAAe,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,iBAAiB,EAAE,cAAc,CAAC,EAAE,WAAW,CAAC,CAAC;AAE9F,KAAK,aAAa,CAChB,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,EACvC,GAAG,SAAS,aAAa,CAAC,OAAO,CAAC,GAAG,SAAS,EAAE,IAC9C,MAAM,SAAS,SAAS;IAC1B,MAAM,IAAI,SAAS,SAAS;IAC5B,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,SAAS,CAAC;CAC/C,GACG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,GAAG,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,GAC/C,GAAG,CAAC;AAER,KAAK,aAAa,CAAC,KAAK,EAAE,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,GAC1F,SAAS,CAAC,KAAK,EAAE,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,GAC1C,aAAa,CAAC,MAAM,CAAC,CAAC;AAE1B,UAAU,MAAO,SAAQ,WAAW;IAClC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,SAAS;QAC3C,MAAM,KAAK;QACX,MAAM,MAAM,SAAS,aAAa,CAAC,SAAS,CAAC;KAC9C,GACG,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,GAC5B,KAAK,CAAC;CACX;AAED,KAAK,eAAe,CAAC,KAAK,SAAS,MAAM,IAAI,MAAM,CAAC,GAAG,CACrD,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,EACzF,KAAK,CACN,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACjC,KAAK,GACL,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,MAAM,KAAK,SAAS,MAAM,CAAC,GACxF,IAAI,GACJ,KAAK,CAAC;AAEZ,MAAM,MAAM,SAAS,CAAC,KAAK,SAAS,MAAM,IAAI,OAAO,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC;AAE9E,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAC9B,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC;IAChC,QAAQ,EAAE,IAAI,CAAC;CAChB,GACG;KAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM;CAAE,GACxB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAAE,GAChF;KAAG,CAAC,IAAI,IAAI,GAAG,MAAM;CAAE,GACvB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACrC;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GACf,CAAC,SAAS;IACN,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;CACxE,GACD,mBAAmB,CAAC,MAAM,CAAC,GAC3B,EAAE,CAAC;AAEb,KAAK,mBAAmB,CACtB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,EAC3C,GAAG,GAAG,EAAE,IACN,CAAC,SAAS,SAAS,CAAC,MAAM,IAAI,EAAE,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GACxF,mBAAmB,CAAC,IAAI,EAAE,GAAG,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,GACzD,GAAG,CAAC;AAER,KAAK,kBAAkB,CAAC,CAAC,IAAI,CAAC,SAAS;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,SAAS,OAAO,CAAC;CAC7C,GACG,WAAW,CAAC,KAAK,CAAC,GAClB,EAAE,CAAC;AAEP,KAAK,SAAS,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,CAAC,SAAS,SAAS;IAC9E,MAAM,IAAI;IACV,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC;CAC7C,GACG,SAAS,CAAC,IAAI,EAAE,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,GACxC,GAAG,CAAC;AAER,KAAK,eAAe,CAAC,CAAC,IAAI,CAAC,SAAS;IAClC,IAAI,EAAE,WAAW,CAAC;IAClB,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC;IAChC,QAAQ,EAAE,IAAI,CAAC;CAChB,GACG;KAAG,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,MAAM;CAAE,GACxB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,IAAI,SAAS,MAAM,CAAA;CAAE,GAChF;KAAG,CAAC,IAAI,IAAI,GAAG,MAAM;CAAE,GACvB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACrC;IAAE,GAAG,EAAE,MAAM,CAAA;CAAE,GACf,EAAE,CAAC;AAEX,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS;IACnC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,MAAM,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;CACxE,GACG,mBAAmB,CAAC,MAAM,CAAC,GAC3B,EAAE,CAAC;AAEP,KAAK,aAAa,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,CAAC,SAAS,SAAS;IAClF,MAAM,IAAI;IACV,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC;CAC7C,GACG,aAAa,CAAC,IAAI,EAAE,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,GAChD,GAAG,CAAC;AAER,KAAK,cAAc,CAAC,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,IAAI,CAAC,SAAS,SAAS;IACnF,MAAM,IAAI;IACV,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC;CAC7C,GACG,cAAc,CAAC,IAAI,EAAE,GAAG,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC,GAClD,GAAG,CAAC;AAER,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,GAAG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;CAAE,GAAG,KAAK,CAAC;AAEhG,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,MAAM,IACrC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,IAAI,GAC3B,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,GACjC,gBAAgB,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,GACrC,KAAK,GACT,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IACtC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,IAAI,GAC3B,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,GACjC,gBAAgB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,GACtC,KAAK,GACT,KAAK,CAAC;AAEZ,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,MAAM,IACjC,SAAS,CAAC,CAAC,CAAC,SAAS,MAAM,IAAI,GAC3B,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,KAAK,GACL,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,GACjC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,GACjC,KAAK,GACT,KAAK,CAAC;AAEZ,MAAM,MAAM,kBAAkB,GAAG,SAAS,CAAC,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AAEvF,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,kBAAkB,CA0B/D;AAED,wBAAgB,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CASpE;AAED,MAAM,MAAM,IAAI,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU,CACrE;KACG,CAAC,IAAI,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;CACxC,EACD,EAAE,CACH,EAAE,CAAC;AAEJ,KAAK,UAAU,CACb,KAAK,SAAS,aAAa,CAAC,MAAM,CAAC,EACnC,CAAC,SAAS,MAAM,GAAG,EAAE,IACnB,KAAK,SAAS,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,EAAE,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC5F,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAC5B,CAAC,CAAC;AAEN,KAAK,SAAS,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,GAC7D,CAAC,CAAC,OAAO,CAAC,GACV,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,GAC7B,kBAAkB,CAAC,CAAC,CAAC,GACrB,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,GAC5B,GAAG,GACH,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GACzB,GAAG,GACH,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,WAAW,CAAC,GAC/B,oBAAoB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAChC,KAAK,CAAC;AAElB,KAAK,kBAAkB,CAAC,CAAC,SAAS,OAAO,CAAC,SAAS,IACjD,IAAI,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,SAAS,IAAI,GAAG,GAAG,GAAG,EAAE,EAAE,CAAC;AAC1D,KAAK,oBAAoB,CACvB,CAAC,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC,EAC3C,CAAC,SAAS,MAAM,GAAG,GAAG,IACpB,CAAC,SAAS,SAAS;IACrB,MAAM,IAAI,SAAS,OAAO,CAAC,UAAU;IACrC,GAAG,MAAM,IAAI,SAAS,aAAa,CAAC,OAAO,CAAC,UAAU,CAAC;CACxD,GACG,oBAAoB,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,SAAS,GAAG,GAAG,EAAE,GAAG,GAAG,GAAG,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,GACzF,CAAC,CAAC;AAEN,KAAK,mBAAmB,CAAC,CAAC,SAAS,OAAO,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;AAEjG,wBAAgB,IAAI,CAAC,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAEzF;AAsMD;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK;;;;iCAOvD,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;iCAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC;;EAiDtE;AAED,wBAAgB,UAAU,CAAC,KAAK,CAAC,KAAK,SAAS,aAAa,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK;;;;;;;;;;;;;;EA4BlF"}

package/dist/Path.js

@@ -0,0 +1,248 @@
+import * as Schema from "effect/Schema";
+import * as AST from "./AST.js";
+export function parseWithRest(input) {
+    let index = 0;
+    const asts = [];
+    while (index < input.length) {
+        const start = index;
+        let hasSlash = false;
+        while (index < input.length && input[index] === "/") {
+            hasSlash = true;
+            index++;
+        }
+        const atom = parseAtom(input, index);
+        if (atom === undefined) {
+            index = start;
+            break;
+        }
+        if (hasSlash && asts.length > 0) {
+            asts.push(AST.slash());
+        }
+        asts.push(atom.ast);
+        index = atom.index;
+    }
+    return [asts, input.slice(index)];
+}
+export function parse(input) {
+    const [asts, rest] = parseWithRest(input);
+    for (let i = 0; i < rest.length; i++) {
+        if (rest[i] !== "/") {
+            const index = input.length - rest.length;
+            throw new Error(`Failed to parse path at index ${index}`);
+        }
+    }
+    return asts;
+}
+export function join(asts) {
+    return `/${asts.map(formatAst).join("")}`;
+}
+function formatAst(ast) {
+    switch (ast.type) {
+        case "literal":
+            return ast.value;
+        case "parameter":
+            return `:${ast.name}`;
+        case "wildcard":
+            return "*";
+        case "slash":
+            return "/";
+        case "query-params":
+            return `?${ast.value.map(getQueryParamAst).join("&")}`;
+    }
+}
+function getQueryParamAst(ast) {
+    return `${ast.name}=${formatAst(ast.value)}`;
+}
+function parseAtom(input, index) {
+    const char = input[index];
+    if (char === undefined) {
+        return undefined;
+    }
+    if (char === "?") {
+        return parseQueryParams(input, index);
+    }
+    if (char === ":") {
+        return parseParameter(input, index);
+    }
+    if (char === "*") {
+        return { ast: AST.wildcard(), index: index + 1 };
+    }
+    return parsePathLiteral(input, index);
+}
+function parseParameter(input, index) {
+    if (input[index] !== ":") {
+        return undefined;
+    }
+    let i = index + 1;
+    let name = "";
+    while (i < input.length && isAlphaNumeric(input[i])) {
+        name += input[i];
+        i++;
+    }
+    if (name.length === 0) {
+        return undefined;
+    }
+    let regex = undefined;
+    if (input[i] === "(") {
+        i++;
+        const start = i;
+        while (i < input.length && input[i] !== ")") {
+            i++;
+        }
+        if (i >= input.length) {
+            return undefined;
+        }
+        if (i === start) {
+            return undefined;
+        }
+        regex = input.slice(start, i);
+        i++;
+    }
+    let optional = undefined;
+    if (input[i] === "?") {
+        optional = true;
+        i++;
+    }
+    return { ast: AST.parameter(name, optional, regex), index: i };
+}
+function parsePathLiteral(input, index) {
+    const char = input[index];
+    if (char === undefined || isPathStopChar(char)) {
+        return undefined;
+    }
+    let i = index;
+    while (i < input.length && !isPathStopChar(input[i])) {
+        i++;
+    }
+    return { ast: AST.literal(input.slice(index, i)), index: i };
+}
+function parseQueryParams(input, index) {
+    if (input[index] !== "?") {
+        return undefined;
+    }
+    const first = parseQueryParam(input, index + 1);
+    if (first === undefined) {
+        return undefined;
+    }
+    let i = first.index;
+    const params = [first.ast];
+    while (i < input.length && input[i] === "&") {
+        const start = i;
+        const next = parseQueryParam(input, i + 1);
+        if (next === undefined) {
+            i = start;
+            break;
+        }
+        params.push(next.ast);
+        i = next.index;
+    }
+    return { ast: AST.queryParams(params), index: i };
+}
+function parseQueryParam(input, index) {
+    let i = index;
+    let name = "";
+    while (i < input.length && isAlphaNumeric(input[i])) {
+        name += input[i];
+        i++;
+    }
+    if (name.length === 0) {
+        return undefined;
+    }
+    if (input[i] !== "=") {
+        return undefined;
+    }
+    i++;
+    const value = parseQueryValue(input, i);
+    if (value === undefined) {
+        return undefined;
+    }
+    return { ast: AST.queryParam(name, value.ast), index: value.index };
+}
+function parseQueryValue(input, index) {
+    const char = input[index];
+    if (char === undefined) {
+        return undefined;
+    }
+    if (char === ":") {
+        return parseParameter(input, index);
+    }
+    if (char === "*") {
+        return { ast: AST.wildcard(), index: index + 1 };
+    }
+    let i = index;
+    while (i < input.length && input[i] !== "&") {
+        i++;
+    }
+    if (i === index) {
+        return undefined;
+    }
+    return { ast: AST.literal(input.slice(index, i)), index: i };
+}
+function isPathStopChar(char) {
+    return char === "/" || char === ":" || char === "*" || char === "?";
+}
+function isAlphaNumeric(char) {
+    return ((char >= "0" && char <= "9") || (char >= "a" && char <= "z") || (char >= "A" && char <= "Z"));
+}
+/**
+ * @internal
+ */
+export function getSchemaFields(parts) {
+    const requiredFields = [];
+    const optionalFields = [];
+    const queryParams = [];
+    function addParameter(param) {
+        const base = param.regex
+            ? Schema.String.pipe(Schema.check(Schema.isPattern(new RegExp(param.regex))))
+            : Schema.String;
+        if (param.optional) {
+            optionalFields.push([Schema.optionalKey(Schema.Literal(param.name)), Schema.optional(base)]);
+        }
+        else {
+            requiredFields.push([param.name, base]);
+        }
+    }
+    function addQueryParams(params) {
+        for (const param of params) {
+            const { optionalFields, queryParams: _queryParams, requiredFields, } = getSchemaFields([param.value]);
+            queryParams.push([param.name, { optionalFields, requiredFields }]);
+            // eslint-disable-next-line no-restricted-syntax
+            queryParams.push(..._queryParams);
+        }
+    }
+    function addParts(parts) {
+        for (const part of parts) {
+            if (part.type === "parameter") {
+                addParameter(part);
+            }
+            else if (part.type === "wildcard") {
+                requiredFields.push(["*", Schema.String]);
+            }
+            else if (part.type === "query-params") {
+                addQueryParams(part.value);
+            }
+        }
+    }
+    addParts(parts);
+    return {
+        requiredFields,
+        optionalFields,
+        queryParams,
+    };
+}
+export function getSchemas(parts) {
+    const { optionalFields, queryParams, requiredFields } = getSchemaFields(parts);
+    const pathFields = Object.fromEntries(requiredFields);
+    const queryFields = Object.fromEntries(queryParams.map(([name, { optionalFields, requiredFields }]) => [
+        name,
+        Schema.StructWithRest(Schema.Struct(Object.fromEntries(requiredFields)), optionalFields.map(([key, value]) => Schema.Record(key, value))),
+    ]));
+    const pathSchema = Schema.StructWithRest(Schema.Struct(pathFields), optionalFields.map(([key, value]) => Schema.Record(key, value)));
+    const querySchema = Schema.Struct(queryFields);
+    const paramsSchema = Schema.StructWithRest(Schema.Struct({ ...pathFields, ...queryFields }), optionalFields.map(([key, value]) => Schema.Record(key, value)));
+    return {
+        pathSchema,
+        querySchema,
+        paramsSchema,
+    };
+}