/**
 * Do not edit this file it is auto-generated by io-utils / gen-api-models.
 * See https://github.com/pagopa/io-utils
 */
/* tslint:disable */

import { withDefault } from "italia-ts-commons/lib/types";
import * as t from "io-ts";
import {
  IWithinRangeIntegerTag,
  WithinRangeInteger
} from "italia-ts-commons/lib/numbers";

// required attributes
const ProblemJsonR = t.interface({});

// optional attributes
const ProblemJsonO = t.partial({
  type: withDefault(t.string, "about:blank"),

  title: t.string,

  status: t.union([
    WithinRangeInteger<100, 599, IWithinRangeIntegerTag<100, 599>>(100, 599),
    t.literal(599)
  ]),

  detail: t.string,

  instance: t.string
});

export const ProblemJson = t.exact(
  t.intersection([ProblemJsonR, ProblemJsonO], "ProblemJson")
);

export type ProblemJson = t.TypeOf<typeof ProblemJson>;