tcp-0.0.2: A purely functional TCP implementation

Network.TCP.Type.Timer

Documentation

data Timed a Source

Constructors

Timed 

Fields

timed_val :: a
 
timed_exp :: Time
 

Instances

Eq a => Eq (Timed a) 
Show a => Show (Timed a) 

timed_expires :: Time -> Timed a -> BoolSource

timer_expires :: Time -> Time -> BoolSource

maybe_timed_expires :: Time -> Maybe (Timed a) -> BoolSource

maybe_timer_expires :: Time -> Maybe Time -> BoolSource

type TimeWindow a = Maybe (Timed a)Source

timewindow_open :: Time -> TimeWindow a -> BoolSource

timewindow_val :: Time -> TimeWindow a -> Maybe aSource