@[reducible, inline]

abbrev Network.Wai.Handler.Warp.GMTDate : Type

The type of the Date header value (formatted HTTP date string).

Equations

• Network.Wai.Handler.Warp.GMTDate = String

def Network.Wai.Handler.Warp.withDateCache {α : Type} (action : IO GMTDate → IO α) : IO α

Create a cached date getter using AutoUpdate. The returned IO action retrieves the current cached date string. The cache is updated once per second. $$\text{withDateCache} : (\text{IO}(\text{GMTDate}) \to \text{IO}\ \alpha) \to \text{IO}\ \alpha$$

Equations

• Network.Wai.Handler.Warp.withDateCache action = do let au ← Control.mkAutoUpdate { updateAction := Network.Wai.Handler.Warp.getCurrentGMTDate✝ } let result ← action au.get au.stop pure result