import { ApplicationSpec } from '../runtime/loader.js';
import { Module } from '../runtime/module.js';
import { ModuleDefinition } from '../language/generated/ast.js';
import { z } from 'zod';
export type GenerateOptions = {
    destination?: string;
};
declare const ConfigSchema: z.ZodObject<{
    service: z.ZodDefault<z.ZodObject<{
        port: z.ZodNumber;
    }, "strip", z.ZodTypeAny, {
        port: number;
    }, {
        port: number;
    }>>;
    store: z.ZodOptional<z.ZodDiscriminatedUnion<"type", [z.ZodObject<{
        type: z.ZodLiteral<"postgres">;
        host: z.ZodDefault<z.ZodString>;
        username: z.ZodDefault<z.ZodString>;
        password: z.ZodDefault<z.ZodString>;
        dbname: z.ZodDefault<z.ZodString>;
        port: z.ZodDefault<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        type: "postgres";
        password: string;
        port: number;
        host: string;
        username: string;
        dbname: string;
    }, {
        type: "postgres";
        password?: string | undefined;
        port?: number | undefined;
        host?: string | undefined;
        username?: string | undefined;
        dbname?: string | undefined;
    }>, z.ZodObject<{
        type: z.ZodLiteral<"mysql">;
        host: z.ZodDefault<z.ZodString>;
        username: z.ZodDefault<z.ZodString>;
        password: z.ZodDefault<z.ZodString>;
        dbname: z.ZodDefault<z.ZodString>;
        port: z.ZodDefault<z.ZodNumber>;
    }, "strip", z.ZodTypeAny, {
        type: "mysql";
        password: string;
        port: number;
        host: string;
        username: string;
        dbname: string;
    }, {
        type: "mysql";
        password?: string | undefined;
        port?: number | undefined;
        host?: string | undefined;
        username?: string | undefined;
        dbname?: string | undefined;
    }>, z.ZodObject<{
        type: z.ZodLiteral<"sqlite">;
        dbname: z.ZodOptional<z.ZodString>;
    }, "strip", z.ZodTypeAny, {
        type: "sqlite";
        dbname?: string | undefined;
    }, {
        type: "sqlite";
        dbname?: string | undefined;
    }>]>>;
    graphql: z.ZodOptional<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        enabled: boolean;
    }, {
        enabled?: boolean | undefined;
    }>>;
    rbacEnabled: z.ZodOptional<z.ZodBoolean>;
    auditTrail: z.ZodOptional<z.ZodObject<{
        enabled: z.ZodDefault<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        enabled: boolean;
    }, {
        enabled?: boolean | undefined;
    }>>;
    authentication: z.ZodOptional<z.ZodDiscriminatedUnion<"service", [z.ZodObject<{
        service: z.ZodLiteral<"okta">;
        superuserEmail: z.ZodString;
        domain: z.ZodString;
        cookieDomain: z.ZodOptional<z.ZodString>;
        authServer: z.ZodDefault<z.ZodString>;
        clientSecret: z.ZodString;
        apiToken: z.ZodString;
        scope: z.ZodDefault<z.ZodString>;
        cookieTtlMs: z.ZodDefault<z.ZodNumber>;
        introspect: z.ZodDefault<z.ZodBoolean>;
        authorizeRedirectUrl: z.ZodString;
        clientUrl: z.ZodString;
        roleClaim: z.ZodDefault<z.ZodString>;
        defaultRole: z.ZodDefault<z.ZodString>;
        clientId: z.ZodString;
    }, "strip", z.ZodTypeAny, {
        clientId: string;
        scope: string;
        service: "okta";
        superuserEmail: string;
        domain: string;
        authServer: string;
        clientSecret: string;
        apiToken: string;
        cookieTtlMs: number;
        introspect: boolean;
        authorizeRedirectUrl: string;
        clientUrl: string;
        roleClaim: string;
        defaultRole: string;
        cookieDomain?: string | undefined;
    }, {
        clientId: string;
        service: "okta";
        superuserEmail: string;
        domain: string;
        clientSecret: string;
        apiToken: string;
        authorizeRedirectUrl: string;
        clientUrl: string;
        scope?: string | undefined;
        cookieDomain?: string | undefined;
        authServer?: string | undefined;
        cookieTtlMs?: number | undefined;
        introspect?: boolean | undefined;
        roleClaim?: string | undefined;
        defaultRole?: string | undefined;
    }>, z.ZodObject<{
        service: z.ZodLiteral<"cognito">;
        superuserEmail: z.ZodString;
        superuserPassword: z.ZodOptional<z.ZodString>;
        isIdentityStore: z.ZodDefault<z.ZodBoolean>;
        userPoolId: z.ZodString;
        clientId: z.ZodString;
        whitelistEnabled: z.ZodDefault<z.ZodBoolean>;
        disableUserSessions: z.ZodDefault<z.ZodBoolean>;
    }, "strip", z.ZodTypeAny, {
        clientId: string;
        userPoolId: string;
        service: "cognito";
        superuserEmail: string;
        isIdentityStore: boolean;
        whitelistEnabled: boolean;
        disableUserSessions: boolean;
        superuserPassword?: string | undefined;
    }, {
        clientId: string;
        userPoolId: string;
        service: "cognito";
        superuserEmail: string;
        superuserPassword?: string | undefined;
        isIdentityStore?: boolean | undefined;
        whitelistEnabled?: boolean | undefined;
        disableUserSessions?: boolean | undefined;
    }>]>>;
}, "strip", z.ZodTypeAny, {
    service: {
        port: number;
    };
    store?: {
        type: "postgres";
        password: string;
        port: number;
        host: string;
        username: string;
        dbname: string;
    } | {
        type: "mysql";
        password: string;
        port: number;
        host: string;
        username: string;
        dbname: string;
    } | {
        type: "sqlite";
        dbname?: string | undefined;
    } | undefined;
    graphql?: {
        enabled: boolean;
    } | undefined;
    rbacEnabled?: boolean | undefined;
    auditTrail?: {
        enabled: boolean;
    } | undefined;
    authentication?: {
        clientId: string;
        scope: string;
        service: "okta";
        superuserEmail: string;
        domain: string;
        authServer: string;
        clientSecret: string;
        apiToken: string;
        cookieTtlMs: number;
        introspect: boolean;
        authorizeRedirectUrl: string;
        clientUrl: string;
        roleClaim: string;
        defaultRole: string;
        cookieDomain?: string | undefined;
    } | {
        clientId: string;
        userPoolId: string;
        service: "cognito";
        superuserEmail: string;
        isIdentityStore: boolean;
        whitelistEnabled: boolean;
        disableUserSessions: boolean;
        superuserPassword?: string | undefined;
    } | undefined;
}, {
    store?: {
        type: "postgres";
        password?: string | undefined;
        port?: number | undefined;
        host?: string | undefined;
        username?: string | undefined;
        dbname?: string | undefined;
    } | {
        type: "mysql";
        password?: string | undefined;
        port?: number | undefined;
        host?: string | undefined;
        username?: string | undefined;
        dbname?: string | undefined;
    } | {
        type: "sqlite";
        dbname?: string | undefined;
    } | undefined;
    service?: {
        port: number;
    } | undefined;
    graphql?: {
        enabled?: boolean | undefined;
    } | undefined;
    rbacEnabled?: boolean | undefined;
    auditTrail?: {
        enabled?: boolean | undefined;
    } | undefined;
    authentication?: {
        clientId: string;
        service: "okta";
        superuserEmail: string;
        domain: string;
        clientSecret: string;
        apiToken: string;
        authorizeRedirectUrl: string;
        clientUrl: string;
        scope?: string | undefined;
        cookieDomain?: string | undefined;
        authServer?: string | undefined;
        cookieTtlMs?: number | undefined;
        introspect?: boolean | undefined;
        roleClaim?: string | undefined;
        defaultRole?: string | undefined;
    } | {
        clientId: string;
        userPoolId: string;
        service: "cognito";
        superuserEmail: string;
        superuserPassword?: string | undefined;
        isIdentityStore?: boolean | undefined;
        whitelistEnabled?: boolean | undefined;
        disableUserSessions?: boolean | undefined;
    } | undefined;
}>;
type Config = z.infer<typeof ConfigSchema>;
export default function (): void;
/**
 * Parse and validate a program written in our language.
 * Verifies that no lexer or parser errors occur.
 * Implicitly also checks for validation errors while extracting the document
 *
 * @param fileName Program to validate
 */
export declare const parseAndValidate: (fileName: string) => Promise<void>;
export declare function runPreInitTasks(): Promise<boolean>;
export declare function runPostInitTasks(appSpec?: ApplicationSpec, config?: Config): Promise<void>;
export declare const runModule: (fileName: string, options?: {
    config?: string;
}) => Promise<void>;
export declare const generateDoc: (fileName: string) => Promise<void>;
export declare function internAndRunModule(module: ModuleDefinition, appSpec?: ApplicationSpec): Promise<Module>;
export {};
//# sourceMappingURL=main.d.ts.map