| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Relay.SenderHalf
Description
Synopsis
- newtype SenderHalf = SenderHalf {}
- emptySender :: SenderHalf
- assign :: SenderHalf -> (Nat, SenderHalf)
Documentation
newtype SenderHalf Source #
Local state of one sending session.
Constructors
| SenderHalf | |
Instances
| Eq SenderHalf Source # | |
Defined in Relay.SenderHalf | |
| Show SenderHalf Source # | |
Defined in Relay.SenderHalf Methods showsPrec :: Int -> SenderHalf -> ShowS # show :: SenderHalf -> String # showList :: [SenderHalf] -> ShowS # | |
emptySender :: SenderHalf Source #
Initial sender state. The first assigned sequence number is 1.
assign :: SenderHalf -> (Nat, SenderHalf) Source #
Return the next sequence number and advance the counter.