Calamity.Types.Model.User

A User

Documentation

data User

Constructors

User

Fields

• id :: Snowflake User
• username :: Text
• discriminator :: Text
• bot :: Maybe Bool
• avatar :: Maybe Text
• mfaEnabled :: Maybe Bool
• verified :: Maybe Bool
• email :: Maybe Text
• flags :: Maybe Word64
• premiumType :: Maybe Word64

Instances

Eq User

Defined in Calamity.Types.Model.User

Methods

(==) :: User -> User -> Bool

(/=) :: User -> User -> Bool

Show User

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> User -> ShowS

show :: User -> String

showList :: [User] -> ShowS

Generic User

Defined in Calamity.Types.Model.User

Associated Types

type Rep User :: Type -> Type

Methods

from :: User -> Rep User x

to :: Rep User x -> User

ToJSON User

Defined in Calamity.Types.Model.User

Methods

toJSON :: User -> Value

toEncoding :: User -> Encoding

toJSONList :: [User] -> Value

toEncodingList :: [User] -> Encoding

FromJSON User

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser User

parseJSONList :: Value -> Parser [User]

NFData User

Defined in Calamity.Types.Model.User

Methods

rnf :: User -> ()

TextShow User

Defined in Calamity.Types.Model.User

Methods

showbPrec :: Int -> User -> Builder

showb :: User -> Builder

showbList :: [User] -> Builder

showtPrec :: Int -> User -> Text

showt :: User -> Text

showtList :: [User] -> Text

showtlPrec :: Int -> User -> Text

showtl :: User -> Text

showtlList :: [User] -> Text

Updateable User

Defined in Calamity.Internal.Updateable

Associated Types

type Updated User

Methods

update :: Updated User -> User -> User

Tellable User

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: EffectRow). (BotC r, Member (Error RestError) r) => User -> Sem r (Snowflake Channel)

Mentionable User

Defined in Calamity.Utils.Message

Methods

mention :: User -> Text

HasID Member User

Defined in Calamity.Types.Model.User

Methods

getID :: User -> Snowflake Member

HasID User Message

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: Message -> Snowflake User

HasID User Member

Defined in Calamity.Types.Model.Guild.Member

Methods

getID :: Member -> Snowflake User

HasID User User

Defined in Calamity.Types.Model.User

Methods

getID :: User -> Snowflake User

HasID User Presence

Defined in Calamity.Types.Model.Presence.Presence

Methods

getID :: Presence -> Snowflake User

HasID User GroupChannel

Defined in Calamity.Types.Model.Channel.Group

Methods

getID :: GroupChannel -> Snowflake User

HasID User BanData

Defined in Calamity.Types.Model.Guild.Ban

Methods

getID :: BanData -> Snowflake User

HasID User AuditLogEntry

Defined in Calamity.Types.Model.Guild.AuditLog

Methods

getID :: AuditLogEntry -> Snowflake User

HasID User ReactionEvtData

Defined in Calamity.Gateway.DispatchEvents

Methods

getID :: ReactionEvtData -> Snowflake User

HasID User LightContext

Defined in Calamity.Commands.Context

Methods

getID :: LightContext -> Snowflake User

HasID User FullContext

Defined in Calamity.Commands.Context

Methods

getID :: FullContext -> Snowflake User

Member (CacheEff :: (Type -> Type) -> Type -> Type) r => ParameterParser User c r

ParameterParser for users, this only looks in the cache. Use Snowflake User and use upgrade if you want to allow fetching from http.

Defined in Calamity.Commands.CalamityParsers

Associated Types

type ParserResult User

Methods

parameterInfo :: ParameterInfo

parameterDescription :: Text

parse :: Sem (ParserEffs c r) (ParserResult User)

HasID User (Partial User)

Defined in Calamity.Types.Model.User

Methods

getID :: Partial User -> Snowflake User

Upgradeable User (Snowflake User)

Defined in Calamity.Types.Upgradeable

Methods

upgrade :: forall (r :: EffectRow). BotC r => Snowflake User -> Sem r (Maybe User)

Eq (Partial User)

Defined in Calamity.Types.Model.User

Methods

(==) :: Partial User -> Partial User -> Bool

(/=) :: Partial User -> Partial User -> Bool

Show (Partial User)

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> Partial User -> ShowS

show :: Partial User -> String

showList :: [Partial User] -> ShowS

Generic (Partial User)

Defined in Calamity.Types.Model.User

Associated Types

type Rep (Partial User) :: Type -> Type

Methods

from :: Partial User -> Rep (Partial User) x

to :: Rep (Partial User) x -> Partial User

ToJSON (Partial User)

Defined in Calamity.Types.Model.User

Methods

toJSON :: Partial User -> Value

toEncoding :: Partial User -> Encoding

toJSONList :: [Partial User] -> Value

toEncodingList :: [Partial User] -> Encoding

FromJSON (Partial User)

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser (Partial User)

parseJSONList :: Value -> Parser [Partial User]

TextShow (Partial User)

Defined in Calamity.Types.Model.User

Methods

showbPrec :: Int -> Partial User -> Builder

showb :: Partial User -> Builder

showbList :: [Partial User] -> Builder

showtPrec :: Int -> Partial User -> Text

showt :: Partial User -> Text

showtList :: [Partial User] -> Text

showtlPrec :: Int -> Partial User -> Text

showtl :: Partial User -> Text

showtlList :: [Partial User] -> Text

Tellable (Snowflake User)

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: EffectRow). (BotC r, Member (Error RestError) r) => Snowflake User -> Sem r (Snowflake Channel)

ToMessage (TMention User)

Add a User id to the list of allowed user mentions

Defined in Calamity.Types.Tellable

Methods

intoMsg :: TMention User -> Endo CreateMessageOptions

Mentionable (Snowflake User)

Defined in Calamity.Utils.Message

Methods

mention :: Snowflake User -> Text

ParameterParser (Snowflake User) c r

Accepts both plain IDs and mentions

Defined in Calamity.Commands.CalamityParsers

Associated Types

type ParserResult (Snowflake User)

Methods

parameterInfo :: ParameterInfo

parameterDescription :: Text

parse :: Sem (ParserEffs c r) (ParserResult (Snowflake User))

type Rep User

Defined in Calamity.Types.Model.User

type Rep User = D1 ('MetaData "User" "Calamity.Types.Model.User" "calamity-0.3.0.0-inplace" 'False) (C1 ('MetaCons "User" 'PrefixI 'True) (((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Snowflake User)) :*: S1 ('MetaSel ('Just "username") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "discriminator") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: (S1 ('MetaSel ('Just "bot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "avatar") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text))))) :*: ((S1 ('MetaSel ('Just "mfaEnabled") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool)) :*: S1 ('MetaSel ('Just "verified") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Bool))) :*: (S1 ('MetaSel ('Just "email") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Text)) :*: (S1 ('MetaSel ('Just "flags") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word64)) :*: S1 ('MetaSel ('Just "premiumType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Word64)))))))

type ParserResult User

Defined in Calamity.Commands.CalamityParsers

type ParserResult User = User

newtype Partial User

Defined in Calamity.Types.Model.User

newtype Partial User = PartialUser {

• id :: Snowflake User

}

type Updated User

Defined in Calamity.Internal.Updateable

type Updated User = User

type Rep (Partial User)

Defined in Calamity.Types.Model.User

type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.3.0.0-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))

type ParserResult (Snowflake User)

Defined in Calamity.Commands.CalamityParsers

type ParserResult (Snowflake User) = Snowflake User

data family Partial t

Instances

HasID Channel (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

getID :: Partial Channel -> Snowflake Channel

HasID Channel (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: Partial Message -> Snowflake Channel

HasID Guild (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

getID :: Partial Guild -> Snowflake Guild

HasID User (Partial User)

Defined in Calamity.Types.Model.User

Methods

getID :: Partial User -> Snowflake User

HasID Emoji (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

getID :: Partial Emoji -> Snowflake Emoji

Eq (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

(==) :: Partial Channel -> Partial Channel -> Bool

(/=) :: Partial Channel -> Partial Channel -> Bool

Eq (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

(==) :: Partial Guild -> Partial Guild -> Bool

(/=) :: Partial Guild -> Partial Guild -> Bool

Eq (Partial User)

Defined in Calamity.Types.Model.User

Methods

(==) :: Partial User -> Partial User -> Bool

(/=) :: Partial User -> Partial User -> Bool

Eq (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

(==) :: Partial Emoji -> Partial Emoji -> Bool

(/=) :: Partial Emoji -> Partial Emoji -> Bool

Show (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

showsPrec :: Int -> Partial Channel -> ShowS

show :: Partial Channel -> String

showList :: [Partial Channel] -> ShowS

Show (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

Methods

showsPrec :: Int -> Partial Message -> ShowS

show :: Partial Message -> String

showList :: [Partial Message] -> ShowS

Show (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

showsPrec :: Int -> Partial Guild -> ShowS

show :: Partial Guild -> String

showList :: [Partial Guild] -> ShowS

Show (Partial User)

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> Partial User -> ShowS

show :: Partial User -> String

showList :: [Partial User] -> ShowS

Show (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

showsPrec :: Int -> Partial Emoji -> ShowS

show :: Partial Emoji -> String

showList :: [Partial Emoji] -> ShowS

Generic (Partial Channel)

Defined in Calamity.Types.Model.Channel

Associated Types

type Rep (Partial Channel) :: Type -> Type

Methods

from :: Partial Channel -> Rep (Partial Channel) x

to :: Rep (Partial Channel) x -> Partial Channel

Generic (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

Associated Types

type Rep (Partial Message) :: Type -> Type

Methods

from :: Partial Message -> Rep (Partial Message) x

to :: Rep (Partial Message) x -> Partial Message

Generic (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Associated Types

type Rep (Partial Guild) :: Type -> Type

Methods

from :: Partial Guild -> Rep (Partial Guild) x

to :: Rep (Partial Guild) x -> Partial Guild

Generic (Partial User)

Defined in Calamity.Types.Model.User

Associated Types

type Rep (Partial User) :: Type -> Type

Methods

from :: Partial User -> Rep (Partial User) x

to :: Rep (Partial User) x -> Partial User

Generic (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Associated Types

type Rep (Partial Emoji) :: Type -> Type

Methods

from :: Partial Emoji -> Rep (Partial Emoji) x

to :: Rep (Partial Emoji) x -> Partial Emoji

ToJSON (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

toJSON :: Partial Channel -> Value

toEncoding :: Partial Channel -> Encoding

toJSONList :: [Partial Channel] -> Value

toEncodingList :: [Partial Channel] -> Encoding

ToJSON (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

toJSON :: Partial Guild -> Value

toEncoding :: Partial Guild -> Encoding

toJSONList :: [Partial Guild] -> Value

toEncodingList :: [Partial Guild] -> Encoding

ToJSON (Partial User)

Defined in Calamity.Types.Model.User

Methods

toJSON :: Partial User -> Value

toEncoding :: Partial User -> Encoding

toJSONList :: [Partial User] -> Value

toEncodingList :: [Partial User] -> Encoding

ToJSON (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

toJSON :: Partial Emoji -> Value

toEncoding :: Partial Emoji -> Encoding

toJSONList :: [Partial Emoji] -> Value

toEncodingList :: [Partial Emoji] -> Encoding

FromJSON (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

parseJSON :: Value -> Parser (Partial Channel)

parseJSONList :: Value -> Parser [Partial Channel]

FromJSON (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

Methods

parseJSON :: Value -> Parser (Partial Message)

parseJSONList :: Value -> Parser [Partial Message]

FromJSON (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

parseJSON :: Value -> Parser (Partial Guild)

parseJSONList :: Value -> Parser [Partial Guild]

FromJSON (Partial User)

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser (Partial User)

parseJSONList :: Value -> Parser [Partial User]

FromJSON (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

parseJSON :: Value -> Parser (Partial Emoji)

parseJSONList :: Value -> Parser [Partial Emoji]

TextShow (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

showbPrec :: Int -> Partial Channel -> Builder

showb :: Partial Channel -> Builder

showbList :: [Partial Channel] -> Builder

showtPrec :: Int -> Partial Channel -> Text

showt :: Partial Channel -> Text

showtList :: [Partial Channel] -> Text

showtlPrec :: Int -> Partial Channel -> Text

showtl :: Partial Channel -> Text

showtlList :: [Partial Channel] -> Text

TextShow (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

Methods

showbPrec :: Int -> Partial Message -> Builder

showb :: Partial Message -> Builder

showbList :: [Partial Message] -> Builder

showtPrec :: Int -> Partial Message -> Text

showt :: Partial Message -> Text

showtList :: [Partial Message] -> Text

showtlPrec :: Int -> Partial Message -> Text

showtl :: Partial Message -> Text

showtlList :: [Partial Message] -> Text

TextShow (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

Methods

showbPrec :: Int -> Partial Guild -> Builder

showb :: Partial Guild -> Builder

showbList :: [Partial Guild] -> Builder

showtPrec :: Int -> Partial Guild -> Text

showt :: Partial Guild -> Text

showtList :: [Partial Guild] -> Text

showtlPrec :: Int -> Partial Guild -> Text

showtl :: Partial Guild -> Text

showtlList :: [Partial Guild] -> Text

TextShow (Partial User)

Defined in Calamity.Types.Model.User

Methods

showbPrec :: Int -> Partial User -> Builder

showb :: Partial User -> Builder

showbList :: [Partial User] -> Builder

showtPrec :: Int -> Partial User -> Text

showt :: Partial User -> Text

showtList :: [Partial User] -> Text

showtlPrec :: Int -> Partial User -> Text

showtl :: Partial User -> Text

showtlList :: [Partial User] -> Text

TextShow (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

Methods

showbPrec :: Int -> Partial Emoji -> Builder

showb :: Partial Emoji -> Builder

showbList :: [Partial Emoji] -> Builder

showtPrec :: Int -> Partial Emoji -> Text

showt :: Partial Emoji -> Text

showtList :: [Partial Emoji] -> Text

showtlPrec :: Int -> Partial Emoji -> Text

showtl :: Partial Emoji -> Text

showtlList :: [Partial Emoji] -> Text

data Partial Channel

Defined in Calamity.Types.Model.Channel

data Partial Channel = PartialChannel {

• id :: Snowflake Channel
• name :: Text
• type_ :: !ChannelType
• permissions :: Maybe Permissions
• parentID :: Maybe (Snowflake Category)

}

data Partial Message

Defined in Calamity.Types.Model.Channel.Message

data Partial Message = PartialMessage {

• channelID :: Snowflake Channel
• guildID :: Maybe (Snowflake Guild)

}

data Partial Guild

Defined in Calamity.Types.Model.Guild.Guild

data Partial Guild = PartialGuild {

• id :: Snowflake Guild
• name :: Text

}

newtype Partial User

Defined in Calamity.Types.Model.User

newtype Partial User = PartialUser {

• id :: Snowflake User

}

data Partial Emoji

Defined in Calamity.Types.Model.Guild.Emoji

data Partial Emoji = PartialEmoji {

• id :: Snowflake Emoji
• name :: Text
• animated :: Bool

}

type Rep (Partial Channel)

Defined in Calamity.Types.Model.Channel

type Rep (Partial Channel) = D1 ('MetaData "Partial" "Calamity.Types.Model.Channel" "calamity-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PartialChannel" 'PrefixI 'True) ((S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Snowflake Channel)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "type_") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ChannelType) :*: (S1 ('MetaSel ('Just "permissions") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe Permissions)) :*: S1 ('MetaSel ('Just "parentID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Snowflake Category)))))))

type Rep (Partial Message)

Defined in Calamity.Types.Model.Channel.Message

type Rep (Partial Message) = D1 ('MetaData "Partial" "Calamity.Types.Model.Channel.Message" "calamity-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PartialMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "channelID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Snowflake Channel)) :*: S1 ('MetaSel ('Just "guildID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Maybe (Snowflake Guild)))))

type Rep (Partial Guild)

Defined in Calamity.Types.Model.Guild.Guild

type Rep (Partial Guild) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Guild" "calamity-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PartialGuild" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Snowflake Guild)) :*: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)))

type Rep (Partial User)

Defined in Calamity.Types.Model.User

type Rep (Partial User) = D1 ('MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.3.0.0-inplace" 'True) (C1 ('MetaCons "PartialUser" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Snowflake User))))

type Rep (Partial Emoji)

Defined in Calamity.Types.Model.Guild.Emoji

type Rep (Partial Emoji) = D1 ('MetaData "Partial" "Calamity.Types.Model.Guild.Emoji" "calamity-0.3.0.0-inplace" 'False) (C1 ('MetaCons "PartialEmoji" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Snowflake Emoji)) :*: (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text) :*: S1 ('MetaSel ('Just "animated") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))))

data StatusType

Constructors

Idle

DND

Online

Offline

Invisible

Instances

Enum StatusType

Defined in Calamity.Types.Model.User

Methods

succ :: StatusType -> StatusType

pred :: StatusType -> StatusType

toEnum :: Int -> StatusType

fromEnum :: StatusType -> Int

enumFrom :: StatusType -> [StatusType]

enumFromThen :: StatusType -> StatusType -> [StatusType]

enumFromTo :: StatusType -> StatusType -> [StatusType]

enumFromThenTo :: StatusType -> StatusType -> StatusType -> [StatusType]

Eq StatusType

Defined in Calamity.Types.Model.User

Methods

(==) :: StatusType -> StatusType -> Bool

(/=) :: StatusType -> StatusType -> Bool

Show StatusType

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> StatusType -> ShowS

show :: StatusType -> String

showList :: [StatusType] -> ShowS

Generic StatusType

Defined in Calamity.Types.Model.User

Associated Types

type Rep StatusType :: Type -> Type

Methods

from :: StatusType -> Rep StatusType x

to :: Rep StatusType x -> StatusType

ToJSON StatusType

Defined in Calamity.Types.Model.User

Methods

toJSON :: StatusType -> Value

toEncoding :: StatusType -> Encoding

toJSONList :: [StatusType] -> Value

toEncodingList :: [StatusType] -> Encoding

FromJSON StatusType

Defined in Calamity.Types.Model.User

Methods

parseJSON :: Value -> Parser StatusType

parseJSONList :: Value -> Parser [StatusType]

NFData StatusType

Defined in Calamity.Types.Model.User

Methods

rnf :: StatusType -> ()

TextShow StatusType

Defined in Calamity.Types.Model.User

Methods

showbPrec :: Int -> StatusType -> Builder

showb :: StatusType -> Builder

showbList :: [StatusType] -> Builder

showtPrec :: Int -> StatusType -> Text

showt :: StatusType -> Text

showtList :: [StatusType] -> Text

showtlPrec :: Int -> StatusType -> Text

showtl :: StatusType -> Text

showtlList :: [StatusType] -> Text

type Rep StatusType

Defined in Calamity.Types.Model.User

type Rep StatusType = D1 ('MetaData "StatusType" "Calamity.Types.Model.User" "calamity-0.3.0.0-inplace" 'False) ((C1 ('MetaCons "Idle" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DND" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "Online" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Offline" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Invisible" 'PrefixI 'False) (U1 :: Type -> Type))))