import type { Result } from './types';
export declare const okIf: {
    <T, S extends T, F>(value: T, guard: (data: T) => data is S, fallback: F | ((value: Exclude<T, S>) => F)): Result<S, F>;
    <T, F>(value: T, predicate: (data: T) => boolean, fallback: F | ((value: T) => F)): Result<T, F>;
};
export declare const expect: {
    <T, S extends T, F>(guard: (data: T) => data is S, fallback: F | ((value: Exclude<T, S>) => F)): (value: T) => Result<S, F>;
    <T, F>(predicate: (data: T) => boolean, fallback: F | ((value: T) => F)): (value: T) => Result<T, F>;
};
export declare const expectExists: <E>(fallback: E | ((value: undefined | null) => E)) => <T>(value: T | undefined | null) => Result<T, E>;
export declare const okIfExists: <T, E>(value: T | undefined | null, fallback: E | ((value: undefined | null) => E)) => Result<T, E>;