import { type z } from "https://deno.land/x/zod@v3.22.1/index.ts";
const { RefinementEffect } = z;
definition: { type: "refinement"; refinement: (arg: T, ctx: RefinementCtx) => any; }
Module
x/zod/index.ts>z.RefinementEffect
TypeScript-first schema validation with static type inference
Extremely Popular
benchmarkshelperslocalesobjectUtilutilzParseStatusSchemaZodAnyZodArrayZodBigIntZodBooleanZodBrandedZodCatchZodDateZodDefaultZodDiscriminatedUnionZodEffectsZodEnumZodErrorZodFunctionZodIntersectionZodLazyZodLiteralZodMapZodNaNZodNativeEnumZodNeverZodNullZodNullableZodNumberZodObjectZodOptionalZodPipelineZodPromiseZodReadonlyZodRecordZodSchemaZodSetZodStringZodSymbolZodTransformerZodTupleZodTypeZodUndefinedZodUnionZodUnknownZodVoidParseContextParseResultZodAnyDefZodArrayDefZodBigIntDefZodBooleanDefZodBrandedDefZodCatchDefZodCustomIssueZodDateDefZodDefaultDefZodDiscriminatedUnionDefZodEffectsDefZodEnumDefZodFunctionDefZodIntersectionDefZodInvalidArgumentsIssueZodInvalidDateIssueZodInvalidEnumValueIssueZodInvalidIntersectionTypesIssueZodInvalidLiteralIssueZodInvalidReturnTypeIssueZodInvalidStringIssueZodInvalidTypeIssueZodInvalidUnionDiscriminatorIssueZodInvalidUnionIssueZodLazyDefZodLiteralDefZodMapDefZodNaNDefZodNativeEnumDefZodNeverDefZodNotFiniteIssueZodNotMultipleOfIssueZodNullableDefZodNullDefZodNumberDefZodObjectDefZodOptionalDefZodPipelineDefZodPromiseDefZodReadonlyDefZodRecordDefZodSetDefZodStringDefZodSymbolDefZodTooBigIssueZodTooSmallIssueZodTupleDefZodTypeDefZodUndefinedDefZodUnionDefZodUnknownDefZodUnrecognizedKeysIssueZodVoidDefAnyZodObjectAnyZodTupleArrayCardinalityArrayKeysarrayOutputTypeAssertArrayAsyncParseReturnTypebaseObjectInputTypebaseObjectOutputTypeBRANDCatchallInputCatchallOutputCustomErrorParamsDenormalizedErrordeoptionalDIRTYEffectEnumLikeEnumValuesErrorMapCtxFilterEnumIndicesinferinferFlattenedErrorsinferFormattedErrorInnerTypeOfFunctioninputInputTypeOfTupleInputTypeOfTupleWithRestINVALIDIpVersionIssueDataKeySchemamergeTypesnoUnrecognizedobjectInputTypeobjectOutputTypeObjectPairOKOuterTypeOfFunctionoutputOutputTypeOfTupleOutputTypeOfTupleWithRestParseInputParseParamsParsePathParsePathComponentParseReturnTypePassthroughTypePreprocessEffectPrimitiveProcessedCreateParamsRawCreateParamsRecordTypeRefinementRefinementCtxRefinementEffectSafeParseErrorSafeParseReturnTypeSafeParseSuccessScalarsSomeZodObjectStringValidationSuperRefinementSyncParseReturnTypeTransformEffecttypecastTypeOftypeToFlattenedErrorUnknownKeysParamValuesWriteableZodBigIntCheckZodDateCheckZodDiscriminatedUnionOptionZodErrorMapZodFirstPartySchemaTypesZodFormattedErrorZodIssueZodIssueBaseZodIssueCodeZodIssueOptionalMessageZodNonEmptyArrayZodNullableTypeZodNumberCheckZodOptionalTypeZodParsedTypeZodRawShapeZodStringCheckZodTupleItemsZodTypeAnyZodUnionOptionsanyarraybigintbooleancoercecustomdatedefaultErrorMapdiscriminatedUnioneffectEMPTY_PATHenumfunctiongetParsedTypeinstanceofintersectionisAbortedisAsyncisDirtyisValidlatelazyliteralmakeIssuemapnannativeEnumneverNEVERnullnullablenumberobjectobooleanonumberoptionalostringpipelinepreprocesspromisequotelessJsonrecordsetstrictObjectstringsymboltransformertupleundefinedunionunknownvoidaddIssueToContextgetErrorMapsetErrorMapZodFirstPartyTypeKindobjectUtilutilParseStatusSchemaZodAnyZodArrayZodBigIntZodBooleanZodBrandedZodCatchZodDateZodDefaultZodDiscriminatedUnionZodEffectsZodEnumZodErrorZodFunctionZodIntersectionZodLazyZodLiteralZodMapZodNaNZodNativeEnumZodNeverZodNullZodNullableZodNumberZodObjectZodOptionalZodPipelineZodPromiseZodReadonlyZodRecordZodSchemaZodSetZodStringZodSymbolZodTransformerZodTupleZodTypeZodUndefinedZodUnionZodUnknownZodVoidParseContextParseResultZodAnyDefZodArrayDefZodBigIntDefZodBooleanDefZodBrandedDefZodCatchDefZodCustomIssueZodDateDefZodDefaultDefZodDiscriminatedUnionDefZodEffectsDefZodEnumDefZodFunctionDefZodIntersectionDefZodInvalidArgumentsIssueZodInvalidDateIssueZodInvalidEnumValueIssueZodInvalidIntersectionTypesIssueZodInvalidLiteralIssueZodInvalidReturnTypeIssueZodInvalidStringIssueZodInvalidTypeIssueZodInvalidUnionDiscriminatorIssueZodInvalidUnionIssueZodLazyDefZodLiteralDefZodMapDefZodNaNDefZodNativeEnumDefZodNeverDefZodNotFiniteIssueZodNotMultipleOfIssueZodNullableDefZodNullDefZodNumberDefZodObjectDefZodOptionalDefZodPipelineDefZodPromiseDefZodReadonlyDefZodRecordDefZodSetDefZodStringDefZodSymbolDefZodTooBigIssueZodTooSmallIssueZodTupleDefZodTypeDefZodUndefinedDefZodUnionDefZodUnknownDefZodUnrecognizedKeysIssueZodVoidDefAnyZodObjectAnyZodTupleArrayCardinalityArrayKeysarrayOutputTypeAssertArrayAsyncParseReturnTypebaseObjectInputTypebaseObjectOutputTypeBRANDCatchallInputCatchallOutputCustomErrorParamsDenormalizedErrordeoptionalDIRTYEffectEnumLikeEnumValuesErrorMapCtxFilterEnumIndicesinferinferFlattenedErrorsinferFormattedErrorInnerTypeOfFunctioninputInputTypeOfTupleInputTypeOfTupleWithRestINVALIDIpVersionIssueDataKeySchemamergeTypesnoUnrecognizedobjectInputTypeobjectOutputTypeObjectPairOKOuterTypeOfFunctionoutputOutputTypeOfTupleOutputTypeOfTupleWithRestParseInputParseParamsParsePathParsePathComponentParseReturnTypePassthroughTypePreprocessEffectPrimitiveProcessedCreateParamsRawCreateParamsRecordTypeRefinementRefinementCtxRefinementEffectSafeParseErrorSafeParseReturnTypeSafeParseSuccessScalarsSomeZodObjectStringValidationSuperRefinementSyncParseReturnTypeTransformEffecttypecastTypeOftypeToFlattenedErrorUnknownKeysParamValuesWriteableZodBigIntCheckZodDateCheckZodDiscriminatedUnionOptionZodErrorMapZodFirstPartySchemaTypesZodFormattedErrorZodIssueZodIssueBaseZodIssueCodeZodIssueOptionalMessageZodNonEmptyArrayZodNullableTypeZodNumberCheckZodOptionalTypeZodParsedTypeZodRawShapeZodStringCheckZodTupleItemsZodTypeAnyZodUnionOptionsanyarraybigintbooleancoercecustomdatedefaultErrorMapdiscriminatedUnioneffectEMPTY_PATHenumfunctiongetParsedTypeinstanceofintersectionisAbortedisAsyncisDirtyisValidlatelazyliteralmakeIssuemapnannativeEnumneverNEVERnullnullablenumberobjectobooleanonumberoptionalostringpipelinepreprocesspromisequotelessJsonrecordsetstrictObjectstringsymboltransformertupleundefinedunionunknownvoidaddIssueToContextgetErrorMapsetErrorMapZodFirstPartyTypeKindobjectUtilutilzParseStatusSchemaZodAnyZodArrayZodBigIntZodBooleanZodBrandedZodCatchZodDateZodDefaultZodDiscriminatedUnionZodEffectsZodEnumZodErrorZodFunctionZodIntersectionZodLazyZodLiteralZodMapZodNaNZodNativeEnumZodNeverZodNullZodNullableZodNumberZodObjectZodOptionalZodPipelineZodPromiseZodReadonlyZodRecordZodSchemaZodSetZodStringZodSymbolZodTransformerZodTupleZodTypeZodUndefinedZodUnionZodUnknownZodVoidParseContextParseResultZodAnyDefZodArrayDefZodBigIntDefZodBooleanDefZodBrandedDefZodCatchDefZodCustomIssueZodDateDefZodDefaultDefZodDiscriminatedUnionDefZodEffectsDefZodEnumDefZodFunctionDefZodIntersectionDefZodInvalidArgumentsIssueZodInvalidDateIssueZodInvalidEnumValueIssueZodInvalidIntersectionTypesIssueZodInvalidLiteralIssueZodInvalidReturnTypeIssueZodInvalidStringIssueZodInvalidTypeIssueZodInvalidUnionDiscriminatorIssueZodInvalidUnionIssueZodLazyDefZodLiteralDefZodMapDefZodNaNDefZodNativeEnumDefZodNeverDefZodNotFiniteIssueZodNotMultipleOfIssueZodNullableDefZodNullDefZodNumberDefZodObjectDefZodOptionalDefZodPipelineDefZodPromiseDefZodReadonlyDefZodRecordDefZodSetDefZodStringDefZodSymbolDefZodTooBigIssueZodTooSmallIssueZodTupleDefZodTypeDefZodUndefinedDefZodUnionDefZodUnknownDefZodUnrecognizedKeysIssueZodVoidDefAnyZodObjectAnyZodTupleArrayCardinalityArrayKeysarrayOutputTypeAssertArrayAsyncParseReturnTypebaseObjectInputTypebaseObjectOutputTypeBRANDCatchallInputCatchallOutputCustomErrorParamsDenormalizedErrordeoptionalDIRTYEffectEnumLikeEnumValuesErrorMapCtxFilterEnumIndicesinferinferFlattenedErrorsinferFormattedErrorInnerTypeOfFunctioninputInputTypeOfTupleInputTypeOfTupleWithRestINVALIDIpVersionIssueDataKeySchemamergeTypesnoUnrecognizedobjectInputTypeobjectOutputTypeObjectPairOKOuterTypeOfFunctionoutputOutputTypeOfTupleOutputTypeOfTupleWithRestParseInputParseParamsParsePathParsePathComponentParseReturnTypePassthroughTypePreprocessEffectPrimitiveProcessedCreateParamsRawCreateParamsRecordTypeRefinementRefinementCtxRefinementEffectSafeParseErrorSafeParseReturnTypeSafeParseSuccessScalarsSomeZodObjectStringValidationSuperRefinementSyncParseReturnTypeTransformEffecttypecastTypeOftypeToFlattenedErrorUnknownKeysParamValuesWriteableZodBigIntCheckZodDateCheckZodDiscriminatedUnionOptionZodErrorMapZodFirstPartySchemaTypesZodFormattedErrorZodIssueZodIssueBaseZodIssueCodeZodIssueOptionalMessageZodNonEmptyArrayZodNullableTypeZodNumberCheckZodOptionalTypeZodParsedTypeZodRawShapeZodStringCheckZodTupleItemsZodTypeAnyZodUnionOptionsanyarraybigintbooleancoercecustomdatedefaultErrorMapdiscriminatedUnioneffectEMPTY_PATHenumfunctiongetParsedTypeinstanceofintersectionisAbortedisAsyncisDirtyisValidlatelazyliteralmakeIssuemapnannativeEnumneverNEVERnullnullablenumberobjectobooleanonumberoptionalostringpipelinepreprocesspromisequotelessJsonrecordsetstrictObjectstringsymboltransformertupleundefinedunionunknownvoidaddIssueToContextgetErrorMapsetErrorMapZodFirstPartyTypeKindSchemaZodAnyZodArrayZodBigIntZodBooleanZodBrandedZodCatchZodDateZodDefaultZodDiscriminatedUnionZodEffectsZodEnumZodFunctionZodIntersectionZodLazyZodLiteralZodMapZodNaNZodNativeEnumZodNeverZodNullZodNullableZodNumberZodObjectZodOptionalZodPipelineZodPromiseZodReadonlyZodRecordZodSchemaZodSetZodStringZodSymbolZodTransformerZodTupleZodTypeZodUndefinedZodUnionZodUnknownZodVoidZodAnyDefZodArrayDefZodBigIntDefZodBooleanDefZodBrandedDefZodCatchDefZodDateDefZodDefaultDefZodDiscriminatedUnionDefZodEffectsDefZodEnumDefZodFunctionDefZodIntersectionDefZodLazyDefZodLiteralDefZodMapDefZodNaNDefZodNativeEnumDefZodNeverDefZodNullableDefZodNullDefZodNumberDefZodObjectDefZodOptionalDefZodPipelineDefZodPromiseDefZodReadonlyDefZodRecordDefZodSetDefZodStringDefZodSymbolDefZodTupleDefZodTypeDefZodUndefinedDefZodUnionDefZodUnknownDefZodVoidDefAnyZodObjectAnyZodTupleArrayCardinalityArrayKeysarrayOutputTypeAssertArraybaseObjectInputTypebaseObjectOutputTypeBRANDCatchallInputCatchallOutputCustomErrorParamsdeoptionalEffectEnumLikeEnumValuesFilterEnumIndicesinferInnerTypeOfFunctioninputInputTypeOfTupleInputTypeOfTupleWithRestIpVersionKeySchemamergeTypesnoUnrecognizedobjectInputTypeobjectOutputTypeOuterTypeOfFunctionoutputOutputTypeOfTupleOutputTypeOfTupleWithRestPassthroughTypePreprocessEffectProcessedCreateParamsRawCreateParamsRecordTypeRefinementRefinementCtxRefinementEffectSafeParseErrorSafeParseReturnTypeSafeParseSuccessSomeZodObjectSuperRefinementTransformEffecttypecastTypeOfUnknownKeysParamValuesWriteableZodBigIntCheckZodDateCheckZodDiscriminatedUnionOptionZodFirstPartySchemaTypesZodNonEmptyArrayZodNullableTypeZodNumberCheckZodOptionalTypeZodRawShapeZodStringCheckZodTupleItemsZodTypeAnyZodUnionOptionsanyarraybigintbooleancoercecustomdatediscriminatedUnioneffectenumfunctioninstanceofintersectionlatelazyliteralmapnannativeEnumneverNEVERnullnullablenumberobjectobooleanonumberoptionalostringpipelinepreprocesspromiserecordsetstrictObjectstringsymboltransformertupleundefinedunionunknownvoidZodFirstPartyTypeKindZodErrorZodCustomIssueZodInvalidArgumentsIssueZodInvalidDateIssueZodInvalidEnumValueIssueZodInvalidIntersectionTypesIssueZodInvalidLiteralIssueZodInvalidReturnTypeIssueZodInvalidStringIssueZodInvalidTypeIssueZodInvalidUnionDiscriminatorIssueZodInvalidUnionIssueZodNotFiniteIssueZodNotMultipleOfIssueZodTooBigIssueZodTooSmallIssueZodUnrecognizedKeysIssueDenormalizedErrorErrorMapCtxinferFlattenedErrorsinferFormattedErrorIssueDataStringValidationtypeToFlattenedErrorZodErrorMapZodFormattedErrorZodIssueZodIssueBaseZodIssueCodeZodIssueOptionalMessagequotelessJson
mod.ts (default module)
N
N
N
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
E
external.ts
N
N
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
E
index.ts
N
N
N
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
v
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f
E
types.ts
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
v
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
E
ZodError.ts
c
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
I
T
T
T
T
T
T
T
T
T
T
T
T
v
T
v