test: cover File size bounds and regenerate DTS snapshots

Author: ooospooky

ark/docs/components/dts/schema.ts

@@ -3,7 +3,8 @@ import {
 	Disjoint,
 	boundKindPairsByLower,
 	rootSchema,
-	writeInvalidLengthBoundMessage
+	writeInvalidLengthBoundMessage,
+	writeInvalidSizeBoundMessage
 } from "@ark/schema"
 import { entriesOf, flatMorph } from "@ark/util"
 
@@ -19,6 +20,11 @@ const dateCases = flatMorph(numericCases, (name, v) => [name, new Date(v)])
 
 const lengthCases = flatMorph(numericCases, (name, v) => [name, "1".repeat(v)])
 
+const fileCases = flatMorph(numericCases, (name, v) => [
+	name,
+	new File(["x".repeat(v)], "test.txt")
+])
+
 contextualize(() => {
 	it("numeric apply", () => {
 		const T = rootSchema({
@@ -86,6 +92,45 @@ contextualize(() => {
 		)
 	})
 
+	it("file apply", () => {
+		const T = rootSchema({
+			proto: File,
+			minSize: { rule: 5, exclusive: true },
+			maxSize: { rule: 10 }
+		})
+
+		attest(T.traverse(fileCases.lessThanMin)?.toString()).snap(
+			"must be more than 5 bytes (was 4 bytes)"
+		)
+		attest(T.traverse(fileCases.equalToExclusiveMin)?.toString()).snap(
+			"must be more than 5 bytes (was 5 bytes)"
+		)
+		attest(T.traverse(fileCases.between)).equals(fileCases.between)
+		attest(T.traverse(fileCases.equalToInclusiveMax)).equals(
+			fileCases.equalToInclusiveMax
+		)
+		attest(T.traverse(fileCases.greaterThanMax)?.toString()).snap(
+			"must be at most 10 bytes (was 11 bytes)"
+		)
+	})
+
+	it("errors on negative size bound", () => {
+		attest(() => rootSchema({ proto: File, maxSize: -1 })).throws(
+			writeInvalidSizeBoundMessage("maxSize", -1)
+		)
+	})
+
+	it("errors on non-integer size bound", () => {
+		attest(() => rootSchema({ proto: File, minSize: 1.5 })).throws(
+			writeInvalidSizeBoundMessage("minSize", 1.5)
+		)
+	})
+
+	it("minSize 0 reduces to unconstrained", () => {
+		const T = rootSchema({ proto: File, minSize: 0 })
+		attest(T.expression).snap("File")
+	})
+
 	it("errors on negative length bound", () => {
 		attest(() => rootSchema({ domain: "string", maxLength: -1 })).throws(
 			writeInvalidLengthBoundMessage("maxLength", -1)
@@ -108,10 +153,12 @@ contextualize(() => {
 			const basis =
 				min === "min" ? { domain: "number" }
 				: min === "minLength" ? { domain: "string" }
+				: min === "minSize" ? { proto: File }
 				: { proto: Date }
 			const cases =
 				min === "min" ? numericCases
 				: min === "minLength" ? lengthCases
+				: min === "minSize" ? fileCases
 				: dateCases
 
 			it("allows", () => {
@@ -151,6 +198,12 @@ contextualize(() => {
 							...basis,
 							exactLength: 6
 						} as never)
+					: min === "minSize" ?
+						rootSchema({
+							...basis,
+							minSize: { rule: 6 },
+							maxSize: { rule: 6 }
+						} as never)
 					:	rootSchema({
 							unit: new Date(6)
 						})

ark/docs/components/dts/type.ts

@@ -114,8 +114,10 @@ contextualize(() => {
 					"intersection",
 					"max",
 					"maxLength",
+					"maxSize",
 					"min",
 					"minLength",
+					"minSize",
 					"morph",
 					"optional",
 					"pattern",
@@ -160,8 +162,10 @@ contextualize(() => {
 					"intersection",
 					"max",
 					"maxLength",
+					"maxSize",
 					"min",
 					"minLength",
+					"minSize",
 					"morph",
 					"optional",
 					"pattern",

ark/docs/components/dts/util.ts

@@ -316,8 +316,10 @@ contextualize(() => {
 						"intersection",
 						"max",
 						"maxLength",
+						"maxSize",
 						"min",
 						"minLength",
+						"minSize",
 						"morph",
 						"optional",
 						"pattern",
@@ -362,8 +364,10 @@ contextualize(() => {
 						"intersection",
 						"max",
 						"maxLength",
+						"maxSize",
 						"min",
 						"minLength",
+						"minSize",
 						"morph",
 						"optional",
 						"pattern",

ark/schema/__tests__/bounds.test.ts

@@ -0,0 +1,35 @@
+import { attest, contextualize } from "@ark/attest"
+import { type } from "arktype"
+
+contextualize(() => {
+	it("basic File type", () => {
+		const T = type("File")
+
+		const validFile = new File(["content"], "test.txt")
+		const anotherFile = new File(["x".repeat(1000)], "data.bin")
+		const notAFile = "not a file"
+		const alsoNotAFile = { name: "fake.txt" }
+
+		attest(T(validFile)).equals(validFile)
+		attest(T(anotherFile)).equals(anotherFile)
+		attest(T(notAFile).toString()).snap("must be a File instance (was string)")
+		attest(T(alsoNotAFile).toString()).snap(
+			"must be a File instance (was object)"
+		)
+	})
+
+	it("File in object schema", () => {
+		const T = type({
+			document: "File"
+		})
+
+		const validFile = new File(["content"], "doc.pdf")
+		const validData = { document: validFile }
+		const invalidData = { document: "not-a-file.txt" }
+
+		attest(T(validData)).equals(validData)
+		attest(T(invalidData).toString()).snap(
+			"document must be a File instance (was string)"
+		)
+	})
+})