Brunobkr/llama.cpp_AlgMor24_github

1type _If<Test, Then, Else> = Test extends true ? Then : Else;2 3export type Features = {4  lookbehind?: boolean;5  namedGroups?: boolean;6  unicodePropertyEscape?: boolean;7  unicodeSet?: boolean;8  modifiers?: boolean;9};10 11export type AstNodeType =12  | "alternative"13  | "anchor"14  | "characterClass"15  | "characterClassEscape"16  | "characterClassRange"17  | "disjunction"18  | "dot"19  | "group"20  | "quantifier"21  | "reference"22  | "unicodePropertyEscape"23  | "value";24 25export type Base<T extends AstNodeType> = {26  range: [number, number];27  raw: string;28  type: T;29};30 31export type AstNode<F extends Features = {}> =32  | Alternative<F>33  | Anchor34  | CharacterClass<F>35  | CharacterClassEscape36  | CharacterClassRange37  | Disjunction<F>38  | Dot39  | Group<F>40  | Quantifier<F>41  | Reference<F>42  | _If<F["unicodePropertyEscape"], UnicodePropertyEscape, never>43  | Value;44 45export type RootNode<F extends Features = {}> = Exclude<46  AstNode<F>,47  CharacterClassRange48>;49 50export type Anchor = Base<"anchor"> & {51  kind: "boundary" | "end" | "not-boundary" | "start";52};53 54export type CharacterClassEscape = Base<"characterClassEscape"> & {55  value: 'd' | 'D' | 'w' | 'W' | 's' | 'S';56};57 58export type Value = Base<"value"> & {59  codePoint: number;60  kind:61    | "controlLetter"62    | "hexadecimalEscape"63    | "identifier"64    | "null"65    | "octal"66    | "singleEscape"67    | "symbol"68    | "unicodeCodePointEscape"69    | "unicodeEscape";70};71 72export type Identifier = Base<"value"> & {73  value: string;74};75 76export type Alternative<F extends Features = {}> = Base<"alternative"> & {77  body: RootNode<F>[];78};79 80export type CharacterClassRange = Base<"characterClassRange"> & {81  max: Value;82  min: Value;83};84 85export type UnicodePropertyEscape = Base<"unicodePropertyEscape"> & {86  negative: boolean;87  value: string;88};89 90export type CharacterClassBody =91  | CharacterClassEscape92  | CharacterClassRange93  | UnicodePropertyEscape94  | Value;95 96export type CharacterClass<F extends Features = {}> = Base<"characterClass"> & {97  body: CharacterClassBody[];98  negative: boolean;99  kind: "union" | _If<F["unicodeSet"], "intersection" | "subtraction", never>;100};101 102export type ModifierFlags = {103  enabling: string;104  disabling: string;105};106 107export type NonCapturingGroup<F extends Features = {}> = Base<"group"> &108  (109    | {110        behavior:111          | "lookahead"112          | "lookbehind"113          | "negativeLookahead"114          | "negativeLookbehind";115        body: RootNode<F>[];116      }117    | ({118        behavior: "ignore";119        body: RootNode<F>[];120      } & _If<121        F["modifiers"],122        {123          modifierFlags?: ModifierFlags;124        },125        {126          modifierFlags: undefined;127        }128      >)129  );130 131export type CapturingGroup<F extends Features = {}> = Base<"group"> & {132  behavior: "normal";133  body: RootNode<F>[];134} & _If<135    F["namedGroups"],136    {137      name?: Identifier;138    },139    {140      name: undefined;141    }142  >;143 144export type Group<F extends Features = {}> =145  | CapturingGroup<F>146  | NonCapturingGroup<F>;147 148export type Quantifier<F extends Features = {}> = Base<"quantifier"> & {149  body: [RootNode<F>];150  greedy: boolean;151  max?: number;152  min: number;153  symbol?: "?" | "*" | "+";154};155 156export type Disjunction<F extends Features = {}> = Base<"disjunction"> & {157  body: [RootNode<F>, RootNode<F>, ...RootNode<F>[]];158};159 160export type Dot = Base<"dot">;161 162export type NamedReference = Base<"reference"> & {163  matchIndex: undefined;164  name: Identifier;165};166 167export type IndexReference = Base<"reference"> & {168  matchIndex: number;169  name: undefined;170};171 172export type Reference<F extends Features = {}> = _If<173  F["namedGroups"],174  IndexReference | NamedReference,175  IndexReference176>;177 178export function parse<F extends Features = {}>(179  str: string,180  flags: string,181  features?: F182): RootNode<F>;183