module Session.Timing.Timeout
( Timeout (..)
, defaultTimeout
) where
import Internal.Prelude
import Time
data Timeout a = Timeout
{ forall a. Timeout a -> Maybe a
idle :: Maybe a
, forall a. Timeout a -> Maybe a
absolute :: Maybe a
}
deriving stock (Timeout a -> Timeout a -> Bool
(Timeout a -> Timeout a -> Bool)
-> (Timeout a -> Timeout a -> Bool) -> Eq (Timeout a)
forall a. Eq a => Timeout a -> Timeout a -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: forall a. Eq a => Timeout a -> Timeout a -> Bool
== :: Timeout a -> Timeout a -> Bool
$c/= :: forall a. Eq a => Timeout a -> Timeout a -> Bool
/= :: Timeout a -> Timeout a -> Bool
Eq, Int -> Timeout a -> ShowS
[Timeout a] -> ShowS
Timeout a -> String
(Int -> Timeout a -> ShowS)
-> (Timeout a -> String)
-> ([Timeout a] -> ShowS)
-> Show (Timeout a)
forall a. Show a => Int -> Timeout a -> ShowS
forall a. Show a => [Timeout a] -> ShowS
forall a. Show a => Timeout a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Show a => Int -> Timeout a -> ShowS
showsPrec :: Int -> Timeout a -> ShowS
$cshow :: forall a. Show a => Timeout a -> String
show :: Timeout a -> String
$cshowList :: forall a. Show a => [Timeout a] -> ShowS
showList :: [Timeout a] -> ShowS
Show)
defaultTimeout :: Timeout NominalDiffTime
defaultTimeout :: Timeout NominalDiffTime
defaultTimeout =
Timeout
{ $sel:idle:Timeout :: Maybe NominalDiffTime
idle = NominalDiffTime -> Maybe NominalDiffTime
forall a. a -> Maybe a
Just (NominalDiffTime -> Maybe NominalDiffTime)
-> NominalDiffTime -> Maybe NominalDiffTime
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> NominalDiffTime
hours NominalDiffTime
8
, $sel:absolute:Timeout :: Maybe NominalDiffTime
absolute = NominalDiffTime -> Maybe NominalDiffTime
forall a. a -> Maybe a
Just (NominalDiffTime -> Maybe NominalDiffTime)
-> NominalDiffTime -> Maybe NominalDiffTime
forall a b. (a -> b) -> a -> b
$ NominalDiffTime -> NominalDiffTime
days NominalDiffTime
30
}