{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}

-- | @users.*@ methods in the Slack API
module Web.Slack.User (
  Profile (..),
  User (..),
  ListReq (..),
  ListRsp (..),
  Email (..),
  UserRsp (..),
) where

import Data.Time.Clock.POSIX
import Web.FormUrlEncoded
import Web.HttpApiData
import Web.Slack.Common
import Web.Slack.Pager.Types (PagedRequest (..), PagedResponse (..), ResponseMetadata)
import Web.Slack.Prelude
import Web.Slack.Util

-- | See <https://api.slack.com/types/user>
data Profile = Profile
  { Profile -> Maybe Text
profileAvatarHash :: Maybe Text
  , Profile -> Maybe Text
profileStatusText :: Maybe Text
  , Profile -> Maybe Text
profileStatusEmoji :: Maybe Text
  , Profile -> Maybe Text
profileRealName :: Maybe Text
  , Profile -> Maybe Text
profileDisplayName :: Maybe Text
  , Profile -> Maybe Text
profileRealNameNormalized :: Maybe Text
  , Profile -> Maybe Text
profileDisplayNameNormalized :: Maybe Text
  , Profile -> Maybe Text
profileEmail :: Maybe Text
  , Profile -> Text
profileImage_24 :: Text
  , Profile -> Text
profileImage_32 :: Text
  , Profile -> Text
profileImage_48 :: Text
  , Profile -> Text
profileImage_72 :: Text
  , Profile -> Text
profileImage_192 :: Text
  , Profile -> Text
profileImage_512 :: Text
  , Profile -> Maybe Text
profileTeam :: Maybe Text
  }
  deriving stock (Profile -> Profile -> Bool
(Profile -> Profile -> Bool)
-> (Profile -> Profile -> Bool) -> Eq Profile
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Profile -> Profile -> Bool
== :: Profile -> Profile -> Bool
$c/= :: Profile -> Profile -> Bool
/= :: Profile -> Profile -> Bool
Eq, (forall x. Profile -> Rep Profile x)
-> (forall x. Rep Profile x -> Profile) -> Generic Profile
forall x. Rep Profile x -> Profile
forall x. Profile -> Rep Profile x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Profile -> Rep Profile x
from :: forall x. Profile -> Rep Profile x
$cto :: forall x. Rep Profile x -> Profile
to :: forall x. Rep Profile x -> Profile
Generic, Int -> Profile -> ShowS
[Profile] -> ShowS
Profile -> String
(Int -> Profile -> ShowS)
-> (Profile -> String) -> ([Profile] -> ShowS) -> Show Profile
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Profile -> ShowS
showsPrec :: Int -> Profile -> ShowS
$cshow :: Profile -> String
show :: Profile -> String
$cshowList :: [Profile] -> ShowS
showList :: [Profile] -> ShowS
Show)

$(deriveFromJSON (jsonOpts "profile") ''Profile)

data User = User
  { User -> UserId
userId :: UserId
  , User -> Text
userName :: Text
  , User -> Bool
userDeleted :: Bool
  , User -> Maybe Color
userColor :: Maybe Color
  , User -> Maybe Profile
userProfile :: Maybe Profile
  , User -> Maybe Bool
userIsAdmin :: Maybe Bool
  , User -> Maybe Bool
userIsOwner :: Maybe Bool
  , User -> Maybe Bool
userIsPrimaryOwner :: Maybe Bool
  , User -> Maybe Bool
userIsRestricted :: Maybe Bool
  , User -> Maybe Bool
userIsUltraRestricted :: Maybe Bool
  , User -> POSIXTime
userUpdated :: POSIXTime
  }
  deriving stock (User -> User -> Bool
(User -> User -> Bool) -> (User -> User -> Bool) -> Eq User
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: User -> User -> Bool
== :: User -> User -> Bool
$c/= :: User -> User -> Bool
/= :: User -> User -> Bool
Eq, (forall x. User -> Rep User x)
-> (forall x. Rep User x -> User) -> Generic User
forall x. Rep User x -> User
forall x. User -> Rep User x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. User -> Rep User x
from :: forall x. User -> Rep User x
$cto :: forall x. Rep User x -> User
to :: forall x. Rep User x -> User
Generic, Int -> User -> ShowS
[User] -> ShowS
User -> String
(Int -> User -> ShowS)
-> (User -> String) -> ([User] -> ShowS) -> Show User
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> User -> ShowS
showsPrec :: Int -> User -> ShowS
$cshow :: User -> String
show :: User -> String
$cshowList :: [User] -> ShowS
showList :: [User] -> ShowS
Show)

$(deriveFromJSON (jsonOpts "user") ''User)

-- | @users.list@ request. See <https://api.slack.com/methods/users.list#args>
--
-- @since 1.6.0.0
data ListReq = ListReq
  { ListReq -> Maybe Cursor
listReqCursor :: Maybe Cursor
  , ListReq -> Maybe Int
listReqLimit :: Maybe Int
  , ListReq -> Maybe TeamId
listReqTeamId :: Maybe TeamId
  }
  deriving stock (Int -> ListReq -> ShowS
[ListReq] -> ShowS
ListReq -> String
(Int -> ListReq -> ShowS)
-> (ListReq -> String) -> ([ListReq] -> ShowS) -> Show ListReq
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ListReq -> ShowS
showsPrec :: Int -> ListReq -> ShowS
$cshow :: ListReq -> String
show :: ListReq -> String
$cshowList :: [ListReq] -> ShowS
showList :: [ListReq] -> ShowS
Show, (forall x. ListReq -> Rep ListReq x)
-> (forall x. Rep ListReq x -> ListReq) -> Generic ListReq
forall x. Rep ListReq x -> ListReq
forall x. ListReq -> Rep ListReq x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ListReq -> Rep ListReq x
from :: forall x. ListReq -> Rep ListReq x
$cto :: forall x. Rep ListReq x -> ListReq
to :: forall x. Rep ListReq x -> ListReq
Generic, ListReq -> ListReq -> Bool
(ListReq -> ListReq -> Bool)
-> (ListReq -> ListReq -> Bool) -> Eq ListReq
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ListReq -> ListReq -> Bool
== :: ListReq -> ListReq -> Bool
$c/= :: ListReq -> ListReq -> Bool
/= :: ListReq -> ListReq -> Bool
Eq)
  deriving anyclass (ListReq
ListReq -> Default ListReq
forall a. a -> Default a
$cdef :: ListReq
def :: ListReq
Default)

instance ToForm ListReq where
  toForm :: ListReq -> Form
toForm (ListReq {Maybe Cursor
listReqCursor :: ListReq -> Maybe Cursor
listReqCursor :: Maybe Cursor
listReqCursor, Maybe Int
listReqLimit :: ListReq -> Maybe Int
listReqLimit :: Maybe Int
listReqLimit, Maybe TeamId
listReqTeamId :: ListReq -> Maybe TeamId
listReqTeamId :: Maybe TeamId
listReqTeamId}) =
    Text -> Maybe Cursor -> Form
forall a. ToHttpApiData a => Text -> Maybe a -> Form
toQueryParamIfJust Text
"cursor" Maybe Cursor
listReqCursor
      Form -> Form -> Form
forall a. Semigroup a => a -> a -> a
<> Text -> Maybe Int -> Form
forall a. ToHttpApiData a => Text -> Maybe a -> Form
toQueryParamIfJust Text
"limit" Maybe Int
listReqLimit
      Form -> Form -> Form
forall a. Semigroup a => a -> a -> a
<> Text -> Maybe TeamId -> Form
forall a. ToHttpApiData a => Text -> Maybe a -> Form
toQueryParamIfJust Text
"team_id" Maybe TeamId
listReqTeamId

instance PagedRequest ListReq where
  setCursor :: Maybe Cursor -> ListReq -> ListReq
setCursor Maybe Cursor
c ListReq
r = ListReq
r {listReqCursor = c}

-- | Response to <https://api.slack.com/methods/users.list>
data ListRsp = ListRsp
  { ListRsp -> [User]
listRspMembers :: [User]
  , ListRsp -> Maybe ResponseMetadata
listRspResponseMetadata :: Maybe ResponseMetadata
  }
  deriving stock (ListRsp -> ListRsp -> Bool
(ListRsp -> ListRsp -> Bool)
-> (ListRsp -> ListRsp -> Bool) -> Eq ListRsp
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: ListRsp -> ListRsp -> Bool
== :: ListRsp -> ListRsp -> Bool
$c/= :: ListRsp -> ListRsp -> Bool
/= :: ListRsp -> ListRsp -> Bool
Eq, (forall x. ListRsp -> Rep ListRsp x)
-> (forall x. Rep ListRsp x -> ListRsp) -> Generic ListRsp
forall x. Rep ListRsp x -> ListRsp
forall x. ListRsp -> Rep ListRsp x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. ListRsp -> Rep ListRsp x
from :: forall x. ListRsp -> Rep ListRsp x
$cto :: forall x. Rep ListRsp x -> ListRsp
to :: forall x. Rep ListRsp x -> ListRsp
Generic, Int -> ListRsp -> ShowS
[ListRsp] -> ShowS
ListRsp -> String
(Int -> ListRsp -> ShowS)
-> (ListRsp -> String) -> ([ListRsp] -> ShowS) -> Show ListRsp
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> ListRsp -> ShowS
showsPrec :: Int -> ListRsp -> ShowS
$cshow :: ListRsp -> String
show :: ListRsp -> String
$cshowList :: [ListRsp] -> ShowS
showList :: [ListRsp] -> ShowS
Show)

$(deriveFromJSON (jsonOpts "listRsp") ''ListRsp)

instance PagedResponse ListRsp where
  type ResponseObject ListRsp = User
  getResponseData :: ListRsp -> [ResponseObject ListRsp]
getResponseData = ListRsp -> [ResponseObject ListRsp]
ListRsp -> [User]
listRspMembers
  getResponseMetadata :: ListRsp -> Maybe ResponseMetadata
getResponseMetadata = ListRsp -> Maybe ResponseMetadata
listRspResponseMetadata

data UserRsp = UserRsp
  { UserRsp -> User
userRspUser :: User
  }
  deriving stock (UserRsp -> UserRsp -> Bool
(UserRsp -> UserRsp -> Bool)
-> (UserRsp -> UserRsp -> Bool) -> Eq UserRsp
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: UserRsp -> UserRsp -> Bool
== :: UserRsp -> UserRsp -> Bool
$c/= :: UserRsp -> UserRsp -> Bool
/= :: UserRsp -> UserRsp -> Bool
Eq, (forall x. UserRsp -> Rep UserRsp x)
-> (forall x. Rep UserRsp x -> UserRsp) -> Generic UserRsp
forall x. Rep UserRsp x -> UserRsp
forall x. UserRsp -> Rep UserRsp x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. UserRsp -> Rep UserRsp x
from :: forall x. UserRsp -> Rep UserRsp x
$cto :: forall x. Rep UserRsp x -> UserRsp
to :: forall x. Rep UserRsp x -> UserRsp
Generic, Int -> UserRsp -> ShowS
[UserRsp] -> ShowS
UserRsp -> String
(Int -> UserRsp -> ShowS)
-> (UserRsp -> String) -> ([UserRsp] -> ShowS) -> Show UserRsp
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> UserRsp -> ShowS
showsPrec :: Int -> UserRsp -> ShowS
$cshow :: UserRsp -> String
show :: UserRsp -> String
$cshowList :: [UserRsp] -> ShowS
showList :: [UserRsp] -> ShowS
Show)

$(deriveFromJSON (jsonOpts "UserRsp") ''UserRsp)

newtype Email = Email Text deriving stock (Email -> Email -> Bool
(Email -> Email -> Bool) -> (Email -> Email -> Bool) -> Eq Email
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: Email -> Email -> Bool
== :: Email -> Email -> Bool
$c/= :: Email -> Email -> Bool
/= :: Email -> Email -> Bool
Eq, (forall x. Email -> Rep Email x)
-> (forall x. Rep Email x -> Email) -> Generic Email
forall x. Rep Email x -> Email
forall x. Email -> Rep Email x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cfrom :: forall x. Email -> Rep Email x
from :: forall x. Email -> Rep Email x
$cto :: forall x. Rep Email x -> Email
to :: forall x. Rep Email x -> Email
Generic, Int -> Email -> ShowS
[Email] -> ShowS
Email -> String
(Int -> Email -> ShowS)
-> (Email -> String) -> ([Email] -> ShowS) -> Show Email
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> Email -> ShowS
showsPrec :: Int -> Email -> ShowS
$cshow :: Email -> String
show :: Email -> String
$cshowList :: [Email] -> ShowS
showList :: [Email] -> ShowS
Show)

instance ToForm Email where
  toForm :: Email -> Form
toForm (Email Text
txt) = [(Text
"email", Text -> Text
forall a. ToHttpApiData a => a -> Text
toQueryParam Text
txt)]