{-# LANGUAGE GeneralizedNewtypeDeriving #-}

-- |
-- Module: Rollbar.Client
-- Copyright: (c) 2020-present Stack Builders Inc.
-- License: MIT
-- Maintainer: Sebastián Estrella <sestrella@stackbuilders.com>
module Rollbar.Client
  (
    -- * Deploy
    module Rollbar.Client.Deploy
    -- * Item
  , module Rollbar.Client.Item
    -- * Ping
  , module Rollbar.Client.Ping
    -- * Settings
  , module Rollbar.Client.Settings
  , Rollbar(..)
  , withRollbar
  , runRollbar
  ) where

import Control.Monad (void)
import Control.Monad.Catch
import Control.Monad.IO.Class (MonadIO(..))
import Control.Monad.Reader (ReaderT(..), ask)
import Control.Monad.Trans (MonadTrans(..))
import Network.HTTP.Req
import Rollbar.Client.Deploy
import Rollbar.Client.Item
import Rollbar.Client.Ping
import Rollbar.Client.Settings

newtype Rollbar a = Rollbar (ReaderT Settings Req a)
  deriving
    ( Functor Rollbar
Functor Rollbar =>
(forall a. a -> Rollbar a)
-> (forall a b. Rollbar (a -> b) -> Rollbar a -> Rollbar b)
-> (forall a b c.
    (a -> b -> c) -> Rollbar a -> Rollbar b -> Rollbar c)
-> (forall a b. Rollbar a -> Rollbar b -> Rollbar b)
-> (forall a b. Rollbar a -> Rollbar b -> Rollbar a)
-> Applicative Rollbar
forall a. a -> Rollbar a
forall a b. Rollbar a -> Rollbar b -> Rollbar a
forall a b. Rollbar a -> Rollbar b -> Rollbar b
forall a b. Rollbar (a -> b) -> Rollbar a -> Rollbar b
forall a b c. (a -> b -> c) -> Rollbar a -> Rollbar b -> Rollbar c
forall (f :: * -> *).
Functor f =>
(forall a. a -> f a)
-> (forall a b. f (a -> b) -> f a -> f b)
-> (forall a b c. (a -> b -> c) -> f a -> f b -> f c)
-> (forall a b. f a -> f b -> f b)
-> (forall a b. f a -> f b -> f a)
-> Applicative f
$cpure :: forall a. a -> Rollbar a
pure :: forall a. a -> Rollbar a
$c<*> :: forall a b. Rollbar (a -> b) -> Rollbar a -> Rollbar b
<*> :: forall a b. Rollbar (a -> b) -> Rollbar a -> Rollbar b
$cliftA2 :: forall a b c. (a -> b -> c) -> Rollbar a -> Rollbar b -> Rollbar c
liftA2 :: forall a b c. (a -> b -> c) -> Rollbar a -> Rollbar b -> Rollbar c
$c*> :: forall a b. Rollbar a -> Rollbar b -> Rollbar b
*> :: forall a b. Rollbar a -> Rollbar b -> Rollbar b
$c<* :: forall a b. Rollbar a -> Rollbar b -> Rollbar a
<* :: forall a b. Rollbar a -> Rollbar b -> Rollbar a
Applicative
    , (forall a b. (a -> b) -> Rollbar a -> Rollbar b)
-> (forall a b. a -> Rollbar b -> Rollbar a) -> Functor Rollbar
forall a b. a -> Rollbar b -> Rollbar a
forall a b. (a -> b) -> Rollbar a -> Rollbar b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
$cfmap :: forall a b. (a -> b) -> Rollbar a -> Rollbar b
fmap :: forall a b. (a -> b) -> Rollbar a -> Rollbar b
$c<$ :: forall a b. a -> Rollbar b -> Rollbar a
<$ :: forall a b. a -> Rollbar b -> Rollbar a
Functor
    , Applicative Rollbar
Applicative Rollbar =>
(forall a b. Rollbar a -> (a -> Rollbar b) -> Rollbar b)
-> (forall a b. Rollbar a -> Rollbar b -> Rollbar b)
-> (forall a. a -> Rollbar a)
-> Monad Rollbar
forall a. a -> Rollbar a
forall a b. Rollbar a -> Rollbar b -> Rollbar b
forall a b. Rollbar a -> (a -> Rollbar b) -> Rollbar b
forall (m :: * -> *).
Applicative m =>
(forall a b. m a -> (a -> m b) -> m b)
-> (forall a b. m a -> m b -> m b)
-> (forall a. a -> m a)
-> Monad m
$c>>= :: forall a b. Rollbar a -> (a -> Rollbar b) -> Rollbar b
>>= :: forall a b. Rollbar a -> (a -> Rollbar b) -> Rollbar b
$c>> :: forall a b. Rollbar a -> Rollbar b -> Rollbar b
>> :: forall a b. Rollbar a -> Rollbar b -> Rollbar b
$creturn :: forall a. a -> Rollbar a
return :: forall a. a -> Rollbar a
Monad
    , Monad Rollbar
Monad Rollbar => (forall a. IO a -> Rollbar a) -> MonadIO Rollbar
forall a. IO a -> Rollbar a
forall (m :: * -> *).
Monad m =>
(forall a. IO a -> m a) -> MonadIO m
$cliftIO :: forall a. IO a -> Rollbar a
liftIO :: forall a. IO a -> Rollbar a
MonadIO
    )

instance MonadHttp Rollbar where
  handleHttpException :: forall a. HttpException -> Rollbar a
handleHttpException = ReaderT Settings Req a -> Rollbar a
forall a. ReaderT Settings Req a -> Rollbar a
Rollbar (ReaderT Settings Req a -> Rollbar a)
-> (HttpException -> ReaderT Settings Req a)
-> HttpException
-> Rollbar a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Req a -> ReaderT Settings Req a
forall (m :: * -> *) a. Monad m => m a -> ReaderT Settings m a
forall (t :: (* -> *) -> * -> *) (m :: * -> *) a.
(MonadTrans t, Monad m) =>
m a -> t m a
lift (Req a -> ReaderT Settings Req a)
-> (HttpException -> Req a)
-> HttpException
-> ReaderT Settings Req a
forall b c a. (b -> c) -> (a -> b) -> a -> c
. HttpException -> Req a
forall a. HttpException -> Req a
forall (m :: * -> *) a. MonadHttp m => HttpException -> m a
handleHttpException

instance HasSettings Rollbar where
  getSettings :: Rollbar Settings
getSettings = ReaderT Settings Req Settings -> Rollbar Settings
forall a. ReaderT Settings Req a -> Rollbar a
Rollbar ReaderT Settings Req Settings
forall r (m :: * -> *). MonadReader r m => m r
ask

-- | Runs a computation, captures any 'E.SomeException' threw, and send it to
-- Rollbar.
withRollbar :: (MonadCatch m, MonadIO m) => Settings -> m a -> m a
withRollbar :: forall (m :: * -> *) a.
(MonadCatch m, MonadIO m) =>
Settings -> m a -> m a
withRollbar Settings
settings m a
f = m a
f m a -> (SomeException -> m a) -> m a
forall e a. (HasCallStack, Exception e) => m a -> (e -> m a) -> m a
forall (m :: * -> *) e a.
(MonadCatch m, HasCallStack, Exception e) =>
m a -> (e -> m a) -> m a
`catch` \SomeException
e -> do
  m ItemId -> m ()
forall (f :: * -> *) a. Functor f => f a -> f ()
void (m ItemId -> m ()) -> m ItemId -> m ()
forall a b. (a -> b) -> a -> b
$ Settings -> Rollbar ItemId -> m ItemId
forall (m :: * -> *) a. MonadIO m => Settings -> Rollbar a -> m a
runRollbar Settings
settings (Rollbar ItemId -> m ItemId) -> Rollbar ItemId -> m ItemId
forall a b. (a -> b) -> a -> b
$ do
    Item
item <- Payload -> Rollbar Item
forall (m :: * -> *).
(HasSettings m, MonadIO m) =>
Payload -> m Item
mkItem (Payload -> Rollbar Item) -> Payload -> Rollbar Item
forall a b. (a -> b) -> a -> b
$ Trace -> Payload
PayloadTrace (Trace -> Payload) -> Trace -> Payload
forall a b. (a -> b) -> a -> b
$ [Frame] -> Exception -> Trace
Trace [] (Exception -> Trace) -> Exception -> Trace
forall a b. (a -> b) -> a -> b
$ SomeException -> Exception
forall e. Exception e => e -> Exception
mkException (SomeException
e :: SomeException)
    Item -> Rollbar ItemId
forall (m :: * -> *).
(HasSettings m, MonadHttp m) =>
Item -> m ItemId
createItem Item
item

  SomeException -> m a
forall e a. (HasCallStack, Exception e) => e -> m a
forall (m :: * -> *) e a.
(MonadThrow m, HasCallStack, Exception e) =>
e -> m a
throwM SomeException
e

-- | Run a computation in 'Rollbar' monad.
runRollbar :: MonadIO m => Settings -> Rollbar a -> m a
runRollbar :: forall (m :: * -> *) a. MonadIO m => Settings -> Rollbar a -> m a
runRollbar Settings
settings (Rollbar ReaderT Settings Req a
f) = HttpConfig -> Req a -> m a
forall (m :: * -> *) a. MonadIO m => HttpConfig -> Req a -> m a
runReq HttpConfig
defaultHttpConfig (Req a -> m a) -> Req a -> m a
forall a b. (a -> b) -> a -> b
$
  ReaderT Settings Req a -> Settings -> Req a
forall r (m :: * -> *) a. ReaderT r m a -> r -> m a
runReaderT ReaderT Settings Req a
f Settings
settings