calamity-0.8.0.0: A library for writing discord bots in haskell
Safe HaskellSafe-Inferred
LanguageHaskell2010

Calamity.Types.Model.User

Description

A User

Documentation

data User Source #

Instances

Instances details
FromJSON User Source # 
Instance details

Defined in Calamity.Types.Model.User

Show User Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> User -> ShowS #

show :: User -> String #

showList :: [User] -> ShowS #

Updateable User Source # 
Instance details

Defined in Calamity.Internal.Updateable

Associated Types

type Updated User Source #

Methods

update :: Updated User -> User -> User Source #

Tellable User Source # 
Instance details

Defined in Calamity.Types.Tellable

Methods

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

Mentionable User Source # 
Instance details

Defined in Calamity.Utils.Message

Methods

mention :: User -> Text Source #

Eq User Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

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

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

TextShow User Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID Member User Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID User FullContext Source # 
Instance details

Defined in Calamity.Commands.Context

HasID User LightContext Source # 
Instance details

Defined in Calamity.Commands.Context

HasID User ReactionEvtData Source # 
Instance details

Defined in Calamity.Gateway.DispatchEvents

HasID User GroupChannel Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Group

HasID User Message Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

HasID User MessageAuthor Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

HasID User AuditLogEntry Source # 
Instance details

Defined in Calamity.Types.Model.Guild.AuditLog

HasID User BanData Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Ban

HasID User Member Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Member

HasID User Presence Source # 
Instance details

Defined in Calamity.Types.Model.Presence.Presence

HasID User User Source # 
Instance details

Defined in Calamity.Types.Model.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.

Instance details

Defined in Calamity.Commands.CalamityParsers

Associated Types

type ParserResult User

Methods

parameterInfo :: ParameterInfo

parameterDescription :: Text

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

(k ~ A_Lens, a ~ Maybe (Colour Double), b ~ Maybe (Colour Double)) => LabelOptic "accentColour" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Avatar, b ~ Avatar) => LabelOptic "avatar" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe UserBanner, b ~ Maybe UserBanner) => LabelOptic "banner" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "bot" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "discriminator" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "email" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Word64, b ~ Maybe Word64) => LabelOptic "flags" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Snowflake User, b ~ Snowflake User) => LabelOptic "id" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Text, b ~ Maybe Text) => LabelOptic "locale" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "mfaEnabled" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Word64, b ~ Maybe Word64) => LabelOptic "premiumType" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "username" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ A_Lens, a ~ Maybe Bool, b ~ Maybe Bool) => LabelOptic "verified" k User User a b Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

labelOptic :: Optic k NoIx User User a b #

(k ~ An_Iso, a ~ Snowflake User, b ~ Snowflake User) => LabelOptic "id" k (Partial User) (Partial User) a b Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID User (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

Upgradeable User (Snowflake User) Source # 
Instance details

Defined in Calamity.Types.Upgradeable

Methods

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

FromJSON (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

Show (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

Tellable (Snowflake User) Source # 
Instance details

Defined in Calamity.Types.Tellable

Methods

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

ToMessage (TMention User) Source #

Add a User id to the list of allowed user mentions

Instance details

Defined in Calamity.Types.Tellable

Mentionable (Snowflake User) Source # 
Instance details

Defined in Calamity.Utils.Message

Eq (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

ParameterParser (Snowflake User) c r

Accepts both plain IDs and mentions

Instance details

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 Updated User Source # 
Instance details

Defined in Calamity.Internal.Updateable

newtype Partial User Source # 
Instance details

Defined in Calamity.Types.Model.User

type ParserResult User 
Instance details

Defined in Calamity.Commands.CalamityParsers

type ParserResult User = User
type ParserResult (Snowflake User) 
Instance details

Defined in Calamity.Commands.CalamityParsers

type ParserResult (Snowflake User) = Snowflake User

data UserBanner Source #

Constructors

UserBanner 

Fields

Instances

Instances details
Show UserBanner Source # 
Instance details

Defined in Calamity.Types.Model.User

CDNAsset UserBanner Source # 
Instance details

Defined in Calamity.Types.Model.User

Eq UserBanner Source # 
Instance details

Defined in Calamity.Types.Model.User

data family Partial t Source #

Instances

Instances details
(k ~ A_Lens, a ~ Bool, b ~ Bool) => LabelOptic "animated" k (Partial Emoji) (Partial Emoji) a b Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

(k ~ A_Lens, a ~ Snowflake Channel, b ~ Snowflake Channel) => LabelOptic "channelID" k (Partial Message) (Partial Message) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

(k ~ A_Lens, a ~ Maybe (Snowflake Guild), b ~ Maybe (Snowflake Guild)) => LabelOptic "guildID" k (Partial Message) (Partial Message) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

(k ~ A_Lens, a ~ Snowflake Channel, b ~ Snowflake Channel) => LabelOptic "id" k (Partial Channel) (Partial Channel) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel

(k ~ A_Lens, a ~ Snowflake Emoji, b ~ Snowflake Emoji) => LabelOptic "id" k (Partial Emoji) (Partial Emoji) a b Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

(k ~ A_Lens, a ~ Snowflake Guild, b ~ Snowflake Guild) => LabelOptic "id" k (Partial Guild) (Partial Guild) a b Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

(k ~ An_Iso, a ~ Snowflake User, b ~ Snowflake User) => LabelOptic "id" k (Partial User) (Partial User) a b Source # 
Instance details

Defined in Calamity.Types.Model.User

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k (Partial Channel) (Partial Channel) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k (Partial Emoji) (Partial Emoji) a b Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k (Partial Guild) (Partial Guild) a b Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

(k ~ A_Lens, a ~ Maybe (Snowflake Category), b ~ Maybe (Snowflake Category)) => LabelOptic "parentID" k (Partial Channel) (Partial Channel) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel

(k ~ A_Lens, a ~ Maybe Permissions, b ~ Maybe Permissions) => LabelOptic "permissions" k (Partial Channel) (Partial Channel) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel

(k ~ A_Lens, a ~ ChannelType, b ~ ChannelType) => LabelOptic "type_" k (Partial Channel) (Partial Channel) a b Source # 
Instance details

Defined in Calamity.Types.Model.Channel

HasID Channel (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

HasID Channel (Partial Message) Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

HasID Emoji (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

HasID Guild (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

HasID User (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

FromJSON (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

FromJSON (Partial Message) Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

FromJSON (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

FromJSON (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

FromJSON (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

ToJSON (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

ToJSON (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

ToJSON (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

Show (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

Show (Partial Message) Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

Show (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

Show (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

Show (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

CalamityToJSON' (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

Methods

toPairs :: KeyValue kv => Partial Channel -> [Maybe kv] Source #

CalamityToJSON' (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

Methods

toPairs :: KeyValue kv => Partial Emoji -> [Maybe kv] Source #

CalamityToJSON' (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

Methods

toPairs :: KeyValue kv => Partial Guild -> [Maybe kv] Source #

Eq (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

Eq (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

Eq (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

Eq (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

TextShow (Partial Message) Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

TextShow (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

TextShow (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

TextShow (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

data Partial Channel Source # 
Instance details

Defined in Calamity.Types.Model.Channel

data Partial Message Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

data Partial Emoji Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

data Partial Guild Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

newtype Partial User Source # 
Instance details

Defined in Calamity.Types.Model.User

data StatusType Source #

Constructors

Idle 
DND 
Online 
Offline 
Invisible 

Instances

Instances details
FromJSON StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

ToJSON StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Enum StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Show StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Eq StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User