import { TypeToFields } from "../data";
import { BooleanType, CollectionType, DictType, EastFunction, EastType, StringType, StructType, Variable } from "../east";
/** @internal */
export type Assertion<T extends EastType = EastType> = {
    assertion_type: 'Log' | 'Warn' | 'Fail';
    value_type: T extends CollectionType ? 'Value' | 'None' | 'Every' : 'Value' | 'None';
    if: EastFunction<BooleanType>;
    message: EastFunction<StringType>;
};
/** @internal */
export type AssertionConfig<T extends EastType, Inputs extends Record<string, Variable>> = (T extends DictType<StringType, StructType> ? {
    assertion_type: 'Log' | 'Warn' | 'Fail';
    value_type: 'Every';
    if: (fields: TypeToFields<T>, key: Variable<StringType>, inputs: Inputs) => EastFunction<BooleanType>;
    message: ((fields: TypeToFields<T>, key: Variable<StringType>, inputs: Inputs) => EastFunction<StringType>) | string;
} : never) | {
    assertion_type: 'Log' | 'Warn' | 'Fail';
    value_type: 'Value';
    if: (value: Variable<T>, inputs: Inputs) => EastFunction<BooleanType>;
    message: ((value: Variable<T>, inputs: Inputs) => EastFunction<StringType>) | string;
};
/** @internal */
export declare function Assertion<T extends EastType, Inputs extends Record<string, Variable>>(config: AssertionConfig<T, Inputs>, stream_type: T, inputs: Inputs, getField?: boolean): Assertion<T>;