import { Compare, Eq, Option, Range } from './core.js';
import { StatePreconditions, StateDefinition, StateLayout } from './state.js';
import { Bool } from '../../provable/bool.js';
import { Field } from '../../provable/field.js';
import { UInt32 } from '../../provable/int.js';
import { PublicKey } from '../../provable/crypto/signature.js';
import { HashInput } from '../../provable/types/provable-derivers.js';
import * as BindingsLayout from '../../../bindings/mina-transaction/gen/v2/js-layout.js';
import { MinaAmount } from './currency.js';
export { Preconditions, Precondition, PreconditionsDescription, EpochDataPreconditions, EpochLedgerPreconditions, };
declare namespace Precondition {
    class Equals<T extends Eq<T>> {
        isEnabled: Bool;
        value: T;
        constructor(isEnabled: Bool, value: T);
        toStringHuman(): string;
        toValue<D>(defaultValue: D): T | D;
        mapToValue<D, R>(defaultValue: D, f: (t: T) => R): R | D;
        toOption(): Option<T>;
        isSatisfied(x: T): Bool;
        static disabled<T extends Eq<T>>(defaultValue: T): Equals<T>;
        static equals<T extends Eq<T>>(value: T): Equals<T>;
        static fromOption<T extends Eq<T>>(option: Option<T>): Equals<T>;
        static from<T extends Eq<T>>(value: Equals<T> | T | undefined, defaultValue: T): Equals<T>;
    }
    class InRange<T extends Compare<T>> {
        isEnabled: Bool;
        lower: T;
        upper: T;
        constructor(isEnabled: Bool, lower: T, upper: T);
        toStringHuman(): string;
        toValue<D>(defaultValue: D): {
            lower: T;
            upper: T;
        } | D;
        mapToValue<D, R>(defaultValue: D, f: (t: T) => R): {
            lower: R;
            upper: R;
        } | D;
        toOption(): Option<Range<T>>;
        isSatisfied(x: T): Bool;
        static disabled<T extends Compare<T>>(defaultValue: T | {
            lower: T;
            upper: T;
        }): InRange<T>;
        static equals<T extends Compare<T>>(value: T): InRange<T>;
        static betweenInclusive<T extends Compare<T>>(lower: T, upper: T): InRange<T>;
        static fromOption<T extends Compare<T>>(option: Option<Range<T>>): InRange<T>;
        static from<T extends Compare<T>>(value: InRange<T> | T | undefined, defaultValue: T | {
            lower: T;
            upper: T;
        }): InRange<T>;
    }
}
type PreconditionsDescription<State extends StateLayout> = {
    network?: NetworkPreconditionsDescription | NetworkPreconditions;
    account?: AccountPreconditionsDescription<State> | AccountPreconditions<State>;
    validWhile?: UInt32 | Precondition.InRange<UInt32>;
};
declare class Preconditions<State extends StateLayout = 'GenericState'> {
    readonly network: NetworkPreconditions;
    readonly account: AccountPreconditions<State>;
    readonly validWhile: Precondition.InRange<UInt32>;
    constructor(State: StateDefinition<State>, descr?: PreconditionsDescription<State>);
    toGeneric(): Preconditions;
    static fromGeneric<State extends StateLayout>(x: Preconditions, State: StateDefinition<State>): Preconditions<State>;
    toInternalRepr(): BindingsLayout.Preconditions;
    static fromInternalRepr(x: BindingsLayout.Preconditions): Preconditions;
    toJSON(): any;
    toInput(): HashInput;
    toFields(): Field[];
    static sizeInFields(): number;
    static emptyPoly<State extends StateLayout>(State: StateDefinition<State>): Preconditions<State>;
    static empty(): Preconditions;
    static check<State extends StateLayout>(_x: Preconditions<State>): void;
    static toJSON<State extends StateLayout>(x: Preconditions<State>): any;
    static toInput<State extends StateLayout>(x: Preconditions<State>): HashInput;
    static toFields<State extends StateLayout>(x: Preconditions<State>): Field[];
    static fromFields(fields: Field[], aux: any[]): Preconditions;
    static toAuxiliary<State extends StateLayout>(x?: Preconditions<State>): any[];
    static toValue<State extends StateLayout>(x: Preconditions<State>): Preconditions<State>;
    static fromValue<State extends StateLayout>(x: Preconditions<State>): Preconditions<State>;
    static from<State extends StateLayout>(State: StateDefinition<State>, value: Preconditions<State> | PreconditionsDescription<State> | undefined): Preconditions<State>;
}
type EpochLedgerPreconditionsDescription = {
    hash?: Field | Precondition.Equals<Field>;
    totalCurrency?: MinaAmount | Precondition.InRange<MinaAmount>;
};
declare class EpochLedgerPreconditions {
    readonly hash: Precondition.Equals<Field>;
    readonly totalCurrency: Precondition.InRange<MinaAmount>;
    constructor(descr?: EpochLedgerPreconditionsDescription);
    toInternalRepr(): BindingsLayout.EpochLedgerPrecondition;
    static fromInternalRepr(x: BindingsLayout.EpochLedgerPrecondition): EpochLedgerPreconditions;
    toJSON(): any;
    toInput(): HashInput;
    toFields(): Field[];
    static sizeInFields(): number;
    static empty(): EpochLedgerPreconditions;
    static check(_x: EpochLedgerPreconditions): void;
    static toJSON(x: EpochLedgerPreconditions): any;
    static toInput(x: EpochLedgerPreconditions): HashInput;
    static toFields(x: EpochLedgerPreconditions): Field[];
    static fromFields(fields: Field[], aux: any[]): EpochLedgerPreconditions;
    static toAuxiliary(x?: EpochLedgerPreconditions): any[];
    static toValue(x: EpochLedgerPreconditions): EpochLedgerPreconditions;
    static fromValue(x: EpochLedgerPreconditions): EpochLedgerPreconditions;
    static from(value: EpochLedgerPreconditions | EpochLedgerPreconditionsDescription | undefined): EpochLedgerPreconditions;
}
type EpochDataPreconditionsDescription = {
    ledger?: EpochLedgerPreconditions | EpochLedgerPreconditionsDescription;
    seed?: Field | Precondition.Equals<Field>;
    startCheckpoint?: Field | Precondition.Equals<Field>;
    lockCheckpoint?: Field | Precondition.Equals<Field>;
    epochLength?: UInt32 | Precondition.InRange<UInt32>;
};
declare class EpochDataPreconditions {
    readonly ledger: EpochLedgerPreconditions;
    readonly seed: Precondition.Equals<Field>;
    readonly startCheckpoint: Precondition.Equals<Field>;
    readonly lockCheckpoint: Precondition.Equals<Field>;
    readonly epochLength: Precondition.InRange<UInt32>;
    constructor(descr?: EpochDataPreconditionsDescription);
    toInternalRepr(): BindingsLayout.EpochDataPrecondition;
    static fromInternalRepr(x: BindingsLayout.EpochDataPrecondition): EpochDataPreconditions;
    toJSON(): any;
    toInput(): HashInput;
    toFields(): Field[];
    static sizeInFields(): number;
    static empty(): EpochDataPreconditions;
    static check(_x: EpochDataPreconditions): void;
    static toJSON(x: EpochDataPreconditions): any;
    static toInput(x: EpochDataPreconditions): HashInput;
    static toFields(x: EpochDataPreconditions): Field[];
    static fromFields(fields: Field[], aux: any[]): EpochDataPreconditions;
    static toAuxiliary(x?: EpochDataPreconditions): any[];
    static toValue(x: EpochDataPreconditions): EpochDataPreconditions;
    static fromValue(x: EpochDataPreconditions): EpochDataPreconditions;
    static from(value: EpochDataPreconditions | EpochDataPreconditionsDescription | undefined): EpochDataPreconditions;
}
type NetworkPreconditionsDescription = {
    snarkedLedgerHash?: Field | Precondition.Equals<Field>;
    blockchainLength?: UInt32 | Precondition.InRange<UInt32>;
    minWindowDensity?: UInt32 | Precondition.InRange<UInt32>;
    totalCurrency?: MinaAmount | Precondition.InRange<MinaAmount>;
    globalSlotSinceGenesis?: UInt32 | Precondition.InRange<UInt32>;
    stakingEpochData?: EpochDataPreconditions | EpochDataPreconditionsDescription;
    nextEpochData?: EpochDataPreconditions | EpochDataPreconditionsDescription;
};
declare class NetworkPreconditions {
    readonly snarkedLedgerHash: Precondition.Equals<Field>;
    readonly blockchainLength: Precondition.InRange<UInt32>;
    readonly minWindowDensity: Precondition.InRange<UInt32>;
    readonly totalCurrency: Precondition.InRange<MinaAmount>;
    readonly globalSlotSinceGenesis: Precondition.InRange<UInt32>;
    readonly stakingEpochData: EpochDataPreconditions;
    readonly nextEpochData: EpochDataPreconditions;
    constructor(descr?: NetworkPreconditionsDescription);
    toInternalRepr(): BindingsLayout.NetworkPrecondition;
    static fromInternalRepr(x: BindingsLayout.NetworkPrecondition): NetworkPreconditions;
    static empty(): NetworkPreconditions;
    toJSON(): any;
    toInput(): HashInput;
    toFields(): Field[];
    static sizeInFields(): number;
    static check(_x: NetworkPreconditions): void;
    static toJSON(x: NetworkPreconditions): any;
    static toInput(x: NetworkPreconditions): HashInput;
    static toFields(x: NetworkPreconditions): Field[];
    static fromFields(fields: Field[], aux: any[]): NetworkPreconditions;
    static toAuxiliary(x?: NetworkPreconditions): any[];
    static toValue(x: NetworkPreconditions): NetworkPreconditions;
    static fromValue(x: NetworkPreconditions): NetworkPreconditions;
    static from(value: NetworkPreconditions | NetworkPreconditionsDescription | undefined): NetworkPreconditions;
}
type AccountPreconditionsDescription<State extends StateLayout> = {
    balance?: MinaAmount | Precondition.InRange<MinaAmount>;
    nonce?: UInt32 | Precondition.InRange<UInt32>;
    receiptChainHash?: Field | Precondition.Equals<Field>;
    delegate?: PublicKey | Precondition.Equals<PublicKey>;
    state?: StatePreconditions<State>;
    actionState?: Field | Precondition.Equals<Field>;
    isProven?: Bool | Precondition.Equals<Bool>;
    isNew?: Bool | Precondition.Equals<Bool>;
};
declare class AccountPreconditions<State extends StateLayout = 'GenericState'> {
    readonly State: StateDefinition<State>;
    readonly balance: Precondition.InRange<MinaAmount>;
    readonly nonce: Precondition.InRange<UInt32>;
    readonly receiptChainHash: Precondition.Equals<Field>;
    readonly delegate: Precondition.Equals<PublicKey>;
    readonly state: StatePreconditions<State>;
    readonly actionState: Precondition.Equals<Field>;
    readonly isProven: Precondition.Equals<Bool>;
    readonly isNew: Precondition.Equals<Bool>;
    constructor(State: StateDefinition<State>, descr?: AccountPreconditionsDescription<State>);
    toGeneric(): AccountPreconditions;
    static fromGeneric<State extends StateLayout>(x: AccountPreconditions, State: StateDefinition<State>): AccountPreconditions<State>;
    toInternalRepr(): BindingsLayout.AccountPrecondition;
    static fromInternalRepr(x: BindingsLayout.AccountPrecondition): AccountPreconditions;
    toJSON(): any;
    toInput(): HashInput;
    toFields(): Field[];
    static generic(descr?: AccountPreconditionsDescription<'GenericState'>): AccountPreconditions;
    static sizeInFields(): number;
    static emptyPoly<State extends StateLayout>(State: StateDefinition<State>): AccountPreconditions<State>;
    static empty(): AccountPreconditions;
    static check<State extends StateLayout>(_x: AccountPreconditions<State>): void;
    static toJSON<State extends StateLayout>(x: AccountPreconditions<State>): any;
    static toInput<State extends StateLayout>(x: AccountPreconditions<State>): HashInput;
    static toFields<State extends StateLayout>(x: AccountPreconditions<State>): Field[];
    static fromFields(fields: Field[], aux: any[]): AccountPreconditions;
    static toAuxiliary<State extends StateLayout>(x?: AccountPreconditions<State>): any[];
    static toValue<State extends StateLayout>(x: AccountPreconditions<State>): AccountPreconditions<State>;
    static fromValue<State extends StateLayout>(x: AccountPreconditions<State>): AccountPreconditions<State>;
    static from<State extends StateLayout>(State: StateDefinition<State>, value: AccountPreconditions<State> | AccountPreconditionsDescription<State> | undefined): AccountPreconditions<State>;
}