import type { CheckingError, Either, Fn, Option, Result } from '../../mod.js';
import * as z from 'zod';
/**
[zod文档](https://zod.dev/README_ZH)
zod是一个Schema验证库,用于弥补Ts在运行时不具有类型检查的缺陷,能实现全链路的类型安全
@category ext
*/
export * from 'zod';
/**
### `option`
@example
```ts
const option = z.option(z.string())
const res = option.safeParse(Some('jiojio'))
assert(res.success)
```
@category Ext - zod
 */
export declare const option: <S extends z.Schema>(value: S) => z.ZodEffects<z.ZodAny, Option<z.infer<S>>, Option<z.infer<S>>>;
/**
### `resule`
@example
```ts
const result = z.result(z.string(), z.number())
const res = result.safeParse(Ok('jiojio'))
assert(res.success)
```
@category Ext - zod
*/
export declare const result: <T extends z.Schema, E extends z.Schema>(ok: T, err: E) => z.ZodEffects<z.ZodAny, Result<z.infer<T>, z.infer<E>>, any>;
/**
### `either`
@example
```ts
const either = z.either(z.string(), z.number())
const res = either.safeParse(Left('jiojio'))
assert(res.success)
```
@category Ext - zod

*/
export declare const either: <L extends z.Schema, R extends z.Schema>(left: z.infer<L>, right: z.infer<R>) => z.ZodEffects<z.ZodAny, Either<z.infer<L>, z.infer<R>>, any>;
/**
### `symbol_value` : 具体的symbol值
@example Usage
```ts
const sym = Symbol('jiojio')
const pattern = z.symbol_value(sym)
const res = pattern.safeParse(sym).success
assert(res)
```
@category Ext - zod
 */
export declare const symbol_value: (sym: symbol) => z.ZodEffects<z.ZodAny, symbol, any>;
/**
### `rule` : 自定义校验规则
@example Usage
```ts
  const len_ten = zod.checking(
    zod.rule((data) => {
      if (Number(data) > 10) return Ok()
      return CheckingError.err('数据小于等于10,无法通过校验')
    }),
  )
  assert(len_ten(11).unwrap() === 11)
  assert(len_ten(9).unwrap_err().cause() === '数据小于等于10,无法通过校验')
```
@category Ext - zod
*/
export declare const rule: <V = unknown>(check: Fn<V, Result<void, CheckingError>>) => z.ZodEffects<z.ZodAny, any, any>;
//# sourceMappingURL=extend.d.ts.map