Class IndirBuilder<Context, Names, RuleDefs>

Type Parameters

Context
Names extends string
RuleDefs extends IndirectionMap<Names>

Index

Methods

addMany addRule addRuleRedundant build deleteRule patchRule typePatch widenContext create

Methods

addMany

addMany[]>(
 ...rules: CheckOverlap<ParseNamesFromList, Names, U>,
): IndirBuilder<
 Context,
 Names
 | ParseNamesFromList,
 {
 [K in string]: K extends keyof ParseIndirsToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >
 ? ParseIndirsToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >[K<K>] extends IndirDef<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
Type Parameters
- U extends readonly IndirDef<Context>[]
Parameters
- ...rules: CheckOverlap<ParseNamesFromList, Names, U>
Returns IndirBuilder<
 Context,
 Names
 | ParseNamesFromList,
 {
 [K in string]: K extends keyof ParseIndirsToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >
 ? ParseIndirsToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >[K<K>] extends IndirDef<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:99

addRule

addRule(
 rule: CheckOverlap<U, Names, IndirDef<Context, U, RET, ARGS>>,
): IndirBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends U
 ? IndirDef<Context, K<K>, RET, ARGS>
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
Add a rule to the grammar. Will raise a typescript error if the rule already exists in the grammar.
Type Parameters
- U extends string
- RET
- ARGS extends any[]
Parameters
- rule: CheckOverlap<U, Names, IndirDef<Context, U, RET, ARGS>>
Returns IndirBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends U
 ? IndirDef<Context, K<K>, RET, ARGS>
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:91

addRuleRedundant

addRuleRedundant(
 rule: IndirDef<Context, U, RET, ARGS>,
): IndirBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends U
 ? IndirDef<Context, K<K>, RET, ARGS>
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
Add an indirection function. If the rule already exists, but the implementation differs, an error will be thrown.
Type Parameters
- U extends string
- RET
- ARGS extends any[]
Parameters
- rule: IndirDef<Context, U, RET, ARGS>
Returns IndirBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends U
 ? IndirDef<Context, K<K>, RET, ARGS>
 : K extends Names
 ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
 : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:71

build

build(): IndirectObjFromIndirDefs<Context, Names, RuleDefs>
Returns IndirectObjFromIndirDefs<Context, Names, RuleDefs>
- Defined in indirection-builder/IndirBuilder.ts:128

deleteRule

deleteRule(
 ruleName: U,
): IndirBuilder<
 Context,
 Exclude<Names, U>,
 {
 [K in string]: RuleDefs[K] extends IndirDef<Context, K>
 ? any[any]
 : never
 },
>
Delete a grammar rule by its name.
Type Parameters
- U extends string
Parameters
- ruleName: U
Returns IndirBuilder<
 Context,
 Exclude<Names, U>,
 {
 [K in string]: RuleDefs[K] extends IndirDef<Context, K>
 ? any[any]
 : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:119

patchRule

patchRule(
 patch: IndirDef<Context, U, RET, ARGS>,
): IndirBuilder<
 Context,
 Names,
 {
 [Key in string]: Key extends U
 ? IndirDef<Context, Key<Key>, RET, ARGS>
 : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
 },
>
Change the implementation of an existing indirection.
Type Parameters
- U extends string
- RET
- ARGS extends any[]
Parameters
- patch: IndirDef<Context, U, RET, ARGS>
Returns IndirBuilder<
 Context,
 Names,
 {
 [Key in string]: Key extends U
 ? IndirDef<Context, Key<Key>, RET, ARGS>
 : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:56

typePatch

typePatch<Patch extends { [Key in string]?: [any] | [any, any] }>(): IndirBuilder<
 Context,
 Names,
 {
 [Key in string]: Key extends keyof Patch
 ? Patch[Key<Key>] extends [any, any]
 ? IndirDef<Context, Key<Key>, any[any][0], any[any][1]>
 : Patch[Key<Key>] extends [any]
 ? RuleDefs[Key<Key>] extends IndirDef<any, any, any, Par>
 ? IndirDef<Context, Key<Key>, any[any][0], Par>
 : never
 : never
 : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
 },
>
Type Parameters
- Patch extends { [Key in string]?: [any] | [any, any] }
Returns IndirBuilder<
 Context,
 Names,
 {
 [Key in string]: Key extends keyof Patch
 ? Patch[Key<Key>] extends [any, any]
 ? IndirDef<Context, Key<Key>, any[any][0], any[any][1]>
 : Patch[Key<Key>] extends [any]
 ? RuleDefs[Key<Key>] extends IndirDef<any, any, any, Par>
 ? IndirDef<Context, Key<Key>, any[any][0], Par>
 : never
 : never
 : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
 },
>
- Defined in indirection-builder/IndirBuilder.ts:41

widenContext

widenContext<NewContext>(): IndirBuilder<NewContext, Names, RuleDefs>
Type Parameters
- NewContext
Returns IndirBuilder<NewContext, Names, RuleDefs>
- Defined in indirection-builder/IndirBuilder.ts:37

`Static`create

create<Context, Names extends string, RuleDefs extends IndirectionMap<Names>>(
args: IndirBuilder<Context, Names, RuleDefs>,
): IndirBuilder<Context, Names, RuleDefs>
Type Parameters
- Context
- Names extends string
- RuleDefs extends IndirectionMap<Names>
Parameters
- args: IndirBuilder<Context, Names, RuleDefs>
Returns IndirBuilder<Context, Names, RuleDefs>
- Defined in indirection-builder/IndirBuilder.ts:8
create<
 Rules extends readonly IndirDef[] = readonly IndirDef[],
 Context = Rules[0] extends IndirDef<context> ? context : never,
 Names extends string = ParseNamesFromList<Rules>,
 RuleDefs extends IndirectionMap<Names> = ParseIndirsToObject<Rules>,
>(
 rules: Rules,
): IndirBuilder<Context, Names, RuleDefs>
Type Parameters
- Rules extends readonly IndirDef[] = readonly IndirDef[]
- Context = Rules[0] extends IndirDef<context> ? context : never
- Names extends string = ParseNamesFromList<Rules>
- RuleDefs extends IndirectionMap<Names> = ParseIndirsToObject<Rules>
Parameters
- rules: Rules
Returns IndirBuilder<Context, Names, RuleDefs>
- Defined in indirection-builder/IndirBuilder.ts:11

Class IndirBuilder<Context, Names, RuleDefs>

Type Parameters

Index

Methods

Methods

addMany

Type Parameters

Parameters

addRule

Type Parameters

Parameters

Returns IndirBuilder<
    Context,
    Names
    | U,
    {
        [K in string]: K extends U
            ? IndirDef<Context, K<K>, RET, ARGS>
            : K extends Names
                ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
                : never
    },
>

addRuleRedundant

Type Parameters

Parameters

Returns IndirBuilder<
    Context,
    Names
    | U,
    {
        [K in string]: K extends U
            ? IndirDef<Context, K<K>, RET, ARGS>
            : K extends Names
                ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
                : never
    },
>

build

Returns IndirectObjFromIndirDefs<Context, Names, RuleDefs>

deleteRule

Type Parameters

Parameters

Returns IndirBuilder<
    Context,
    Exclude<Names, U>,
    {
        [K in string]: RuleDefs[K] extends IndirDef<Context, K>
            ? any[any]
            : never
    },
>

patchRule

Type Parameters

Parameters

Returns IndirBuilder<
    Context,
    Names,
    {
        [Key in string]: Key extends U
            ? IndirDef<Context, Key<Key>, RET, ARGS>
            : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
    },
>

typePatch

Type Parameters

widenContext

Type Parameters

Returns IndirBuilder<NewContext, Names, RuleDefs>

`Static`create

Type Parameters

Parameters

Returns IndirBuilder<Context, Names, RuleDefs>

Type Parameters

Parameters

Returns IndirBuilder<Context, Names, RuleDefs>

Settings

On This Page

Class IndirBuilder<Context, Names, RuleDefs>

Type Parameters

Index

Methods

Methods

addMany

Type Parameters

Parameters

addRule

Type Parameters

Parameters

Returns IndirBuilder< Context, Names | U, { [K in string]: K extends U ? IndirDef<Context, K<K>, RET, ARGS> : K extends Names ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never : never },>

addRuleRedundant

Type Parameters

Parameters

Returns IndirBuilder< Context, Names | U, { [K in string]: K extends U ? IndirDef<Context, K<K>, RET, ARGS> : K extends Names ? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never : never },>

build

Returns IndirectObjFromIndirDefs<Context, Names, RuleDefs>

deleteRule

Type Parameters

Parameters

Returns IndirBuilder< Context, Exclude<Names, U>, { [K in string]: RuleDefs[K] extends IndirDef<Context, K> ? any[any] : never },>

patchRule

Type Parameters

Parameters

Returns IndirBuilder< Context, Names, { [Key in string]: Key extends U ? IndirDef<Context, Key<Key>, RET, ARGS> : RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never },>

typePatch

Type Parameters

widenContext

Type Parameters

Returns IndirBuilder<NewContext, Names, RuleDefs>

Staticcreate

Type Parameters

Parameters

Returns IndirBuilder<Context, Names, RuleDefs>

Type Parameters

Parameters

Returns IndirBuilder<Context, Names, RuleDefs>

Settings

On This Page

Returns IndirBuilder<
Context,
Names
| U,
{
[K in string]: K extends U
? IndirDef<Context, K<K>, RET, ARGS>
: K extends Names
? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
: never
},
>

Returns IndirBuilder<
Context,
Names
| U,
{
[K in string]: K extends U
? IndirDef<Context, K<K>, RET, ARGS>
: K extends Names
? RuleDefs[K<K>] extends IndirDef<Context, K<K>> ? any[any] : never
: never
},
>

Returns IndirBuilder<
Context,
Exclude<Names, U>,
{
[K in string]: RuleDefs[K] extends IndirDef<Context, K>
? any[any]
: never
},
>

Returns IndirBuilder<
Context,
Names,
{
[Key in string]: Key extends U
? IndirDef<Context, Key<Key>, RET, ARGS>
: RuleDefs[Key] extends IndirDef<Context, Key> ? any[any] : never
},
>

`Static`create