| 1 | import * as Schema from "effect/Schema" |
| 2 | import * as SchemaParser from "effect/SchemaParser" |
| 3 | import assert from "node:assert/strict" |
| 4 | |
| 5 | const effectCase = (schema, input, success) => () => { |
| 6 | const run = SchemaParser.decodeUnknownExit(schema) |
| 7 | return { |
| 8 | run: () => run(input), |
| 9 | validate: (result) => { |
| 10 | assert.equal(result._tag, success ? "Success" : "Failure") |
| 11 | if (success) assert.deepEqual(result.value, input) |
| 12 | } |
| 13 | } |
| 14 | } |
| 15 | |
| 16 | const makeObjectInput = (size) => |
| 17 | Object.fromEntries(Array.from({ length: size }, (_, index) => [`field${index}`, `value${index}`])) |
| 18 | |
| 19 | const makeInvalidLastObjectInput = (size) => ({ |
| 20 | ...makeObjectInput(size), |
| 21 | [`field${size - 1}`]: 1 |
| 22 | }) |
| 23 | |
| 24 | const object32 = makeObjectInput(32) |
| 25 | const object32InvalidLast = makeInvalidLastObjectInput(32) |
| 26 | const effectObject32 = Schema.Struct( |
| 27 | Object.fromEntries(Array.from({ length: 32 }, (_, index) => [`field${index}`, Schema.String])) |
| 28 | ) |
| 29 | |
| 30 | export const effectObject32Valid = effectCase(effectObject32, object32, true) |
| 31 | export const effectObject32InvalidLast = effectCase(effectObject32, object32InvalidLast, false) |
| 32 | |
| 33 | const array32 = Array.from({ length: 32 }, (_, index) => `value${index}`) |
| 34 | const array32InvalidLast = array32.slice() |
| 35 | array32InvalidLast[array32InvalidLast.length - 1] = 1 |
| 36 | const effectArray32 = Schema.Array(Schema.String) |
| 37 | |
| 38 | export const effectArray32Valid = effectCase(effectArray32, array32, true) |
| 39 | export const effectArray32InvalidLast = effectCase(effectArray32, array32InvalidLast, false) |
| 40 | |
| 41 | const record32 = makeObjectInput(32) |
| 42 | const record32InvalidLast = makeInvalidLastObjectInput(32) |
| 43 | const effectRecord32 = Schema.Record(Schema.String, Schema.String) |
| 44 | |
| 45 | export const effectRecord32Valid = effectCase(effectRecord32, record32, true) |
| 46 | export const effectRecord32InvalidLast = effectCase(effectRecord32, record32InvalidLast, false) |
| 47 | |
| 48 | const literalValues = Array.from({ length: 100 }, (_, index) => `value${index}`) |
| 49 | const effectLiteral100 = Schema.Literals(literalValues) |
| 50 | |
| 51 | export const effectLiteral100ValidLast = effectCase(effectLiteral100, "value99", true) |
| 52 | export const effectLiteral100Invalid = effectCase(effectLiteral100, "missing", false) |
| 53 | |
| 54 | const makeEffectTaggedMember = (index) => |
| 55 | Schema.Struct({ |
| 56 | kind: Schema.Literal(`kind${index}`), |
| 57 | a: Schema.String, |
| 58 | b: Schema.Number, |
| 59 | c: Schema.Boolean |
| 60 | }) |
| 61 | |
| 62 | const taggedInput = { kind: "kind99", a: "a", b: 1, c: true } |
| 63 | const taggedInvalidSelected = { kind: "kind99", a: "a", b: 1, c: "invalid" } |
| 64 | const taggedInvalidTag = { kind: "missing", a: "a", b: 1, c: true } |
| 65 | const effectTagged100 = Schema.Union( |
| 66 | Array.from({ length: 100 }, (_, index) => makeEffectTaggedMember(index)) |
| 67 | ) |
| 68 | |
| 69 | export const effectTagged100ValidLast = effectCase(effectTagged100, taggedInput, true) |
| 70 | export const effectTagged100InvalidSelected = effectCase(effectTagged100, taggedInvalidSelected, false) |
| 71 | export const effectTagged100InvalidTag = effectCase(effectTagged100, taggedInvalidTag, false) |
| 72 | |
| 73 | const makeEffectMultiSentinelMember = (index) => |
| 74 | Schema.Struct({ |
| 75 | kind: Schema.Literal("shared"), |
| 76 | variant: Schema.Literal(`variant${index}`), |
| 77 | value: Schema.String |
| 78 | }) |
| 79 | |
| 80 | const effectMultiSentinel100 = Schema.Union( |
| 81 | Array.from({ length: 100 }, (_, index) => makeEffectMultiSentinelMember(index)) |
| 82 | ) |
| 83 | const multiSentinelValidFirst = { kind: "shared", variant: "variant0", value: "value" } |
| 84 | const multiSentinelInvalidVariant = { kind: "shared", variant: "missing", value: "value" } |
| 85 | |
| 86 | export const effectMultiSentinel100ValidFirst = effectCase(effectMultiSentinel100, multiSentinelValidFirst, true) |
| 87 | export const effectMultiSentinel100InvalidVariant = effectCase( |
| 88 | effectMultiSentinel100, |
| 89 | multiSentinelInvalidVariant, |
| 90 | false |
| 91 | ) |