Use DuplicateRecordFields for: * `Wanton` * `TranslocationServiceRequest` * `ProtocolBurst` These are all internal data types, so we won't force it on `network-mux` user.
Refactor `muxerLoop` It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the other way around, since then it's the `EgressQueue` we read and its tail much like `x : xs`. This also avoids using `traverse` over tuple which is a bit surprising.
Move constants to top level bindings: * `maxSDUsPerBatch` * `burstMinSdu`
An explicit loop is easier to follow. We also avoid calling `error "impossible"`.
Use an explicit loop in `muxer`, as a result `transformers` dependency is gone.
Replaced `Bool` with: * `CanBatch` - can we batch more SDUs from different mini-protocols. * `CanBurst` - can we burst more SDUs from a single mini-protocol.
Replaced a custom `allM` with `foldMap All . traverse`. In the future we can fuse `foldMap` with `traverse`.
Added dedicated API: * `NextSDUSize`, `nextSDUSizeToSDUSize` * `TokenSize` (type alias), `consumedTokens`
* added type signatures * change argument order of `processSingleWanton` * added `SDUWithWantonState` * added bangs to all `go` definitions
Use DuplicateRecordFields for: * `Wanton` * `TranslocationServiceRequest` * `ProtocolBurst` These are all internal data types, so we won't force it on `network-mux` user.
Refatctor `muxerLoop` It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the other way around, since then it's the `EgressQueue` we read and its tail much like `x : xs`. This also avoids using `traverse` over tuple which is a bit surprising.
Use an explicit loop in `muxer`, as a result `transformers` dependency is gone.
Replaced `Bool` with `CanBurst`.
Refatctor `muxerLoop` It's easier to read `[(EgressQueue m, [(Word8, Egress m)])]`, than the other way around, since then it's the `EgressQueue` we read and its tail much like `x : xs`. This also avoids using `traverse` over tuple which is a bit surprising.
Use an explicit loop in `muxer`.
Replaced `Bool` with `CanBurst`.
Move constants to top level bindings: * `maxSDUsPerBatch` * `burstMinSdu`
Replaced a custom `allM` with `foldMap All . traverse`. In the future we can fuse `foldMap` with `traverse`.
Replaced `Bool` with `CanBurst`.
Move constants to top level bindings: * `maxSDUsPerBatch` * `burstMinSdu`
Replaced a custom `allM` with `foldMap All . traverse`. In the future we can fuse `foldMap` with `traverse`.
Replaced `Bool` with `CanBurst`.
An explicit loop is easier to follow. We also avoid calling `error "impossible"`.
Added dedicated API: * `SDUWithWantonState` * `NextSDUSize`, `nextSDUSizeToSDUSize` * `TokenSize` (type alias), `consumedTokens`
Replaced `Bool` with `CanBurst`.