mirror of
https://github.com/fmtlib/fmt.git
synced 2025-07-30 10:47:35 +02:00
Using enum class now.
Renamed from hex to color. Changed colr names to snake case.
This commit is contained in:
committed by
Victor Zverovich
parent
aff6e45e14
commit
9c07b37fff
@ -12,16 +12,17 @@
|
|||||||
#ifndef FMT_COLORS_H_
|
#ifndef FMT_COLORS_H_
|
||||||
#define FMT_COLORS_H_
|
#define FMT_COLORS_H_
|
||||||
|
|
||||||
|
|
||||||
#include "format.h"
|
#include "format.h"
|
||||||
|
|
||||||
FMT_BEGIN_NAMESPACE
|
FMT_BEGIN_NAMESPACE
|
||||||
|
|
||||||
// rgb is a struct for red, green and blue colors.
|
// rgb is a struct for red, green and blue colors.
|
||||||
// we use rgb as name because some editors will show it as color direct in the editor.
|
// We use rgb as name because some editors will show it as color direct in the
|
||||||
|
// editor.
|
||||||
struct rgb {
|
struct rgb {
|
||||||
FMT_CONSTEXPR_DECL rgb() : r(0), g(0), b(0) {}
|
FMT_CONSTEXPR_DECL rgb() : r(0), g(0), b(0) {}
|
||||||
FMT_CONSTEXPR_DECL rgb(uint8_t r_, uint8_t g_, uint8_t b_) : r(r_), g(g_), b(b_) {}
|
FMT_CONSTEXPR_DECL rgb(uint8_t r_, uint8_t g_, uint8_t b_)
|
||||||
|
: r(r_), g(g_), b(b_) {}
|
||||||
FMT_CONSTEXPR_DECL rgb(uint32_t hex)
|
FMT_CONSTEXPR_DECL rgb(uint32_t hex)
|
||||||
: r((hex >> 16) & 0xFF), g((hex >> 8) & 0xFF), b((hex) & 0xFF) {}
|
: r((hex >> 16) & 0xFF), g((hex >> 8) & 0xFF), b((hex) & 0xFF) {}
|
||||||
uint8_t r;
|
uint8_t r;
|
||||||
@ -51,7 +52,6 @@ FMT_FUNC void vprint_rgb(rgb fd, string_view format, format_args args) {
|
|||||||
std::fputs(RESET_COLOR, stdout);
|
std::fputs(RESET_COLOR, stdout);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
FMT_FUNC void vprint_rgb(rgb fd, rgb bg, string_view format, format_args args) {
|
FMT_FUNC void vprint_rgb(rgb fd, rgb bg, string_view format, format_args args) {
|
||||||
char escape_fd[] = "\x1b[38;2;000;000;000m"; // foreground color
|
char escape_fd[] = "\x1b[38;2;000;000;000m"; // foreground color
|
||||||
char escape_bg[] = "\x1b[48;2;000;000;000m"; // background color
|
char escape_bg[] = "\x1b[48;2;000;000;000m"; // background color
|
||||||
@ -87,152 +87,150 @@ inline void print(rgb fd, rgb bg, string_view format_str, const Args & ... args)
|
|||||||
vprint_rgb(fd, bg, format_str, make_format_args(args...));
|
vprint_rgb(fd, bg, format_str, make_format_args(args...));
|
||||||
}
|
}
|
||||||
|
|
||||||
|
enum class color : uint32_t {
|
||||||
enum hex : uint32_t { // use enum class ?
|
alice_blue = 0xF0F8FF, // rgb(240,248,255)
|
||||||
AliceBlue = 0xF0F8FF, // rgb(240,248,255);
|
antique_white = 0xFAEBD7, // rgb(250,235,215)
|
||||||
AntiqueWhite = 0xFAEBD7, // rgb(250,235,215);
|
aqua = 0x00FFFF, // rgb(0,255,255)
|
||||||
Aqua = 0x00FFFF, // rgb(0,255,255);
|
aquamarine = 0x7FFFD4, // rgb(127,255,212)
|
||||||
Aquamarine = 0x7FFFD4, // rgb(127,255,212);
|
azure = 0xF0FFFF, // rgb(240,255,255)
|
||||||
Azure = 0xF0FFFF, // rgb(240,255,255);
|
beige = 0xF5F5DC, // rgb(245,245,220)
|
||||||
Beige = 0xF5F5DC, // rgb(245,245,220);
|
bisque = 0xFFE4C4, // rgb(255,228,196)
|
||||||
Bisque = 0xFFE4C4, // rgb(255,228,196);
|
black = 0x000000, // rgb(0,0,0)
|
||||||
Black = 0x000000, // rgb(0,0,0);
|
blanched_almond = 0xFFEBCD, // rgb(255,235,205)
|
||||||
BlanchedAlmond = 0xFFEBCD, // rgb(255,235,205);
|
blue = 0x0000FF, // rgb(0,0,255)
|
||||||
Blue = 0x0000FF, // rgb(0,0,255);
|
blue_violet = 0x8A2BE2, // rgb(138,43,226)
|
||||||
BlueViolet = 0x8A2BE2, // rgb(138,43,226);
|
brown = 0xA52A2A, // rgb(165,42,42)
|
||||||
Brown = 0xA52A2A, // rgb(165,42,42);
|
burly_wood = 0xDEB887, // rgb(222,184,135)
|
||||||
BurlyWood = 0xDEB887, // rgb(222,184,135);
|
cadet_blue = 0x5F9EA0, // rgb(95,158,160)
|
||||||
CadetBlue = 0x5F9EA0, // rgb(95,158,160);
|
chartreuse = 0x7FFF00, // rgb(127,255,0)
|
||||||
Chartreuse = 0x7FFF00, // rgb(127,255,0);
|
chocolate = 0xD2691E, // rgb(210,105,30)
|
||||||
Chocolate = 0xD2691E, // rgb(210,105,30);
|
coral = 0xFF7F50, // rgb(255,127,80)
|
||||||
Coral = 0xFF7F50, // rgb(255,127,80);
|
cornflower_blue = 0x6495ED, // rgb(100,149,237)
|
||||||
CornflowerBlue = 0x6495ED, // rgb(100,149,237);
|
cornsilk = 0xFFF8DC, // rgb(255,248,220)
|
||||||
Cornsilk = 0xFFF8DC, // rgb(255,248,220);
|
crimson = 0xDC143C, // rgb(220,20,60)
|
||||||
Crimson = 0xDC143C, // rgb(220,20,60);
|
cyan = 0x00FFFF, // rgb(0,255,255)
|
||||||
Cyan = 0x00FFFF, // rgb(0,255,255);
|
dark_blue = 0x00008B, // rgb(0,0,139)
|
||||||
DarkBlue = 0x00008B, // rgb(0,0,139);
|
dark_cyan = 0x008B8B, // rgb(0,139,139)
|
||||||
DarkCyan = 0x008B8B, // rgb(0,139,139);
|
dark_golden_rod = 0xB8860B, // rgb(184,134,11)
|
||||||
DarkGoldenRod = 0xB8860B, // rgb(184,134,11);
|
dark_gray = 0xA9A9A9, // rgb(169,169,169)
|
||||||
DarkGray = 0xA9A9A9, // rgb(169,169,169);
|
dark_green = 0x006400, // rgb(0,100,0)
|
||||||
DarkGreen = 0x006400, // rgb(0,100,0);
|
dark_khaki = 0xBDB76B, // rgb(189,183,107)
|
||||||
DarkKhaki = 0xBDB76B, // rgb(189,183,107);
|
dark_magenta = 0x8B008B, // rgb(139,0,139)
|
||||||
DarkMagenta = 0x8B008B, // rgb(139,0,139);
|
dark_olive_green = 0x556B2F, // rgb(85,107,47)
|
||||||
DarkOliveGreen = 0x556B2F, // rgb(85,107,47);
|
dark_orange = 0xFF8C00, // rgb(255,140,0)
|
||||||
DarkOrange = 0xFF8C00, // rgb(255,140,0);
|
dark_orchid = 0x9932CC, // rgb(153,50,204)
|
||||||
DarkOrchid = 0x9932CC, // rgb(153,50,204);
|
dark_red = 0x8B0000, // rgb(139,0,0)
|
||||||
DarkRed = 0x8B0000, // rgb(139,0,0);
|
dark_salmon = 0xE9967A, // rgb(233,150,122)
|
||||||
DarkSalmon = 0xE9967A, // rgb(233,150,122);
|
dark_sea_green = 0x8FBC8F, // rgb(143,188,143)
|
||||||
DarkSeaGreen = 0x8FBC8F, // rgb(143,188,143);
|
dark_slate_blue = 0x483D8B, // rgb(72,61,139)
|
||||||
DarkSlateBlue = 0x483D8B, // rgb(72,61,139);
|
dark_slate_gray = 0x2F4F4F, // rgb(47,79,79)
|
||||||
DarkSlateGray = 0x2F4F4F, // rgb(47,79,79);
|
dark_turquoise = 0x00CED1, // rgb(0,206,209)
|
||||||
DarkTurquoise = 0x00CED1, // rgb(0,206,209);
|
dark_violet = 0x9400D3, // rgb(148,0,211)
|
||||||
DarkViolet = 0x9400D3, // rgb(148,0,211);
|
deep_pink = 0xFF1493, // rgb(255,20,147)
|
||||||
DeepPink = 0xFF1493, // rgb(255,20,147);
|
deep_sky_blue = 0x00BFFF, // rgb(0,191,255)
|
||||||
DeepSkyBlue = 0x00BFFF, // rgb(0,191,255);
|
dim_gray = 0x696969, // rgb(105,105,105)
|
||||||
DimGray = 0x696969, // rgb(105,105,105);
|
dodger_blue = 0x1E90FF, // rgb(30,144,255)
|
||||||
DodgerBlue = 0x1E90FF, // rgb(30,144,255);
|
fire_brick = 0xB22222, // rgb(178,34,34)
|
||||||
FireBrick = 0xB22222, // rgb(178,34,34);
|
floral_white = 0xFFFAF0, // rgb(255,250,240)
|
||||||
FloralWhite = 0xFFFAF0, // rgb(255,250,240);
|
forest_green = 0x228B22, // rgb(34,139,34)
|
||||||
ForestGreen = 0x228B22, // rgb(34,139,34);
|
fuchsia = 0xFF00FF, // rgb(255,0,255)
|
||||||
Fuchsia = 0xFF00FF, // rgb(255,0,255);
|
gainsboro = 0xDCDCDC, // rgb(220,220,220)
|
||||||
Gainsboro = 0xDCDCDC, // rgb(220,220,220);
|
ghost_white = 0xF8F8FF, // rgb(248,248,255)
|
||||||
GhostWhite = 0xF8F8FF, // rgb(248,248,255);
|
gold = 0xFFD700, // rgb(255,215,0)
|
||||||
Gold = 0xFFD700, // rgb(255,215,0);
|
golden_rod = 0xDAA520, // rgb(218,165,32)
|
||||||
GoldenRod = 0xDAA520, // rgb(218,165,32);
|
gray = 0x808080, // rgb(128,128,128)
|
||||||
Gray = 0x808080, // rgb(128,128,128);
|
green = 0x008000, // rgb(0,128,0)
|
||||||
Green = 0x008000, // rgb(0,128,0);
|
green_yellow = 0xADFF2F, // rgb(173,255,47)
|
||||||
GreenYellow = 0xADFF2F, // rgb(173,255,47);
|
honey_dew = 0xF0FFF0, // rgb(240,255,240)
|
||||||
HoneyDew = 0xF0FFF0, // rgb(240,255,240);
|
hot_pink = 0xFF69B4, // rgb(255,105,180)
|
||||||
HotPink = 0xFF69B4, // rgb(255,105,180);
|
indian_red = 0xCD5C5C, // rgb(205,92,92)
|
||||||
IndianRed = 0xCD5C5C, // rgb(205,92,92);
|
indigo = 0x4B0082, // rgb(75,0,130)
|
||||||
Indigo = 0x4B0082, // rgb(75,0,130);
|
ivory = 0xFFFFF0, // rgb(255,255,240)
|
||||||
Ivory = 0xFFFFF0, // rgb(255,255,240);
|
khaki = 0xF0E68C, // rgb(240,230,140)
|
||||||
Khaki = 0xF0E68C, // rgb(240,230,140);
|
lavender = 0xE6E6FA, // rgb(230,230,250)
|
||||||
Lavender = 0xE6E6FA, // rgb(230,230,250);
|
lavender_blush = 0xFFF0F5, // rgb(255,240,245)
|
||||||
LavenderBlush = 0xFFF0F5, // rgb(255,240,245);
|
lawn_green = 0x7CFC00, // rgb(124,252,0)
|
||||||
LawnGreen = 0x7CFC00, // rgb(124,252,0);
|
lemon_chiffon = 0xFFFACD, // rgb(255,250,205)
|
||||||
LemonChiffon = 0xFFFACD, // rgb(255,250,205);
|
light_blue = 0xADD8E6, // rgb(173,216,230)
|
||||||
LightBlue = 0xADD8E6, // rgb(173,216,230);
|
light_coral = 0xF08080, // rgb(240,128,128)
|
||||||
LightCoral = 0xF08080, // rgb(240,128,128);
|
light_cyan = 0xE0FFFF, // rgb(224,255,255)
|
||||||
LightCyan = 0xE0FFFF, // rgb(224,255,255);
|
light_golden_rod_yellow = 0xFAFAD2, // rgb(250,250,210)
|
||||||
LightGoldenRodYellow = 0xFAFAD2, // rgb(250,250,210);
|
light_gray = 0xD3D3D3, // rgb(211,211,211)
|
||||||
LightGray = 0xD3D3D3, // rgb(211,211,211);
|
light_green = 0x90EE90, // rgb(144,238,144)
|
||||||
LightGreen = 0x90EE90, // rgb(144,238,144);
|
light_pink = 0xFFB6C1, // rgb(255,182,193)
|
||||||
LightPink = 0xFFB6C1, // rgb(255,182,193);
|
light_salmon = 0xFFA07A, // rgb(255,160,122)
|
||||||
LightSalmon = 0xFFA07A, // rgb(255,160,122);
|
light_sea_green = 0x20B2AA, // rgb(32,178,170)
|
||||||
LightSeaGreen = 0x20B2AA, // rgb(32,178,170);
|
light_sky_blue = 0x87CEFA, // rgb(135,206,250)
|
||||||
LightSkyBlue = 0x87CEFA, // rgb(135,206,250);
|
light_slate_gray = 0x778899, // rgb(119,136,153)
|
||||||
LightSlateGray = 0x778899, // rgb(119,136,153);
|
light_steel_blue = 0xB0C4DE, // rgb(176,196,222)
|
||||||
LightSteelBlue = 0xB0C4DE, // rgb(176,196,222);
|
light_yellow = 0xFFFFE0, // rgb(255,255,224)
|
||||||
LightYellow = 0xFFFFE0, // rgb(255,255,224);
|
lime = 0x00FF00, // rgb(0,255,0)
|
||||||
Lime = 0x00FF00, // rgb(0,255,0);
|
lime_green = 0x32CD32, // rgb(50,205,50)
|
||||||
LimeGreen = 0x32CD32, // rgb(50,205,50);
|
linen = 0xFAF0E6, // rgb(250,240,230)
|
||||||
Linen = 0xFAF0E6, // rgb(250,240,230);
|
magenta = 0xFF00FF, // rgb(255,0,255)
|
||||||
Magenta = 0xFF00FF, // rgb(255,0,255);
|
maroon = 0x800000, // rgb(128,0,0)
|
||||||
Maroon = 0x800000, // rgb(128,0,0);
|
medium_aqua_marine = 0x66CDAA, // rgb(102,205,170)
|
||||||
MediumAquaMarine = 0x66CDAA, // rgb(102,205,170);
|
medium_blue = 0x0000CD, // rgb(0,0,205)
|
||||||
MediumBlue = 0x0000CD, // rgb(0,0,205);
|
medium_orchid = 0xBA55D3, // rgb(186,85,211)
|
||||||
MediumOrchid = 0xBA55D3, // rgb(186,85,211);
|
medium_purple = 0x9370DB, // rgb(147,112,219)
|
||||||
MediumPurple = 0x9370DB, // rgb(147,112,219);
|
medium_sea_green = 0x3CB371, // rgb(60,179,113)
|
||||||
MediumSeaGreen = 0x3CB371, // rgb(60,179,113);
|
medium_slate_blue = 0x7B68EE, // rgb(123,104,238)
|
||||||
MediumSlateBlue = 0x7B68EE, // rgb(123,104,238);
|
medium_spring_green = 0x00FA9A, // rgb(0,250,154)
|
||||||
MediumSpringGreen = 0x00FA9A, // rgb(0,250,154);
|
medium_turquoise = 0x48D1CC, // rgb(72,209,204)
|
||||||
MediumTurquoise = 0x48D1CC, // rgb(72,209,204);
|
medium_violet_red = 0xC71585, // rgb(199,21,133)
|
||||||
MediumVioletRed = 0xC71585, // rgb(199,21,133);
|
midnight_blue = 0x191970, // rgb(25,25,112)
|
||||||
MidnightBlue = 0x191970, // rgb(25,25,112);
|
mint_cream = 0xF5FFFA, // rgb(245,255,250)
|
||||||
MintCream = 0xF5FFFA, // rgb(245,255,250);
|
misty_rose = 0xFFE4E1, // rgb(255,228,225)
|
||||||
MistyRose = 0xFFE4E1, // rgb(255,228,225);
|
moccasin = 0xFFE4B5, // rgb(255,228,181)
|
||||||
Moccasin = 0xFFE4B5, // rgb(255,228,181);
|
navajo_white = 0xFFDEAD, // rgb(255,222,173)
|
||||||
NavajoWhite = 0xFFDEAD, // rgb(255,222,173);
|
navy = 0x000080, // rgb(0,0,128)
|
||||||
Navy = 0x000080, // rgb(0,0,128);
|
old_lace = 0xFDF5E6, // rgb(253,245,230)
|
||||||
OldLace = 0xFDF5E6, // rgb(253,245,230);
|
olive = 0x808000, // rgb(128,128,0)
|
||||||
Olive = 0x808000, // rgb(128,128,0);
|
olive_drab = 0x6B8E23, // rgb(107,142,35)
|
||||||
OliveDrab = 0x6B8E23, // rgb(107,142,35);
|
orange = 0xFFA500, // rgb(255,165,0)
|
||||||
Orange = 0xFFA500, // rgb(255,165,0);
|
orange_red = 0xFF4500, // rgb(255,69,0)
|
||||||
OrangeRed = 0xFF4500, // rgb(255,69,0);
|
orchid = 0xDA70D6, // rgb(218,112,214)
|
||||||
Orchid = 0xDA70D6, // rgb(218,112,214);
|
pale_golden_rod = 0xEEE8AA, // rgb(238,232,170)
|
||||||
PaleGoldenRod = 0xEEE8AA, // rgb(238,232,170);
|
pale_green = 0x98FB98, // rgb(152,251,152)
|
||||||
PaleGreen = 0x98FB98, // rgb(152,251,152);
|
pale_turquoise = 0xAFEEEE, // rgb(175,238,238)
|
||||||
PaleTurquoise = 0xAFEEEE, // rgb(175,238,238);
|
pale_violet_red = 0xDB7093, // rgb(219,112,147)
|
||||||
PaleVioletRed = 0xDB7093, // rgb(219,112,147);
|
papaya_whip = 0xFFEFD5, // rgb(255,239,213)
|
||||||
PapayaWhip = 0xFFEFD5, // rgb(255,239,213);
|
peach_puff = 0xFFDAB9, // rgb(255,218,185)
|
||||||
PeachPuff = 0xFFDAB9, // rgb(255,218,185);
|
peru = 0xCD853F, // rgb(205,133,63)
|
||||||
Peru = 0xCD853F, // rgb(205,133,63);
|
pink = 0xFFC0CB, // rgb(255,192,203)
|
||||||
Pink = 0xFFC0CB, // rgb(255,192,203);
|
plum = 0xDDA0DD, // rgb(221,160,221)
|
||||||
Plum = 0xDDA0DD, // rgb(221,160,221);
|
powder_blue = 0xB0E0E6, // rgb(176,224,230)
|
||||||
PowderBlue = 0xB0E0E6, // rgb(176,224,230);
|
purple = 0x800080, // rgb(128,0,128)
|
||||||
Purple = 0x800080, // rgb(128,0,128);
|
rebecca_purple = 0x663399, // rgb(102,51,153)
|
||||||
RebeccaPurple = 0x663399, // rgb(102,51,153);
|
red = 0xFF0000, // rgb(255,0,0)
|
||||||
Red = 0xFF0000, // rgb(255,0,0);
|
rosy_brown = 0xBC8F8F, // rgb(188,143,143)
|
||||||
RosyBrown = 0xBC8F8F, // rgb(188,143,143);
|
royal_blue = 0x4169E1, // rgb(65,105,225)
|
||||||
RoyalBlue = 0x4169E1, // rgb(65,105,225);
|
saddle_brown = 0x8B4513, // rgb(139,69,19)
|
||||||
SaddleBrown = 0x8B4513, // rgb(139,69,19);
|
salmon = 0xFA8072, // rgb(250,128,114)
|
||||||
Salmon = 0xFA8072, // rgb(250,128,114);
|
sandy_brown = 0xF4A460, // rgb(244,164,96)
|
||||||
SandyBrown = 0xF4A460, // rgb(244,164,96);
|
sea_green = 0x2E8B57, // rgb(46,139,87)
|
||||||
SeaGreen = 0x2E8B57, // rgb(46,139,87);
|
sea_shell = 0xFFF5EE, // rgb(255,245,238)
|
||||||
SeaShell = 0xFFF5EE, // rgb(255,245,238);
|
sienna = 0xA0522D, // rgb(160,82,45)
|
||||||
Sienna = 0xA0522D, // rgb(160,82,45);
|
silver = 0xC0C0C0, // rgb(192,192,192)
|
||||||
Silver = 0xC0C0C0, // rgb(192,192,192);
|
sky_blue = 0x87CEEB, // rgb(135,206,235)
|
||||||
SkyBlue = 0x87CEEB, // rgb(135,206,235);
|
slate_blue = 0x6A5ACD, // rgb(106,90,205)
|
||||||
SlateBlue = 0x6A5ACD, // rgb(106,90,205);
|
slate_gray = 0x708090, // rgb(112,128,144)
|
||||||
SlateGray = 0x708090, // rgb(112,128,144);
|
snow = 0xFFFAFA, // rgb(255,250,250)
|
||||||
Snow = 0xFFFAFA, // rgb(255,250,250);
|
spring_green = 0x00FF7F, // rgb(0,255,127)
|
||||||
SpringGreen = 0x00FF7F, // rgb(0,255,127);
|
steel_blue = 0x4682B4, // rgb(70,130,180)
|
||||||
SteelBlue = 0x4682B4, // rgb(70,130,180);
|
tan = 0xD2B48C, // rgb(210,180,140)
|
||||||
Tan = 0xD2B48C, // rgb(210,180,140);
|
teal = 0x008080, // rgb(0,128,128)
|
||||||
Teal = 0x008080, // rgb(0,128,128);
|
thistle = 0xD8BFD8, // rgb(216,191,216)
|
||||||
Thistle = 0xD8BFD8, // rgb(216,191,216);
|
tomato = 0xFF6347, // rgb(255,99,71)
|
||||||
Tomato = 0xFF6347, // rgb(255,99,71);
|
turquoise = 0x40E0D0, // rgb(64,224,208)
|
||||||
Turquoise = 0x40E0D0, // rgb(64,224,208);
|
violet = 0xEE82EE, // rgb(238,130,238)
|
||||||
Violet = 0xEE82EE, // rgb(238,130,238);
|
wheat = 0xF5DEB3, // rgb(245,222,179)
|
||||||
Wheat = 0xF5DEB3, // rgb(245,222,179);
|
white = 0xFFFFFF, // rgb(255,255,255)
|
||||||
White = 0xFFFFFF, // rgb(255,255,255);
|
white_smoke = 0xF5F5F5, // rgb(245,245,245)
|
||||||
WhiteSmoke = 0xF5F5F5, // rgb(245,245,245);
|
yellow = 0xFFFF00, // rgb(255,255,0)
|
||||||
Yellow = 0xFFFF00, // rgb(255,255,0);
|
yellow_green = 0x9ACD32, // rgb(154,205,50)
|
||||||
YellowGreen = 0x9ACD32, // rgb(154,205,50);
|
}; // enum class colors
|
||||||
}; // enum hex
|
|
||||||
|
|
||||||
FMT_END_NAMESPACE
|
FMT_END_NAMESPACE
|
||||||
|
|
||||||
|
#endif // FMT_COLORS_H_
|
||||||
#endif // FMT_COLORS_H_
|
|
||||||
|
Reference in New Issue
Block a user