Session.Timing.Options

Documentation

data TimingOptions a

Time duration settings

See defaultTimingOptions.

Constructors

TimingOptions

Fields

• timeout :: Timeout a

  How long sessions are allowed to live

• 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.

Instances

Show a => Show (TimingOptions a)

Defined in Session.Timing.Options

Methods

showsPrec :: Int -> TimingOptions a -> ShowS

show :: TimingOptions a -> String

showList :: [TimingOptions a] -> ShowS

Eq a => Eq (TimingOptions a)

Defined in Session.Timing.Options

Methods

(==) :: TimingOptions a -> TimingOptions a -> Bool

(/=) :: TimingOptions a -> TimingOptions a -> Bool

defaultTimingOptions :: TimingOptions NominalDiffTime

Default timing options

• timeout = defaultTimeout
• resolution = 10 minutes