feat(primitives): implement dateTime type

packages/primitives/src/dateTime.ts

@@ -0,0 +1,22 @@
+/**
+ * DateTime FHIR Primitive Runtime Type
+ */
+
+import { Type, success, failure, identity } from "io-ts";
+
+// TODO: This regex seems incorrect as well
+const DATE_TIME_REGEX = /([0-9]([0-9]([0-9][1-9]|[1-9]0)|[1-9]00)|[1-9]000)(-(0[1-9]|1[0-2])(-(0[1-9]|[1-2][0-9]|3[0-1])(T([01][0-9]|2[0-3]):[0-5][0-9]:([0-5][0-9]|60)(\.[0-9]+)?(Z|(\+|-)((0[0-9]|1[0-3]):[0-5][0-9]|14:00)))?)?)/;
+
+export class DateTimeType extends Type<string> {
+  readonly _tag: "DateTimeType" = "DateTimeType";
+  constructor() {
+    super(
+      "dateTime",
+      (m): m is string => typeof m === "string" && DATE_TIME_REGEX.test(m),
+      (m, c) => (this.is(m) ? success(m) : failure(m, c)),
+      identity
+    );
+  }
+}
+
+export const dateTime = new DateTimeType();

packages/primitives/src/index.ts

@@ -7,6 +7,7 @@ import { BooleanType, boolean } from "./boolean";
 import { CanonicalType, canonical } from "./canonical";
 import { CodeType, code } from "./code";
 import { DateType, date } from "./date";
+import { DateTimeType, dateTime } from "./dateTime";
 import { DecimalType, decimal } from "./decimal";
 import { IDType, id } from "./id";
 import { InstantType, instant } from "./instant";
@@ -32,6 +33,8 @@ export {
   CodeType,
   date,
   DateType,
+  dateTime,
+  DateTimeType,
   decimal,
   DecimalType,
   id,

packages/primitives/test/dateTime.test.ts

@@ -0,0 +1,44 @@
+/**
+ * Tests for DateTime Runtime Type
+ */
+
+import { dateTime } from "../src";
+import { assertSuccess, assertFailure, assertStrictEqual } from "./helpers";
+
+describe("DateTimeType", () => {
+  it("should succeed validating a valid value", () => {
+    const T = dateTime;
+    assertSuccess(T.decode("2017-01-01T00:00:00.000Z"));
+  });
+
+  // TODO: Improve regex so this passes
+  xit("should succeed validating a partial dateTime", () => {
+    const T = dateTime;
+    assertSuccess(T.decode("2017"));
+  });
+
+  it("should return the same reference if validation succeeded and nothing changed", () => {
+    const T = dateTime;
+    const value = "2017-01-01T00:00:00.000Z";
+    assertStrictEqual(T.decode(value), value);
+  });
+
+  it("should fail validating an invalid value", () => {
+    const T = dateTime;
+    assertFailure(T.decode(2), ["Invalid value 2 supplied to : dateTime"]);
+  });
+
+  it("should fail validating non YYYY, YYYY-MM, YYYY-MM-DD or YYYY-MM-DDThh:mm:ss+zz:zz formatted date", () => {
+    const T = dateTime;
+    assertFailure(T.decode("08/23"), [
+      'Invalid value "08/23" supplied to : dateTime'
+    ]);
+  });
+
+  it("should type guard", () => {
+    const T = dateTime;
+    expect(T.is("2017-01-01T00:00:00.000Z")).toEqual(true);
+    expect(T.is(true)).toEqual(false);
+    expect(T.is(undefined)).toEqual(false);
+  });
+});