Calamity.Types.Snowflake

The snowflake type

Documentation

newtype Snowflake t

Constructors

Snowflake

Fields

• fromSnowflake :: Word64

Instances

HasID (a :: k) (Snowflake a)

Defined in Calamity.Types.Snowflake

Methods

getID :: Snowflake a -> Snowflake a

Vector Vector (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Snowflake t) -> m (Vector (Snowflake t))

basicUnsafeThaw :: PrimMonad m => Vector (Snowflake t) -> m (Mutable Vector (PrimState m) (Snowflake t))

basicLength :: Vector (Snowflake t) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Snowflake t) -> Vector (Snowflake t)

basicUnsafeIndexM :: Monad m => Vector (Snowflake t) -> Int -> m (Snowflake t)

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Snowflake t) -> Vector (Snowflake t) -> m ()

elemseq :: Vector (Snowflake t) -> Snowflake t -> b -> b

MVector MVector (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

basicLength :: MVector s (Snowflake t) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Snowflake t) -> MVector s (Snowflake t)

basicOverlaps :: MVector s (Snowflake t) -> MVector s (Snowflake t) -> Bool

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Snowflake t))

basicInitialize :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> m ()

basicUnsafeReplicate :: PrimMonad m => Int -> Snowflake t -> m (MVector (PrimState m) (Snowflake t))

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> Int -> m (Snowflake t)

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> Int -> Snowflake t -> m ()

basicClear :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> m ()

basicSet :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> Snowflake t -> m ()

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> MVector (PrimState m) (Snowflake t) -> m ()

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> MVector (PrimState m) (Snowflake t) -> m ()

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Snowflake t) -> Int -> m (MVector (PrimState m) (Snowflake t))

Eq (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

(==) :: Snowflake t -> Snowflake t -> Bool

(/=) :: Snowflake t -> Snowflake t -> Bool

(Typeable t, Typeable k) => Data (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Snowflake t -> c (Snowflake t)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Snowflake t)

toConstr :: Snowflake t -> Constr

dataTypeOf :: Snowflake t -> DataType

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Snowflake t))

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Snowflake t))

gmapT :: (forall b. Data b => b -> b) -> Snowflake t -> Snowflake t

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Snowflake t -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Snowflake t -> r

gmapQ :: (forall d. Data d => d -> u) -> Snowflake t -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Snowflake t -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Snowflake t -> m (Snowflake t)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Snowflake t -> m (Snowflake t)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Snowflake t -> m (Snowflake t)

Ord (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

compare :: Snowflake t -> Snowflake t -> Ordering

(<) :: Snowflake t -> Snowflake t -> Bool

(<=) :: Snowflake t -> Snowflake t -> Bool

(>) :: Snowflake t -> Snowflake t -> Bool

(>=) :: Snowflake t -> Snowflake t -> Bool

max :: Snowflake t -> Snowflake t -> Snowflake t

min :: Snowflake t -> Snowflake t -> Snowflake t

Show (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

showsPrec :: Int -> Snowflake t -> ShowS

show :: Snowflake t -> String

showList :: [Snowflake t] -> ShowS

Generic (Snowflake t)

Defined in Calamity.Types.Snowflake

Associated Types

type Rep (Snowflake t) :: Type -> Type

Methods

from :: Snowflake t -> Rep (Snowflake t) x

to :: Rep (Snowflake t) x -> Snowflake t

NFData (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

rnf :: Snowflake t -> ()

FromJSON (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

parseJSON :: Value -> Parser (Snowflake t)

parseJSONList :: Value -> Parser [Snowflake t]

ToJSON (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

toJSON :: Snowflake t -> Value

toEncoding :: Snowflake t -> Encoding

toJSONList :: [Snowflake t] -> Value

toEncodingList :: [Snowflake t] -> Encoding

ToJSONKey (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

toJSONKey :: ToJSONKeyFunction (Snowflake t)

toJSONKeyList :: ToJSONKeyFunction [Snowflake t]

Hashable (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

hashWithSalt :: Int -> Snowflake t -> Int

hash :: Snowflake t -> Int

Unbox (Snowflake t)

Defined in Calamity.Types.Snowflake

TextShow (Snowflake t)

Defined in Calamity.Types.Snowflake

Methods

showbPrec :: Int -> Snowflake t -> Builder

showb :: Snowflake t -> Builder

showbList :: [Snowflake t] -> Builder

showtPrec :: Int -> Snowflake t -> Text

showt :: Snowflake t -> Text

showtList :: [Snowflake t] -> Text

showtlPrec :: Int -> Snowflake t -> Text

showtl :: Snowflake t -> Text

showtlList :: [Snowflake t] -> Text

Tellable (Snowflake Member)

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member0 (Error RestError) r) => Snowflake Member -> Sem r (Snowflake Channel)

Tellable (Snowflake User)

Defined in Calamity.Types.Tellable

Methods

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

Tellable (Snowflake TextChannel)

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member (Error RestError) r) => Snowflake TextChannel -> Sem r (Snowflake Channel)

Tellable (Snowflake DMChannel)

Defined in Calamity.Types.Tellable

Methods

getChannel :: forall (r :: [(Type -> Type) -> Type -> Type]). (BotC r, Member (Error RestError) r) => Snowflake DMChannel -> Sem r (Snowflake Channel)

newtype MVector s (Snowflake t)

Defined in Calamity.Types.Snowflake

newtype MVector s (Snowflake t) = MV_Snowflake (MVector s Word64)

type Rep (Snowflake t)

Defined in Calamity.Types.Snowflake

type Rep (Snowflake t) = D1 ('MetaData "Snowflake" "Calamity.Types.Snowflake" "calamity-0.1.6.1-inplace" 'True) (C1 ('MetaCons "Snowflake" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromSnowflake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))

newtype Vector (Snowflake t)

Defined in Calamity.Types.Snowflake

newtype Vector (Snowflake t) = V_Snowflake (Vector Word64)

class HasID b a where

A typeclass for types that contain snowflakes of type b

Methods

getID :: a -> Snowflake b

Retrieve the ID from the type

Instances

HasID (a :: k) (Snowflake a)

Defined in Calamity.Types.Snowflake

Methods

getID :: Snowflake a -> Snowflake a

(HasID b c, HasField' field a c) => HasID (b :: k) (HasIDField field a)

Defined in Calamity.Types.Snowflake

Methods

getID :: HasIDField field a -> Snowflake b

(HasID c d, HasField' field a d) => HasID (b :: k2) (HasIDFieldCoerce field a c)

Defined in Calamity.Types.Snowflake

Methods

getID :: HasIDFieldCoerce field a c -> Snowflake b

HasID Channel Channel

Defined in Calamity.Types.Model.Channel

Methods

getID :: Channel -> Snowflake Channel

HasID Channel Category

Defined in Calamity.Types.Model.Channel.Guild.Category

Methods

getID :: Category -> Snowflake Channel

HasID Channel UpdatedMessage

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: UpdatedMessage -> Snowflake Channel

HasID Channel Message

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: Message -> Snowflake Channel

HasID Channel Reaction

Defined in Calamity.Types.Model.Channel.Reaction

Methods

getID :: Reaction -> Snowflake Channel

HasID Channel VoiceChannel

Defined in Calamity.Types.Model.Channel.Guild.Voice

Methods

getID :: VoiceChannel -> Snowflake Channel

HasID Channel TextChannel

Defined in Calamity.Types.Model.Channel.Guild.Text

Methods

getID :: TextChannel -> Snowflake Channel

HasID Channel GuildChannel

Defined in Calamity.Types.Model.Channel.Guild

Methods

getID :: GuildChannel -> Snowflake Channel

HasID Channel GroupChannel

Defined in Calamity.Types.Model.Channel.Group

Methods

getID :: GroupChannel -> Snowflake Channel

HasID Channel DMChannel

Defined in Calamity.Types.Model.Channel.DM

Methods

getID :: DMChannel -> Snowflake Channel

HasID Category Category

Defined in Calamity.Types.Model.Channel.Guild.Category

Methods

getID :: Category -> Snowflake Category

HasID Message UpdatedMessage

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: UpdatedMessage -> Snowflake Message

HasID Message Message

Defined in Calamity.Types.Model.Channel.Message

Methods

getID :: Message -> Snowflake Message

HasID Message Reaction

Defined in Calamity.Types.Model.Channel.Reaction

Methods

getID :: Reaction -> Snowflake Message

HasID Guild UpdatedGuild

Defined in Calamity.Types.Model.Guild.Guild

Methods

getID :: UpdatedGuild -> Snowflake Guild

HasID Guild Guild

Defined in Calamity.Types.Model.Guild.Guild

Methods

getID :: Guild -> Snowflake Guild

HasID Guild Member

Defined in Calamity.Types.Model.Guild.Member

Methods

getID :: Member -> Snowflake Guild

HasID Guild VoiceChannel

Defined in Calamity.Types.Model.Channel.Guild.Voice

Methods

getID :: VoiceChannel -> Snowflake Guild

HasID Guild TextChannel

Defined in Calamity.Types.Model.Channel.Guild.Text

Methods

getID :: TextChannel -> Snowflake Guild

HasID Guild GuildChannel

Defined in Calamity.Types.Model.Channel.Guild

Methods

getID :: GuildChannel -> Snowflake Guild

HasID Guild Presence

Defined in Calamity.Types.Model.Presence.Presence

Methods

getID :: Presence -> Snowflake Guild

HasID Guild UnavailableGuild

Defined in Calamity.Types.Model.Guild.UnavailableGuild

Methods

getID :: UnavailableGuild -> Snowflake Guild

HasID Guild BanData

Defined in Calamity.Types.Model.Guild.Ban

Methods

getID :: BanData -> Snowflake Guild

HasID Member Member

Defined in Calamity.Types.Model.Guild.Member

Methods

getID :: Member -> Snowflake Member

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 Reaction

Defined in Calamity.Types.Model.Channel.Reaction

Methods

getID :: Reaction -> Snowflake User

HasID User GroupChannel

Defined in Calamity.Types.Model.Channel.Group

Methods

getID :: GroupChannel -> Snowflake User

HasID User AuditLogEntry

Defined in Calamity.Types.Model.Guild.AuditLog

Methods

getID :: AuditLogEntry -> Snowflake User

HasID User Presence

Defined in Calamity.Types.Model.Presence.Presence

Methods

getID :: Presence -> Snowflake User

HasID User BanData

Defined in Calamity.Types.Model.Guild.Ban

Methods

getID :: BanData -> Snowflake User

HasID Role Role

Defined in Calamity.Types.Model.Guild.Role

Methods

getID :: Role -> Snowflake Role

HasID Overwrite Overwrite

Defined in Calamity.Types.Model.Guild.Overwrite

Methods

getID :: Overwrite -> Snowflake Overwrite

HasID Emoji Emoji

Defined in Calamity.Types.Model.Guild.Emoji

Methods

getID :: Emoji -> Snowflake Emoji

HasID Webhook Webhook

Defined in Calamity.Types.Model.Channel.Webhook

Methods

getID :: Webhook -> Snowflake Webhook

HasID VoiceChannel VoiceChannel

Defined in Calamity.Types.Model.Channel.Guild.Voice

Methods

getID :: VoiceChannel -> Snowflake VoiceChannel

HasID TextChannel TextChannel

Defined in Calamity.Types.Model.Channel.Guild.Text

Methods

getID :: TextChannel -> Snowflake TextChannel

HasID GuildChannel GuildChannel

Defined in Calamity.Types.Model.Channel.Guild

Methods

getID :: GuildChannel -> Snowflake GuildChannel

HasID GroupChannel GroupChannel

Defined in Calamity.Types.Model.Channel.Group

Methods

getID :: GroupChannel -> Snowflake GroupChannel

HasID DMChannel DMChannel

Defined in Calamity.Types.Model.Channel.DM

Methods

getID :: DMChannel -> Snowflake DMChannel

HasID Attachment Attachment

Defined in Calamity.Types.Model.Channel.Attachment

Methods

getID :: Attachment -> Snowflake Attachment

HasID AuditLogEntry AuditLogEntry

Defined in Calamity.Types.Model.Guild.AuditLog

Methods

getID :: AuditLogEntry -> Snowflake AuditLogEntry

HasID Channel (Partial Channel)

Defined in Calamity.Types.Model.Channel

Methods

getID :: Partial Channel -> 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

type HasID' a = HasID a a

newtype HasIDField field a

A newtype wrapper for deriving HasID generically

Constructors

HasIDField a

Instances

(HasID b c, HasField' field a c) => HasID (b :: k) (HasIDField field a)

Defined in Calamity.Types.Snowflake

Methods

getID :: HasIDField field a -> Snowflake b

newtype HasIDFieldCoerce field a c

A data a which contains an ID of type `Snowflake c` which should be swapped with `Snowflake b` upon fetching

Constructors

HasIDFieldCoerce a

Instances

(HasID c d, HasField' field a d) => HasID (b :: k2) (HasIDFieldCoerce field a c)

Defined in Calamity.Types.Snowflake

Methods

getID :: HasIDFieldCoerce field a c -> Snowflake b

type HasIDFieldCoerce' field a = HasIDFieldCoerce field a a

coerceSnowflake :: Snowflake a -> Snowflake b