calamity-0.1.0.0: A library for writing discord bots

Safe HaskellNone
LanguageHaskell2010

Calamity.Types.Model.User

Description

A User

Documentation

data User Source #

Instances
Eq User Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

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

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

Show User Source # 
Instance details

Defined in Calamity.Types.Model.User

Methods

showsPrec :: Int -> User -> ShowS #

show :: User -> String #

showList :: [User] -> ShowS #

Generic User Source # 
Instance details

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

Defined in Calamity.Types.Model.User

FromJSON User Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow User Source # 
Instance details

Defined in Calamity.Types.Model.User

Updateable User Source # 
Instance details

Defined in Calamity.Internal.Updateable

Associated Types

type Updated User :: Type Source #

Methods

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

Eq (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

Show (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

Generic (Partial User) Source # 
Instance details

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

Defined in Calamity.Types.Model.User

FromJSON (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID Member User Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID User Message Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Message

HasID User Member Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Member

HasID User User Source # 
Instance details

Defined in Calamity.Types.Model.User

HasID User Reaction Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Reaction

HasID User GroupChannel Source # 
Instance details

Defined in Calamity.Types.Model.Channel.Group

HasID User Presence Source # 
Instance details

Defined in Calamity.Types.Model.Presence.Presence

HasID User (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

type Rep User Source # 
Instance details

Defined in Calamity.Types.Model.User

newtype Partial User Source # 
Instance details

Defined in Calamity.Types.Model.User

type Updated User Source # 
Instance details

Defined in Calamity.Internal.Updateable

type Rep (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

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

data family Partial t Source #

Instances
Eq (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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

Eq (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

Show (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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

Show (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

Generic (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

Associated Types

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

Generic (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

Associated Types

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

Generic (Partial User) Source # 
Instance details

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

Defined in Calamity.Types.Model.Guild.Emoji

Associated Types

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

ToJSON (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

ToJSON (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

ToJSON (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

ToJSON (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

FromJSON (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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

FromJSON (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

TextShow (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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

TextShow (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

HasID Channel (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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

HasID Emoji (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

data Partial Channel Source # 
Instance details

Defined in Calamity.Types.Model.Channel

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 Partial Emoji Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

type Rep (Partial Channel) Source # 
Instance details

Defined in Calamity.Types.Model.Channel

type Rep (Partial Guild) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Guild

type Rep (Partial Guild) = D1 (MetaData "Partial" "Calamity.Types.Model.Guild.Guild" "calamity-0.1.0.0-inplace" False) (C1 (MetaCons "PartialGuild" PrefixI True) (S1 (MetaSel (Just "id") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Snowflake Guild)) :*: S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))
type Rep (Partial User) Source # 
Instance details

Defined in Calamity.Types.Model.User

type Rep (Partial User) = D1 (MetaData "Partial" "Calamity.Types.Model.User" "calamity-0.1.0.0-inplace" True) (C1 (MetaCons "PartialUser" PrefixI True) (S1 (MetaSel (Just "id") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Snowflake User))))
type Rep (Partial Emoji) Source # 
Instance details

Defined in Calamity.Types.Model.Guild.Emoji

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

data StatusType Source #

Constructors

Idle 
DND 
Online 
Offline 
Invisible 
Instances
Enum StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Eq StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Show StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Generic StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

Associated Types

type Rep StatusType :: Type -> Type #

ToJSON StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

FromJSON StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

TextShow StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

type Rep StatusType Source # 
Instance details

Defined in Calamity.Types.Model.User

type Rep StatusType = D1 (MetaData "StatusType" "Calamity.Types.Model.User" "calamity-0.1.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))))