relay
Safe HaskellNone
LanguageGHC2024

Relay.SenderHalf

Description

 
Synopsis

Documentation

newtype SenderHalf Source #

Local state of one sending session.

Constructors

SenderHalf 

Fields

Instances

Instances details
Eq SenderHalf Source # 
Instance details

Defined in Relay.SenderHalf

Show SenderHalf Source # 
Instance details

Defined in Relay.SenderHalf

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.