A
arktype•3w ago
Schmime

Generic loses literal

const nonEmptyStringOrNull = type("<s extends string>", [
  "s | null | undefined",
  "=>",
  (s) => (!s ? null : s),
]);
const nonEmptyStringOrNull = type("<s extends string>", [
  "s | null | undefined",
  "=>",
  (s) => (!s ? null : s),
]);
const test = type({
test1: nonEmptyStringOrNull("'hi'")
});
const test = type({
test1: nonEmptyStringOrNull("'hi'")
});
test1 is coming back as string | null instead of "hi" | null
2 Replies
Dimava
Dimava•3w ago
import { generic, Hkt } from "arktype"

const NonEmptyStringOrNull = generic(["T", "string"])(
    args => type(args.T, '|', 'null | undefined').pipe(s => !s ? null : s),
    class NonEmptyStringOrNullHkt extends Hkt<[string]> {
        declare body: (In: this[0] | null | undefined) => this[0] | null
    }
)
import { generic, Hkt } from "arktype"

const NonEmptyStringOrNull = generic(["T", "string"])(
    args => type(args.T, '|', 'null | undefined').pipe(s => !s ? null : s),
    class NonEmptyStringOrNullHkt extends Hkt<[string]> {
        declare body: (In: this[0] | null | undefined) => this[0] | null
    }
)
Schmime
SchmimeOP•3w ago
@Dimava thank you for taking a look friend! I am new to Arktype so not exactly sure whats wrong but that gives typescript errors https://www.val.town/v/arjunyel/arkTypeTest
Val Town
@arjunyel/arkTypeTest
An interactive, runnable TypeScript val by arjunyel

Did you find this page helpful?