Communities

Writing
Writing
Codidact Meta
Codidact Meta
The Great Outdoors
The Great Outdoors
Photography & Video
Photography & Video
Scientific Speculation
Scientific Speculation
Cooking
Cooking
Electrical Engineering
Electrical Engineering
Judaism
Judaism
Languages & Linguistics
Languages & Linguistics
Software Development
Software Development
Mathematics
Mathematics
Christianity
Christianity
Code Golf
Code Golf
Music
Music
Physics
Physics
Linux Systems
Linux Systems
Power Users
Power Users
Tabletop RPGs
Tabletop RPGs
Community Proposals
Community Proposals
tag:snake search within a tag
answers:0 unanswered questions
user:xxxx search by author id
score:0.5 posts with 0.5+ score
"snake oil" exact phrase
votes:4 posts with 4+ votes
created:<1w created < 1 week ago
post_type:xxxx type of post
Search help
Notifications
Mark all as read See all your notifications »
Q&A

Welcome to Software Development on Codidact!

Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.

How do I share a type between a client and server, but make a specific field optional for one and required for the other?

+6
−0

Let's say I have a client/server application with a data structure on the server side:

type User = {
  name: string;
  superSecretGovernmentIdNumber: string;
};

These fields are both non-nullable; all users in this system have a name and a superSecretGovernmentIdNumber, and the server always knows what both are.

On the client, I'd like to be able to use this same type, with non-nullable name, but depending on whether the user you're viewing is yourself or another person, you may or may not be able to see that user's superSecretGovernmentIdNumber. That is, I would like the same type to be this on the client:

type User = {
  name: string;
  superSecretGovernmentIdNumber?: string;
};

There is Partial<T>, which would make everything optional, but I still want name to be required.

Is this expressible in TypeScript? How?

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.
Why should this post be closed?

0 comment threads

2 answers

You are accessing this answer with a direct link, so it's being shown above all other answers regardless of its score. You can return to the normal view.

+4
−0

This can be done using conditional types.

I defined these helper types:

enum Role { server, client };
type PossiblyHiddenFromClients<R extends Role, T> =
  T | (R extends Role.client ? undefined : never);

When R is server, this type reduces to T (via T | never); when R is client, it is T | undefined.

User can then be defined as:

type User<R extends Role> = {
  name: string;
  superSecretGovernmentIdNumber: PossiblyHiddenFromClients<R, string>;
};

There are now two types, User<Role.server> representing a full unredacted user, and User<Role.client> representing one that may or may not have information missing. The client should always use the latter; the server uses the former internally and converts to the latter (redacting as required) when returning data to the client.

History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

0 comment threads

+2
−0

The existing answer is fine, but you can achieve similar results in many ways using some of TypeScript's utility types.

Required<T>

While you cannot use (only) Partial to do this, TypeScript provides the opposite Required as well - so if one of your types requires all properties, you can start by defining the one with some optional ones:

type UserForClients = {
   name: string;
   superSecretGovernmentIdNumber?: string;
};

type UserForServers = Required<UserForClients>;

Partial<T> and (Omit<T, K> or Pick<T, K>)

Going in the other direction, starting with a "base" type and making some properties optional. Partial makes everything optional, but by combining it with parts of the base type that still require some properties, we can "cancel" the optionality:

type UserForServers = {
    name: string;
    superSecretGovernmentIdNumber: string;
};

type UserForClients = Partial<UserForServers> & Omit<UserForServers, "superSecretGovernmentIdNumber">;

// Or, equivalently

type UserForClients = Partial<UserForServers> & Pick<UserForServers, "name">;

Custom Utility types

We can create some utility types of our own to handle these cases if they are frequent:

type WithOptional<T, K extends keyof T> = Partial<T> & Omit<T, K>;

type UserForServer = {
   name: string;
   superSecretGovernmentIdNumber: string;
};

type UserForClient = WithOptional<UserForServer, "superSecretGovermentIdNumber">;

// Or, equivalently

type RequireOnly<T, K extends keyof T> = Partial<T> & Required<Pick<T, K>>;

type UserForServer = {
   name: string;
   superSecretGovernmentIdNumber: string;
};

type UserForClient = RequireOnly<UserForServer, "name">;

// Or, equivalently

type WithRequired<T, K extends keyof T> = T & Required<Pick<T, K>>;

type UserForClient = {
    name: string;
    superSecretGovernmentIdNumber?: string;
};

type UserForServer = WithRequired<UserForClient, "superSecretGovernmentIdNumber">;
History
Why does this post require attention from curators or moderators?
You might want to add some details to your flag.

0 comment threads

Sign up to answer this question »