Record Class IdACommandUserGet

java.lang.Object
java.lang.Record
com.io7m.idstore.protocol.admin.IdACommandUserGet
Record Components:
user - The user ID
All Implemented Interfaces:
com.io7m.hibiscus.api.HBMessageType, IdACommandType<IdAResponseUserGet>, IdAMessageType, IdProtocolMessageType

public record IdACommandUserGet(UUID user) extends Record implements IdACommandType<IdAResponseUserGet>
Get the given user.