morphing to typescript type

I tried to do a narrow + pipe.try on

type("string")

type("string")

to try to parse out a

Temporal.ZonedDateTime

Temporal.ZonedDateTime

type to sort of replicate what

type("string.date.iso.parse")

type("string.date.iso.parse")

does, and it mostly works. But I've noticed if I infer the TS type I can't actually assign a

Temporal.ZoneDateTime

Temporal.ZoneDateTime

to the field, as tsc complains that the

valueOf

valueOf

signatures are different. Is this supposed to work, or should I be venturing down the path of scopes and

rootSchema

rootSchema

instead?

const zonedDateTimeISO = type("string")
    .narrow((date, ctx) => {
        if (zoneDateTimeRegex.test(date)) { return true; }

        return ctx.mustBe("an ISO-8601 datetime string");
    })
    .pipe.try((s: string) => Temporal.ZonedDateTime.from(s));

const struct = type({timestamp: zonedDateTimeISO});
type Struct = typeof struct.infer;

const example : Struct = {
  timestamp: Temporal.Now.zonedDateTimeIso(),  // tsc fails here
}

const zonedDateTimeISO = type("string")
    .narrow((date, ctx) => {
        if (zoneDateTimeRegex.test(date)) { return true; }

        return ctx.mustBe("an ISO-8601 datetime string");
    })
    .pipe.try((s: string) => Temporal.ZonedDateTime.from(s));

const struct = type({timestamp: zonedDateTimeISO});
type Struct = typeof struct.infer;

const example : Struct = {
  timestamp: Temporal.Now.zonedDateTimeIso(),  // tsc fails here
}

morphing to typescript type

I tried to do a narrow + pipe.try on

type("string")

type("string")

to try to parse out a

Temporal.ZonedDateTime

Temporal.ZonedDateTime

type to sort of replicate what

type("string.date.iso.parse")

type("string.date.iso.parse")

does, and it mostly works. But I've noticed if I infer the TS type I can't actually assign a

Temporal.ZoneDateTime

Temporal.ZoneDateTime

to the field, as tsc complains that the

valueOf

valueOf

signatures are different. Is this supposed to work, or should I be venturing down the path of scopes and

rootSchema

rootSchema

instead?

const zonedDateTimeISO = type("string")
    .narrow((date, ctx) => {
        if (zoneDateTimeRegex.test(date)) { return true; }

        return ctx.mustBe("an ISO-8601 datetime string");
    })
    .pipe.try((s: string) => Temporal.ZonedDateTime.from(s));

const struct = type({timestamp: zonedDateTimeISO});
type Struct = typeof struct.infer;

const example : Struct = {
  timestamp: Temporal.Now.zonedDateTimeIso(),  // tsc fails here
}

const zonedDateTimeISO = type("string")
    .narrow((date, ctx) => {
        if (zoneDateTimeRegex.test(date)) { return true; }

        return ctx.mustBe("an ISO-8601 datetime string");
    })
    .pipe.try((s: string) => Temporal.ZonedDateTime.from(s));

const struct = type({timestamp: zonedDateTimeISO});
type Struct = typeof struct.infer;

const example : Struct = {
  timestamp: Temporal.Now.zonedDateTimeIso(),  // tsc fails here
}

morphing to typescript type

morphing to typescript type

Continue the conversation

arktype

Continue the conversation

arktype

Similar Threads