import { Result } from './types';
export declare const str_check: <Value>(_: Value) => import("literium-base/result").Result<string, string>;
export declare const num_check: <Value>(_: Value) => import("literium-base/result").Result<number, string>;
export declare const bin_check: <Value>(_: Value) => import("literium-base/result").Result<boolean, string>;
export declare const fin_check: (_: {}) => import("literium-base/result").Result<number, string>;
export declare const then_pos_check: (res: import("literium-base/result").Result<number, string>) => import("literium-base/result").Result<number, string>;
export declare const pos_check: (_: {}) => import("literium-base/result").Result<number, string>;
export declare const neg_check: (_: {}) => import("literium-base/result").Result<number, string>;
export declare const int_check: (_: {}) => import("literium-base/result").Result<number, string>;
export declare const nat_check: (_: {}) => import("literium-base/result").Result<number, string>;
export declare function re_check(re: RegExp, cause?: string): (s: string) => Result<string>;
export declare function len_check(min: number, max: number): <T extends ArrayLike<any>>(v: T) => Result<T>;