{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE DerivingStrategies #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE RecordWildCards #-}
{-# LANGUAGE StrictData #-}
{-# LANGUAGE OverloadedLists #-}
{-# LANGUAGE CPP #-}

----------------------------------------------------------------------
-- |
-- Module: Web.Slack.Common
-- Description:
--
--
--
----------------------------------------------------------------------

module Web.Slack.Common
  ( Color(..)
  , UserId(..)
  , ConversationId (..)
  , TeamId (..)
  , Cursor (..)
  , SlackTimestamp(..)
  , mkSlackTimestamp
  , timestampFromText
  , Message(..)
  , MessageType(..)
  , SlackClientError(..)
  , SlackMessageText(..)
  )
  where

-- aeson
import Data.Aeson
import Data.Aeson.TH

-- base
import Control.Exception
import GHC.Generics (Generic)

-- deepseq
import Control.DeepSeq (NFData)


-- servant-client
import Servant.Client

-- slack-web
import Web.Slack.Types
import Web.Slack.Util

-- text
import Data.Text (Text)

#if !MIN_VERSION_servant(0,16,0)
type ClientError = ServantError
#endif

data MessageType = MessageTypeMessage
  deriving (MessageType -> MessageType -> Bool
(MessageType -> MessageType -> Bool)
-> (MessageType -> MessageType -> Bool) -> Eq MessageType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: MessageType -> MessageType -> Bool
$c/= :: MessageType -> MessageType -> Bool
== :: MessageType -> MessageType -> Bool
$c== :: MessageType -> MessageType -> Bool
Eq, Int -> MessageType -> ShowS
[MessageType] -> ShowS
MessageType -> String
(Int -> MessageType -> ShowS)
-> (MessageType -> String)
-> ([MessageType] -> ShowS)
-> Show MessageType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [MessageType] -> ShowS
$cshowList :: [MessageType] -> ShowS
show :: MessageType -> String
$cshow :: MessageType -> String
showsPrec :: Int -> MessageType -> ShowS
$cshowsPrec :: Int -> MessageType -> ShowS
Show, (forall x. MessageType -> Rep MessageType x)
-> (forall x. Rep MessageType x -> MessageType)
-> Generic MessageType
forall x. Rep MessageType x -> MessageType
forall x. MessageType -> Rep MessageType x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep MessageType x -> MessageType
$cfrom :: forall x. MessageType -> Rep MessageType x
Generic)

instance NFData MessageType

instance FromJSON MessageType where
  parseJSON :: Value -> Parser MessageType
parseJSON Value
"message" = MessageType -> Parser MessageType
forall (f :: * -> *) a. Applicative f => a -> f a
pure MessageType
MessageTypeMessage
  parseJSON Value
_ = String -> Parser MessageType
forall (m :: * -> *) a. MonadFail m => String -> m a
fail String
"Invalid MessageType"

instance ToJSON MessageType where
  toJSON :: MessageType -> Value
toJSON MessageType
_ = Text -> Value
String Text
"message"

data Message =
  Message
    { Message -> MessageType
messageType :: MessageType
    , Message -> Maybe UserId
messageUser :: Maybe UserId -- ^ not present for bot messages at least
    , Message -> SlackMessageText
messageText :: SlackMessageText
    -- ^ the message text is in a markdown-like slack-specific format.
    -- Use 'Web.Slack.MessageParser.messageToHtml' to convert it to HTML.
    , Message -> SlackTimestamp
messageTs :: SlackTimestamp
    }
  deriving (Message -> Message -> Bool
(Message -> Message -> Bool)
-> (Message -> Message -> Bool) -> Eq Message
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Message -> Message -> Bool
$c/= :: Message -> Message -> Bool
== :: Message -> Message -> Bool
$c== :: Message -> Message -> Bool
Eq, (forall x. Message -> Rep Message x)
-> (forall x. Rep Message x -> Message) -> Generic Message
forall x. Rep Message x -> Message
forall x. Message -> Rep Message x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep Message x -> Message
$cfrom :: forall x. Message -> Rep Message x
Generic, Int -> Message -> ShowS
[Message] -> ShowS
Message -> String
(Int -> Message -> ShowS)
-> (Message -> String) -> ([Message] -> ShowS) -> Show Message
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Message] -> ShowS
$cshowList :: [Message] -> ShowS
show :: Message -> String
$cshow :: Message -> String
showsPrec :: Int -> Message -> ShowS
$cshowsPrec :: Int -> Message -> ShowS
Show)

instance NFData Message

$(deriveJSON (jsonOpts "message") ''Message)

-- |
-- Errors that can be triggered by a slack request.
data SlackClientError
    = ServantError ClientError
    -- ^ errors from the network connection
    | SlackError Text
    -- ^ errors returned by the slack API
  deriving (SlackClientError -> SlackClientError -> Bool
(SlackClientError -> SlackClientError -> Bool)
-> (SlackClientError -> SlackClientError -> Bool)
-> Eq SlackClientError
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: SlackClientError -> SlackClientError -> Bool
$c/= :: SlackClientError -> SlackClientError -> Bool
== :: SlackClientError -> SlackClientError -> Bool
$c== :: SlackClientError -> SlackClientError -> Bool
Eq, (forall x. SlackClientError -> Rep SlackClientError x)
-> (forall x. Rep SlackClientError x -> SlackClientError)
-> Generic SlackClientError
forall x. Rep SlackClientError x -> SlackClientError
forall x. SlackClientError -> Rep SlackClientError x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep SlackClientError x -> SlackClientError
$cfrom :: forall x. SlackClientError -> Rep SlackClientError x
Generic, Int -> SlackClientError -> ShowS
[SlackClientError] -> ShowS
SlackClientError -> String
(Int -> SlackClientError -> ShowS)
-> (SlackClientError -> String)
-> ([SlackClientError] -> ShowS)
-> Show SlackClientError
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [SlackClientError] -> ShowS
$cshowList :: [SlackClientError] -> ShowS
show :: SlackClientError -> String
$cshow :: SlackClientError -> String
showsPrec :: Int -> SlackClientError -> ShowS
$cshowsPrec :: Int -> SlackClientError -> ShowS
Show)

instance NFData SlackClientError

instance Exception SlackClientError