import type { Expand, IdField, SystemFields as NonIdSystemFields } from "convex/server";
import * as Schema from "effect/Schema";
import * as GenericId from "./GenericId";
type SystemFieldsSchema<TableName extends string> = Schema.Struct<{
    _id: Schema.Schema<GenericId.GenericId<TableName>, GenericId.GenericId<TableName>, never>;
    _creationTime: typeof Schema.Number;
}>;
/**
 * Produces a schema for Convex system fields.
 */
export declare const SystemFields: <TableName extends string>(tableName: TableName) => SystemFieldsSchema<TableName>;
/**
 * Extend a table schema with Convex system fields.
 */
export declare const extendWithSystemFields: <TableName extends string, TableSchema extends Schema.Schema.AnyNoContext>(tableName: TableName, schema: TableSchema) => ExtendWithSystemFields<TableName, TableSchema>;
/**
 * Extend a table schema with Convex system fields at the type level.
 */
export type ExtendWithSystemFields<TableName extends string, TableSchema extends Schema.Schema.AnyNoContext> = Schema.extend<SystemFieldsSchema<TableName>, TableSchema>;
export type WithSystemFields<TableName extends string, Document> = Expand<Readonly<IdField<TableName>> & Readonly<NonIdSystemFields> & Document>;
export {};
//# sourceMappingURL=SystemFields.d.ts.map