Safe Haskell	None
Language	Haskell2010

Calamity.Types.Snowflake

Description

The snowflake type

Synopsis

newtype Snowflake t = Snowflake {
- fromSnowflake :: Word64
}
class HasID b a where
- getID :: a -> Snowflake b
type HasID' a = HasID a a
newtype HasIDField field a = HasIDField a
newtype HasIDFieldCoerce field a c = HasIDFieldCoerce a
type HasIDFieldCoerce' field a = HasIDFieldCoerce field a a
coerceSnowflake :: Snowflake a -> Snowflake b

Documentation

newtype Snowflake t Source #

Constructors

Snowflake
Fields fromSnowflake :: Word64

Instances

Instances details

HasID (a :: k) (Snowflake a) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: Snowflake a -> Snowflake a Source #
Vector Vector (Snowflake t) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Calamity.Types.Snowflake Methods (==) :: Snowflake t -> Snowflake t -> Bool # (/=) :: Snowflake t -> Snowflake t -> Bool #
(Typeable t, Typeable k) => Data (Snowflake t) Source #
Instance details 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) Source #
Instance details 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) Source #
Instance details Defined in Calamity.Types.Snowflake Methods showsPrec :: Int -> Snowflake t -> ShowS # show :: Snowflake t -> String # showList :: [Snowflake t] -> ShowS #
Generic (Snowflake t) Source #
Instance details 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) Source #
Instance details Defined in Calamity.Types.Snowflake Methods rnf :: Snowflake t -> () #
FromJSON (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake Methods parseJSON :: Value -> Parser (Snowflake t) parseJSONList :: Value -> Parser [Snowflake t]
ToJSON (Snowflake t) Source #
Instance details 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) Source #
Instance details Defined in Calamity.Types.Snowflake Methods toJSONKey :: ToJSONKeyFunction (Snowflake t) toJSONKeyList :: ToJSONKeyFunction [Snowflake t]
Hashable (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake Methods hashWithSalt :: Int -> Snowflake t -> Int hash :: Snowflake t -> Int
Unbox (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake
TextShow (Snowflake t) Source #
Instance details 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
newtype MVector s (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake newtype MVector s (Snowflake t) = MV_Snowflake (MVector s Word64)
type Rep (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake type Rep (Snowflake t) = D1 ('MetaData "Snowflake" "Calamity.Types.Snowflake" "calamity-0.1.4.3-inplace" 'True) (C1 ('MetaCons "Snowflake" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromSnowflake") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Word64)))
newtype Vector (Snowflake t) Source #
Instance details Defined in Calamity.Types.Snowflake newtype Vector (Snowflake t) = V_Snowflake (Vector Word64)

class HasID b a where Source #

A typeclass for types that contain snowflakes of type b

Methods

getID :: a -> Snowflake b Source #

Retrieve the ID from the type

Instances

Instances details

HasID (a :: k) (Snowflake a) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: Snowflake a -> Snowflake a Source #
(HasID b c, HasField' field a c) => HasID (b :: k) (HasIDField field a) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: HasIDField field a -> Snowflake b Source #
(HasID c d, HasField' field a d) => HasID (b :: k2) (HasIDFieldCoerce field a c) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: HasIDFieldCoerce field a c -> Snowflake b Source #
HasID Channel Channel Source #
Instance details Defined in Calamity.Types.Model.Channel Methods getID :: Channel -> Snowflake Channel Source #
HasID Channel Category Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Category Methods getID :: Category -> Snowflake Channel Source #
HasID Channel UpdatedMessage Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: UpdatedMessage -> Snowflake Channel Source #
HasID Channel Message Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: Message -> Snowflake Channel Source #
HasID Channel Reaction Source #
Instance details Defined in Calamity.Types.Model.Channel.Reaction Methods getID :: Reaction -> Snowflake Channel Source #
HasID Channel VoiceChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Voice Methods getID :: VoiceChannel -> Snowflake Channel Source #
HasID Channel TextChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Text Methods getID :: TextChannel -> Snowflake Channel Source #
HasID Channel GuildChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild Methods getID :: GuildChannel -> Snowflake Channel Source #
HasID Channel GroupChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Group Methods getID :: GroupChannel -> Snowflake Channel Source #
HasID Channel DMChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.DM Methods getID :: DMChannel -> Snowflake Channel Source #
HasID Category Category Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Category Methods getID :: Category -> Snowflake Category Source #
HasID Message UpdatedMessage Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: UpdatedMessage -> Snowflake Message Source #
HasID Message Message Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: Message -> Snowflake Message Source #
HasID Message Reaction Source #
Instance details Defined in Calamity.Types.Model.Channel.Reaction Methods getID :: Reaction -> Snowflake Message Source #
HasID Guild UpdatedGuild Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods getID :: UpdatedGuild -> Snowflake Guild Source #
HasID Guild Guild Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods getID :: Guild -> Snowflake Guild Source #
HasID Guild Member Source #
Instance details Defined in Calamity.Types.Model.Guild.Member Methods getID :: Member -> Snowflake Guild Source #
HasID Guild VoiceChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Voice Methods getID :: VoiceChannel -> Snowflake Guild Source #
HasID Guild TextChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Text Methods getID :: TextChannel -> Snowflake Guild Source #
HasID Guild GuildChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild Methods getID :: GuildChannel -> Snowflake Guild Source #
HasID Guild Presence Source #
Instance details Defined in Calamity.Types.Model.Presence.Presence Methods getID :: Presence -> Snowflake Guild Source #
HasID Guild UnavailableGuild Source #
Instance details Defined in Calamity.Types.Model.Guild.UnavailableGuild Methods getID :: UnavailableGuild -> Snowflake Guild Source #
HasID Guild BanData Source #
Instance details Defined in Calamity.Types.Model.Guild.Ban Methods getID :: BanData -> Snowflake Guild Source #
HasID Member Member Source #
Instance details Defined in Calamity.Types.Model.Guild.Member Methods getID :: Member -> Snowflake Member Source #
HasID Member User Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: User -> Snowflake Member Source #
HasID User Message Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: Message -> Snowflake User Source #
HasID User Member Source #
Instance details Defined in Calamity.Types.Model.Guild.Member Methods getID :: Member -> Snowflake User Source #
HasID User User Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: User -> Snowflake User Source #
HasID User Reaction Source #
Instance details Defined in Calamity.Types.Model.Channel.Reaction Methods getID :: Reaction -> Snowflake User Source #
HasID User GroupChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Group Methods getID :: GroupChannel -> Snowflake User Source #
HasID User Presence Source #
Instance details Defined in Calamity.Types.Model.Presence.Presence Methods getID :: Presence -> Snowflake User Source #
HasID User BanData Source #
Instance details Defined in Calamity.Types.Model.Guild.Ban Methods getID :: BanData -> Snowflake User Source #
HasID Role Role Source #
Instance details Defined in Calamity.Types.Model.Guild.Role Methods getID :: Role -> Snowflake Role Source #
HasID Overwrite Overwrite Source #
Instance details Defined in Calamity.Types.Model.Guild.Overwrite Methods getID :: Overwrite -> Snowflake Overwrite Source #
HasID Emoji Emoji Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods getID :: Emoji -> Snowflake Emoji Source #
HasID Webhook Webhook Source #
Instance details Defined in Calamity.Types.Model.Channel.Webhook Methods getID :: Webhook -> Snowflake Webhook Source #
HasID VoiceChannel VoiceChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Voice Methods getID :: VoiceChannel -> Snowflake VoiceChannel Source #
HasID TextChannel TextChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild.Text Methods getID :: TextChannel -> Snowflake TextChannel Source #
HasID GuildChannel GuildChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Guild Methods getID :: GuildChannel -> Snowflake GuildChannel Source #
HasID GroupChannel GroupChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.Group Methods getID :: GroupChannel -> Snowflake GroupChannel Source #
HasID DMChannel DMChannel Source #
Instance details Defined in Calamity.Types.Model.Channel.DM Methods getID :: DMChannel -> Snowflake DMChannel Source #
HasID Attachment Attachment Source #
Instance details Defined in Calamity.Types.Model.Channel.Attachment Methods getID :: Attachment -> Snowflake Attachment Source #
HasID Channel (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods getID :: Partial Channel -> Snowflake Channel Source #
HasID Guild (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods getID :: Partial Guild -> Snowflake Guild Source #
HasID User (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods getID :: Partial User -> Snowflake User Source #
HasID Emoji (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods getID :: Partial Emoji -> Snowflake Emoji Source #

type HasID' a = HasID a a Source #

newtype HasIDField field a Source #

A newtype wrapper for deriving HasID generically

Constructors

HasIDField a

Instances

Instances details

(HasID b c, HasField' field a c) => HasID (b :: k) (HasIDField field a) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: HasIDField field a -> Snowflake b Source #

newtype HasIDFieldCoerce field a c Source #

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

Constructors

HasIDFieldCoerce a

Instances

Instances details

(HasID c d, HasField' field a d) => HasID (b :: k2) (HasIDFieldCoerce field a c) Source #
Instance details Defined in Calamity.Types.Snowflake Methods getID :: HasIDFieldCoerce field a c -> Snowflake b Source #

type HasIDFieldCoerce' field a = HasIDFieldCoerce field a a Source #

coerceSnowflake :: Snowflake a -> Snowflake b Source #