Fields

• proxyArrival ∷ Proxy arrival
   
• recordHeaderArrival ∷ Header blk → m arrival

  This is ideally called _immediately_ upon the header arriving.

• judgeHeaderArrival ∷ LedgerConfig blk → LedgerState blk → arrival → Except PastHorizonException judgment

  Judge what to do about the header's arrival time.

  Note that this may be called after a delay, hence arrival contains at least the arrival time.

  In particular, such a delay might be caused by waiting for the intersection with the local selection to change after this function returns HistoryPastHorizon.

• handleHeaderArrival ∷ judgment → m (Except HeaderArrivalException RelativeTime)

  Enact the judgment.

  On success, return the slot time of the header; otherwise, an exception should be raised.

Fields

• ageUponArrival ∷ !NominalDiffTime
   
• arrivedPoint ∷ !(RealPoint blk)
   
• arrivalTime ∷ !RelativeTime
   
• tolerableClockSkew ∷ !NominalDiffTime