Class GeneratorBuilder<Context, Names, RuleDefs>

Type Parameters

Context
Names extends string
RuleDefs extends GenRuleMap<Names>

Index

Methods

addMany addRule addRuleRedundant build deleteRule getRule merge patchRule typePatch widenContext create

Methods

addMany

addMany[]>(
 ...rules: CheckOverlap<ParseNamesFromList, Names, U>,
): GeneratorBuilder<
 Context,
 Names
 | ParseNamesFromList,
 {
 [K in string]: K extends keyof GenRulesToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >
 ? GenRulesToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : never
 },
>
Type Parameters
- U extends readonly GeneratorRule<Context>[]
Parameters
- ...rules: CheckOverlap<ParseNamesFromList, Names, U>
Returns GeneratorBuilder<
 Context,
 Names
 | ParseNamesFromList,
 {
 [K in string]: K extends keyof GenRulesToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >
 ? GenRulesToObject<
 CheckOverlap<ParseNamesFromList, Names, U, never>,
 ParseNamesFromList<CheckOverlap<ParseNamesFromList, Names, U, never>>,
 Record<never, never>,
 >[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : never
 },
>
- Defined in generator-builder/generatorBuilder.ts:124

addRule

addRule(
 rule: CheckOverlap<U, Names, GeneratorRule<Context, U, RET, ARGS>>,
): GeneratorBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends U ? GeneratorRule<Context, K<K>, RET, ARGS> : 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, GeneratorRule<Context, U, RET, ARGS>>
Returns GeneratorBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends U ? GeneratorRule<Context, K<K>, RET, ARGS> : never
 },
>
- Defined in generator-builder/generatorBuilder.ts:115

addRuleRedundant

addRuleRedundant(
 rule: GeneratorRule<Context, U, RET, ARGS>,
): GeneratorBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends U ? GeneratorRule<Context, K<K>, RET, ARGS> : never
 },
>
Add a rule to the grammar. 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: GeneratorRule<Context, U, RET, ARGS>
Returns GeneratorBuilder<
 Context,
 Names
 | U,
 {
 [K in string]: K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends U ? GeneratorRule<Context, K<K>, RET, ARGS> : never
 },
>
- Defined in generator-builder/generatorBuilder.ts:95

build

build(): GeneratorFromRules<Context, Names, RuleDefs>
Returns GeneratorFromRules<Context, Names, RuleDefs>
- Defined in generator-builder/generatorBuilder.ts:214

deleteRule

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

getRule

getRule(
 ruleName: U,
): RuleDefs[U] extends GeneratorRule<any, U, RT, PT>
 ? GeneratorRule<Context, U, RT, PT>
 : never
Type Parameters
- U extends string
Parameters
- ruleName: U
Returns RuleDefs[U] extends GeneratorRule<any, U, RT, PT>
? GeneratorRule<Context, U, RT, PT>
: never
- Defined in generator-builder/generatorBuilder.ts:153

merge

merge<
 OtherNames extends string,
 OtherRules extends GenRuleMap<OtherNames>,
 OW extends readonly GeneratorRule<Context>[],
>(
 GeneratorBuilder: GeneratorBuilder<Context, OtherNames, OtherRules>,
 overridingRules: OW,
): GeneratorBuilder<
 Context,
 Names
 | OtherNames
 | ParseNamesFromList<OW>,
 {
 [K in string]: K extends keyof GenRulesToObject<OW>
 ? GenRulesToObject<OW>[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends OtherNames
 ? OtherRules[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : never
 },
>
Merge this grammar GeneratorBuilder with another. It is best to merge the bigger grammar with the smaller one. If the two builders both have a grammar rule with the same name, no error will be thrown case they map to the same ruledef object. If they map to a different object, an error will be thrown. To fix this problem, the overridingRules array should contain a rule with the same conflicting name, this rule implementation will be used.
Type Parameters
- OtherNames extends string
- OtherRules extends GenRuleMap<OtherNames>
- OW extends readonly GeneratorRule<Context>[]
Parameters
- GeneratorBuilder: GeneratorBuilder<Context, OtherNames, OtherRules>
- overridingRules: OW
Returns GeneratorBuilder<
 Context,
 Names
 | OtherNames
 | ParseNamesFromList<OW>,
 {
 [K in string]: K extends keyof GenRulesToObject<OW>
 ? GenRulesToObject<OW>[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends Names
 ? RuleDefs[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : K extends OtherNames
 ? OtherRules[K<K>] extends GeneratorRule<Context, K<K>>
 ? any[any]
 : never
 : never
 },
>
- Defined in generator-builder/generatorBuilder.ts:167

patchRule

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

typePatch

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

widenContext

widenContext<NewContext>(): GeneratorBuilder<
 NewContext,
 Names,
 {
 [Key in string
 | number
 | symbol]: Key extends Names
 ? RuleDefs[Key<Key>] extends GeneratorRule<any, any, RT, PT>
 ? GeneratorRule<NewContext, Key<Key>, RT, PT>
 : never
 : never
 },
>
Type Parameters
- NewContext
Returns GeneratorBuilder<
 NewContext,
 Names,
 {
 [Key in string
 | number
 | symbol]: Key extends Names
 ? RuleDefs[Key<Key>] extends GeneratorRule<any, any, RT, PT>
 ? GeneratorRule<NewContext, Key<Key>, RT, PT>
 : never
 : never
 },
>
- Defined in generator-builder/generatorBuilder.ts:52

`Static`create

create<Context, Names extends string, RuleDefs extends GenRuleMap<Names>>(
args: GeneratorBuilder<Context, Names, RuleDefs>,
): GeneratorBuilder<Context, Names, RuleDefs>
Create a GeneratorBuilder from some initial grammar rules or an existing GeneratorBuilder. If a GeneratorBuilder is provided, a new copy will be created.
Type Parameters
- Context
- Names extends string
- RuleDefs extends GenRuleMap<Names>
Parameters
- args: GeneratorBuilder<Context, Names, RuleDefs>
Returns GeneratorBuilder<Context, Names, RuleDefs>
- Defined in generator-builder/generatorBuilder.ts:23
create<
 Rules extends readonly GeneratorRule[] = readonly GeneratorRule[],
 Context = Rules[0] extends GeneratorRule<context> ? context : never,
 Names extends string = ParseNamesFromList<Rules>,
 RuleDefs extends GenRuleMap<Names> = GenRulesToObject<Rules>,
>(
 rules: Rules,
): GeneratorBuilder<Context, Names, RuleDefs>
Create a GeneratorBuilder from some initial grammar rules or an existing GeneratorBuilder. If a GeneratorBuilder is provided, a new copy will be created.
Type Parameters
- Rules extends readonly GeneratorRule[] = readonly GeneratorRule[]
- Context = Rules[0] extends GeneratorRule<context> ? context : never
- Names extends string = ParseNamesFromList<Rules>
- RuleDefs extends GenRuleMap<Names> = GenRulesToObject<Rules>
Parameters
- rules: Rules
Returns GeneratorBuilder<Context, Names, RuleDefs>
- Defined in generator-builder/generatorBuilder.ts:26

Class GeneratorBuilder<Context, Names, RuleDefs>

Type Parameters

Index

Methods

Methods

addMany

Type Parameters

Parameters

addRule

Type Parameters

Parameters

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

addRuleRedundant

Type Parameters

Parameters

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

build

Returns GeneratorFromRules<Context, Names, RuleDefs>

deleteRule

Type Parameters

Parameters

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

getRule

Type Parameters

Parameters

Returns RuleDefs[U] extends GeneratorRule<any, U, RT, PT> ? GeneratorRule<Context, U, RT, PT> : never

merge

Type Parameters

Parameters

patchRule

Type Parameters

Parameters

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

typePatch

Type Parameters

widenContext

Type Parameters

Returns GeneratorBuilder< NewContext, Names, { [Key in string | number | symbol]: Key extends Names ? RuleDefs[Key<Key>] extends GeneratorRule<any, any, RT, PT> ? GeneratorRule<NewContext, Key<Key>, RT, PT> : never : never },>

Staticcreate

Type Parameters

Parameters

Returns GeneratorBuilder<Context, Names, RuleDefs>

Type Parameters

Parameters

Returns GeneratorBuilder<Context, Names, RuleDefs>

Settings

On This Page

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

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

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

Returns RuleDefs[U] extends GeneratorRule<any, U, RT, PT>
? GeneratorRule<Context, U, RT, PT>
: never

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

Returns GeneratorBuilder<
NewContext,
Names,
{
[Key in string
| number
| symbol]: Key extends Names
? RuleDefs[Key<Key>] extends GeneratorRule<any, any, RT, PT>
? GeneratorRule<NewContext, Key<Key>, RT, PT>
: never
: never
},
>

`Static`create