(annotations?: Schema.Annotations.Filter)
| 3929 | |
| 3930 | /** @internal */ |
| 3931 | export function isStringFinite(annotations?: Schema.Annotations.Filter) { |
| 3932 | return isPattern( |
| 3933 | isStringFiniteRegExp, |
| 3934 | { |
| 3935 | expected: "a string representing a finite number", |
| 3936 | representation: { |
| 3937 | id: "effect/schema/isStringFinite", |
| 3938 | payload: null |
| 3939 | }, |
| 3940 | toJsonSchema: () => ({ pattern: isStringFiniteRegExp.source }), |
| 3941 | ...annotations |
| 3942 | } |
| 3943 | ) |
| 3944 | } |
| 3945 | |
| 3946 | const finiteString = appendChecks(string, [isStringFinite()]) |
| 3947 |