Session.Timing.Time

Documentation

data Time a

Creation and access times, used to determine session expiration

Constructors

Time

Fields

• created :: a

  When the session was created

  This is used to apply the absolute timeout.

• accessed :: a

  When the session was last accessed

  This is used to apply the idle timeout.

Instances

Show a => Show (Time a)

Defined in Session.Timing.Time

Methods

showsPrec :: Int -> Time a -> ShowS

show :: Time a -> String

showList :: [Time a] -> ShowS

Eq a => Eq (Time a)

Defined in Session.Timing.Time

Methods

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

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