Safe Haskell	Safe-Inferred
Language	Haskell2010

Calamity.Types.Partial

Description

Partial data family

Documentation

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 Methods labelOptic :: Optic k NoIx (Partial Emoji) (Partial Emoji) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Message) (Partial Message) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Message) (Partial Message) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Channel) (Partial Channel) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Emoji) (Partial Emoji) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Guild) (Partial Guild) 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 Methods labelOptic :: Optic k NoIx (Partial User) (Partial User) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Channel) (Partial Channel) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Emoji) (Partial Emoji) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Guild) (Partial Guild) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Channel) (Partial Channel) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Channel) (Partial Channel) a b #
(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 Methods labelOptic :: Optic k NoIx (Partial Channel) (Partial Channel) a b #
HasID Channel (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods getID :: Partial Channel -> Snowflake Channel Source #
HasID Channel (Partial Message) Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods getID :: Partial Message -> Snowflake Channel Source #
HasID Emoji (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods getID :: Partial Emoji -> Snowflake Emoji 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 #
FromJSON (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods parseJSON :: Value -> Parser (Partial Channel) # parseJSONList :: Value -> Parser [Partial Channel] #
FromJSON (Partial Message) Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods parseJSON :: Value -> Parser (Partial Message) # parseJSONList :: Value -> Parser [Partial Message] #
FromJSON (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods parseJSON :: Value -> Parser (Partial Emoji) # parseJSONList :: Value -> Parser [Partial Emoji] #
FromJSON (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods parseJSON :: Value -> Parser (Partial Guild) # parseJSONList :: Value -> Parser [Partial Guild] #
FromJSON (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods parseJSON :: Value -> Parser (Partial User) # parseJSONList :: Value -> Parser [Partial User] #
ToJSON (Partial Channel) Source #
Instance details 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 Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods toJSON :: Partial Emoji -> Value # toEncoding :: Partial Emoji -> Encoding # toJSONList :: [Partial Emoji] -> Value # toEncodingList :: [Partial Emoji] -> Encoding #
ToJSON (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods toJSON :: Partial Guild -> Value # toEncoding :: Partial Guild -> Encoding # toJSONList :: [Partial Guild] -> Value # toEncodingList :: [Partial Guild] -> Encoding #
Show (Partial Channel) Source #
Instance details Defined in Calamity.Types.Model.Channel Methods showsPrec :: Int -> Partial Channel -> ShowS # show :: Partial Channel -> String # showList :: [Partial Channel] -> ShowS #
Show (Partial Message) Source #
Instance details Defined in Calamity.Types.Model.Channel.Message Methods showsPrec :: Int -> Partial Message -> ShowS # show :: Partial Message -> String # showList :: [Partial Message] -> ShowS #
Show (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods showsPrec :: Int -> Partial Emoji -> ShowS # show :: Partial Emoji -> String # showList :: [Partial Emoji] -> ShowS #
Show (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods showsPrec :: Int -> Partial Guild -> ShowS # show :: Partial Guild -> String # showList :: [Partial Guild] -> ShowS #
Show (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods showsPrec :: Int -> Partial User -> ShowS # show :: Partial User -> String # showList :: [Partial User] -> ShowS #
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 Methods (==) :: Partial Channel -> Partial Channel -> Bool # (/=) :: Partial Channel -> Partial Channel -> Bool #
Eq (Partial Emoji) Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji Methods (==) :: Partial Emoji -> Partial Emoji -> Bool # (/=) :: Partial Emoji -> Partial Emoji -> Bool #
Eq (Partial Guild) Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild Methods (==) :: Partial Guild -> Partial Guild -> Bool # (/=) :: Partial Guild -> Partial Guild -> Bool #
Eq (Partial User) Source #
Instance details Defined in Calamity.Types.Model.User Methods (==) :: Partial User -> Partial User -> Bool # (/=) :: Partial User -> Partial User -> Bool #
TextShow (Partial Channel) Source #
Instance details 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) Source #
Instance details 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 Emoji) Source #
Instance details 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 #
TextShow (Partial Guild) Source #
Instance details 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) Source #
Instance details 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 #
data Partial Channel Source #
Instance details 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 Source #
Instance details Defined in Calamity.Types.Model.Channel.Message data Partial Message = PartialMessage { channelID :: Snowflake Channel guildID :: Maybe (Snowflake Guild) }
data Partial Emoji Source #
Instance details Defined in Calamity.Types.Model.Guild.Emoji data Partial Emoji = PartialEmoji { id :: Snowflake Emoji name :: Text animated :: Bool }
data Partial Guild Source #
Instance details Defined in Calamity.Types.Model.Guild.Guild data Partial Guild = PartialGuild { id :: Snowflake Guild name :: Text }
newtype Partial User Source #
Instance details Defined in Calamity.Types.Model.User newtype Partial User = PartialUser { id :: Snowflake User }