Session.Timing.Math

Documentation

nextExpires

Arguments

:: Timeout NominalDiffTime

-> Time UTCTime

A session's timing information

-> Maybe UTCTime

Calculate the next point in time where the given session will expire assuming that it sees no activity until then

Returns Nothing if and only if the settings do not specify any timeout limits.

isExpired

Arguments

:: Timeout NominalDiffTime

Settings

-> UTCTime

Now

-> Time UTCTime

A session's timing information

-> Bool

Check if a session has expired