/**
 * 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 { Group } from "./Group";
import { Subscription } from "./Subscription";
import * as t from "io-ts";
import { NonEmptyString } from "italia-ts-commons/lib/strings";

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

// optional attributes
const UserInfoO = t.partial({
  groups: t.readonlyArray(Group, "array of Group"),

  subscriptions: t.readonlyArray(Subscription, "array of Subscription"),

  token_name: NonEmptyString
});

export const UserInfo = t.exact(
  t.intersection([UserInfoR, UserInfoO], "UserInfo")
);

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