
  0 | module HTTP.API.Env
  1 | 
  2 | import System.Clock
  3 | 
  4 | %default total
  5 | 
  6 | ||| Description of a form of "environment" variable that needs to
  7 | ||| be generated and available when processing a request.
  8 | public export
  9 | record ReqEnv where
 10 |   constructor Env
 11 |   0 type : Type
 12 | 
 13 | ||| Time, at which the request is being processed.
 14 | public export
 15 | record ReqTime where
 16 |   constructor RT
 17 |   time : Clock UTC
 18 |