+95

tests/array.test.ts

reviewed

··· 1 1 + import { describe, it, expect } from "bun:test" 2 2 + import { arr, sortNum, sortBy, nonEmpty, map, filter, reduce, head, last, binarySearchNum, take, drop, pipe } from "../src/index" 3 3 + 4 4 + describe("Tracked Arrays", () => { 5 5 + describe("arr", () => { 6 6 + it("wraps array with phantom type", () => { 7 7 + const nums = arr([1, 2, 3]) 8 8 + expect([...nums]).toEqual([1, 2, 3]) 9 9 + }) 10 10 + }) 11 11 + 12 12 + describe("sort operations", () => { 13 13 + it("sortNum sorts numerically", () => { 14 14 + const result = sortNum(arr([3, 1, 4, 1, 5])) 15 15 + expect([...result]).toEqual([1, 1, 3, 4, 5]) 16 16 + }) 17 17 + 18 18 + it("sortBy sorts by key function", () => { 19 19 + const users = arr([{ name: "Bob", age: 30 }, { name: "Alice", age: 25 }]) 20 20 + const result = sortBy<typeof users[number], never>(u => u.age)(users) 21 21 + expect(result[0]!.name).toBe("Alice") 22 22 + }) 23 23 + }) 24 24 + 25 25 + describe("nonEmpty", () => { 26 26 + it("returns Some for non-empty arrays", () => { 27 27 + const result = nonEmpty(arr([1])) 28 28 + expect(result._tag).toBe("Some") 29 29 + }) 30 30 + 31 31 + it("returns None for empty arrays", () => { 32 32 + const result = nonEmpty(arr([])) 33 33 + expect(result._tag).toBe("None") 34 34 + }) 35 35 + }) 36 36 + 37 37 + describe("head and last", () => { 38 38 + it("head returns first element of NonEmpty array", () => { 39 39 + const nums = pipe(arr([1, 2, 3]), nonEmpty) 40 40 + if (nums._tag === "Some") { 41 41 + expect(head(nums.value)).toBe(1) 42 42 + } 43 43 + }) 44 44 + 45 45 + it("last returns last element of NonEmpty array", () => { 46 46 + const nums = pipe(arr([1, 2, 3]), nonEmpty) 47 47 + if (nums._tag === "Some") { 48 48 + expect(last(nums.value)).toBe(3) 49 49 + } 50 50 + }) 51 51 + }) 52 52 + 53 53 + describe("map, filter, reduce", () => { 54 54 + it("map transforms elements", () => { 55 55 + const result = pipe(arr([1, 2, 3]), map(x => x * 2)) 56 56 + expect([...result]).toEqual([2, 4, 6]) 57 57 + }) 58 58 + 59 59 + it("filter keeps matching elements", () => { 60 60 + const result = pipe(arr([1, 2, 3, 4]), filter(x => x % 2 === 0)) 61 61 + expect([...result]).toEqual([2, 4]) 62 62 + }) 63 63 + 64 64 + it("reduce folds array", () => { 65 65 + const result = pipe(arr([1, 2, 3, 4]), reduce((acc, x) => acc + x, 0)) 66 66 + expect(result).toBe(10) 67 67 + }) 68 68 + }) 69 69 + 70 70 + describe("take and drop", () => { 71 71 + it("take returns first n elements", () => { 72 72 + const result = pipe(arr([1, 2, 3, 4, 5]), take(3)) 73 73 + expect([...result]).toEqual([1, 2, 3]) 74 74 + }) 75 75 + 76 76 + it("drop skips first n elements", () => { 77 77 + const result = pipe(arr([1, 2, 3, 4, 5]), drop(2)) 78 78 + expect([...result]).toEqual([3, 4, 5]) 79 79 + }) 80 80 + }) 81 81 + 82 82 + describe("binarySearch", () => { 83 83 + it("finds element in sorted array", () => { 84 84 + const sorted = sortNum(arr([5, 2, 8, 1, 9])) 85 85 + const result = binarySearchNum(5)(sorted) 86 86 + expect(result._tag).toBe("Some") 87 87 + }) 88 88 + 89 89 + it("returns None when element not found", () => { 90 90 + const sorted = sortNum(arr([1, 2, 3])) 91 91 + const result = binarySearchNum(10)(sorted) 92 92 + expect(result._tag).toBe("None") 93 93 + }) 94 94 + }) 95 95 + })

+35

tests/typestate.test.ts

reviewed

··· 1 1 + import { describe, it, expect } from "bun:test" 2 2 + import { entity, transition, pipe, type Entity } from "../src/index" 3 3 + 4 4 + describe("Typestate", () => { 5 5 + type Doc = { title: string; content: string } 6 6 + type Draft = Entity<Doc, "draft"> 7 7 + type Published = Entity<Doc, "published"> 8 8 + 9 9 + const createDraft = (title: string): Draft => 10 10 + entity<Doc, "draft">({ title, content: "" }) 11 11 + 12 12 + const edit = (content: string) => 13 13 + transition<Doc, "draft", "draft">(d => ({ ...d, content })) 14 14 + 15 15 + const publish: (d: Draft) => Published = 16 16 + transition<Doc, "draft", "published">() 17 17 + 18 18 + it("creates entities with initial state", () => { 19 19 + const doc = createDraft("My Post") 20 20 + expect(doc.title).toBe("My Post") 21 21 + expect(doc.content).toBe("") 22 22 + }) 23 23 + 24 24 + it("transitions between states", () => { 25 25 + const draft = createDraft("Post") 26 26 + const edited = edit("Hello world")(draft) 27 27 + expect(edited.content).toBe("Hello world") 28 28 + }) 29 29 + 30 30 + it("transitions to different state types", () => { 31 31 + const published = pipe(createDraft("Post"), edit("Content"), publish) 32 32 + expect(published.title).toBe("Post") 33 33 + expect(published.content).toBe("Content") 34 34 + }) 35 35 + })

+42

tests/units.test.ts

reviewed

··· 1 1 + import { describe, it, expect } from "bun:test" 2 2 + import { meters, seconds, kilograms, velocity, addQ, subQ, scaleQ } from "../src/index" 3 3 + 4 4 + describe("Units", () => { 5 5 + describe("quantity constructors", () => { 6 6 + it("creates typed quantities", () => { 7 7 + const d = meters(100) 8 8 + const t = seconds(9.58) 9 9 + const m = kilograms(75) 10 10 + 11 11 + expect(d as number).toBe(100) 12 12 + expect(t as number).toBe(9.58) 13 13 + expect(m as number).toBe(75) 14 14 + }) 15 15 + }) 16 16 + 17 17 + describe("velocity", () => { 18 18 + it("computes velocity from distance and time", () => { 19 19 + const d = meters(100) 20 20 + const t = seconds(10) 21 21 + const v = velocity(d, t) 22 22 + expect(v as number).toBeCloseTo(10, 5) 23 23 + }) 24 24 + }) 25 25 + 26 26 + describe("arithmetic operations", () => { 27 27 + it("addQ adds same-unit quantities", () => { 28 28 + const result = addQ(meters(50), meters(30)) 29 29 + expect(result as number).toBe(80) 30 30 + }) 31 31 + 32 32 + it("subQ subtracts same-unit quantities", () => { 33 33 + const result = subQ(meters(100), meters(40)) 34 34 + expect(result as number).toBe(60) 35 35 + }) 36 36 + 37 37 + it("scaleQ multiplies by scalar", () => { 38 38 + const result = scaleQ(3)(meters(10)) 39 39 + expect(result as number).toBe(30) 40 40 + }) 41 41 + }) 42 42 + })