Documentation

Fields

• sessionId :: !UUID
   

Fields

• id :: !UUID
   
• renderView :: !(Request -> Respond -> IO ResponseReceived)

  A callback to rerun an action within the given request and respond

• event :: !(MVar ())

  MVar that is filled whenever some table changed

• tables :: !(Set Text)

  All tables this auto refresh session watches

• lastResponse :: !LByteString

  The last rendered html of this action. Initially this is the result of the initial page rendering

• lastPing :: !UTCTime

  Keep track of the last ping to this session to close it after too much time has passed without anything happening

Fields

• subscriptions :: [Subscription]
   
• sessions :: ![AutoRefreshSession]
   
• subscribedTables :: !(Set Text)
   
• pgListener :: PGListener