diff options
author | Nate Sesti <sestinj@gmail.com> | 2023-05-27 15:58:34 -0400 |
---|---|---|
committer | Nate Sesti <sestinj@gmail.com> | 2023-05-27 15:58:34 -0400 |
commit | 04e0ebd6ef7c3ba15d8210f5e6c879db2894ed03 (patch) | |
tree | 6a716c26a1db5299fa058b51371a3bd2d6064ab9 /extension/schema | |
parent | 657b185c5d40baa99c87feee06e04f0732d85cc0 (diff) | |
download | sncontinue-04e0ebd6ef7c3ba15d8210f5e6c879db2894ed03.tar.gz sncontinue-04e0ebd6ef7c3ba15d8210f5e6c879db2894ed03.tar.bz2 sncontinue-04e0ebd6ef7c3ba15d8210f5e6c879db2894ed03.zip |
Added History classes for JSON Schema generation
Diffstat (limited to 'extension/schema')
-rw-r--r-- | extension/schema/History.d.ts | 41 | ||||
-rw-r--r-- | extension/schema/HistoryNode.d.ts | 31 |
2 files changed, 72 insertions, 0 deletions
diff --git a/extension/schema/History.d.ts b/extension/schema/History.d.ts new file mode 100644 index 00000000..508deaf0 --- /dev/null +++ b/extension/schema/History.d.ts @@ -0,0 +1,41 @@ +/* eslint-disable */ +/** + * This file was automatically generated by json-schema-to-typescript. + * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file, + * and run json-schema-to-typescript to regenerate this file. + */ + +export type History = History1; +export type Name = string; +export type Hide = boolean; +export type SystemMessage = string; +export type Depth = number; +export type Timeline = HistoryNode[]; +export type CurrentIndex = number; + +/** + * A history of steps taken and their results + */ +export interface History1 { + timeline: Timeline; + current_index: CurrentIndex; + [k: string]: unknown; +} +/** + * A point in history, a list of which make up History + */ +export interface HistoryNode { + step: Step; + observation?: Observation; + depth: Depth; + [k: string]: unknown; +} +export interface Step { + name?: Name; + hide?: Hide; + system_message?: SystemMessage; + [k: string]: unknown; +} +export interface Observation { + [k: string]: unknown; +} diff --git a/extension/schema/HistoryNode.d.ts b/extension/schema/HistoryNode.d.ts new file mode 100644 index 00000000..c1507270 --- /dev/null +++ b/extension/schema/HistoryNode.d.ts @@ -0,0 +1,31 @@ +/* eslint-disable */ +/** + * This file was automatically generated by json-schema-to-typescript. + * DO NOT MODIFY IT BY HAND. Instead, modify the source JSONSchema file, + * and run json-schema-to-typescript to regenerate this file. + */ + +export type HistoryNode = HistoryNode1; +export type Name = string; +export type Hide = boolean; +export type SystemMessage = string; +export type Depth = number; + +/** + * A point in history, a list of which make up History + */ +export interface HistoryNode1 { + step: Step; + observation?: Observation; + depth: Depth; + [k: string]: unknown; +} +export interface Step { + name?: Name; + hide?: Hide; + system_message?: SystemMessage; + [k: string]: unknown; +} +export interface Observation { + [k: string]: unknown; +} |