| Safe Haskell | None |
|---|---|
| Language | GHC2021 |
Conformance.Edge.RetractionWindow
Description
Owner-signed retractions on either side of phase 2 and inside it.
Synopsis
- story :: Context reg wal -> Story reg wal step obs cmp ()
- requests :: wal -> (EdgeRequest wal, EdgeRequest wal)
Documentation
story :: Context reg wal -> Story reg wal step obs cmp () Source #
The first request is refused before phase 2 then accepted inside it. The second, booked with it by the same owner, is refused after its window.
requests :: wal -> (EdgeRequest wal, EdgeRequest wal) Source #
Two requests booked together, before either is retracted.