module Session.Timing.Options
  ( TimingOptions (..)
  , defaultTimingOptions
  ) where

import Internal.Prelude

import Session.Timing.Timeout
import Time

-- | Time duration settings
--
-- See 'defaultTimingOptions'.
data TimingOptions a = TimingOptions
  { forall a. TimingOptions a -> Timeout a
timeout :: Timeout a
  -- ^ How long sessions are allowed to live
  , forall a. TimingOptions a -> Maybe a
resolution :: Maybe a
  -- ^ If @'Just' resolution@, this setting provides an optimization that can prevent
  --   excessive database writes. If the only thing that needs to be updated is the
  --   session's last access time, the write will be skipped if the previously recorded
  --   access time is within @resolution@ long ago.
  }
  deriving stock (TimingOptions a -> TimingOptions a -> Bool
(TimingOptions a -> TimingOptions a -> Bool)
-> (TimingOptions a -> TimingOptions a -> Bool)
-> Eq (TimingOptions a)
forall a. Eq a => TimingOptions a -> TimingOptions a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => TimingOptions a -> TimingOptions a -> Bool
== :: TimingOptions a -> TimingOptions a -> Bool
$c/= :: forall a. Eq a => TimingOptions a -> TimingOptions a -> Bool
/= :: TimingOptions a -> TimingOptions a -> Bool
Eq, Int -> TimingOptions a -> ShowS
[TimingOptions a] -> ShowS
TimingOptions a -> String
(Int -> TimingOptions a -> ShowS)
-> (TimingOptions a -> String)
-> ([TimingOptions a] -> ShowS)
-> Show (TimingOptions a)
forall a. Show a => Int -> TimingOptions a -> ShowS
forall a. Show a => [TimingOptions a] -> ShowS
forall a. Show a => TimingOptions a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Show a => Int -> TimingOptions a -> ShowS
showsPrec :: Int -> TimingOptions a -> ShowS
$cshow :: forall a. Show a => TimingOptions a -> String
show :: TimingOptions a -> String
$cshowList :: forall a. Show a => [TimingOptions a] -> ShowS
showList :: [TimingOptions a] -> ShowS
Show)

-- | Default timing options
--
--   - timeout = 'defaultTimeout'
--   - resolution = 10 minutes
defaultTimingOptions :: TimingOptions NominalDiffTime
defaultTimingOptions :: TimingOptions NominalDiffTime
defaultTimingOptions =
  TimingOptions
    { $sel:timeout:TimingOptions :: Timeout NominalDiffTime
timeout = Timeout NominalDiffTime
defaultTimeout
    , $sel:resolution:TimingOptions :: Maybe NominalDiffTime
resolution = NominalDiffTime -> Maybe NominalDiffTime
forall a. a -> Maybe a
Just (NominalDiffTime -> Maybe NominalDiffTime)
-> NominalDiffTime -> Maybe NominalDiffTime
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> NominalDiffTime
minutes NominalDiffTime
10
    }