Alexander Vieth
Alexander Vieth
Use the option `-f github` to get the typical `V2.checks` formatter but with github actions `::error` commands written out after each failing test. Run this in a github action and...
# Motivation It would be great to have domain-specific Haskell types in streams, as this can give extra type safety in the high-level model that, with correct code generation, holds...
The motivation: when doing DOM programming we sometimes wish to deal with the dimensions of elements. It seems natural to say that there is a `Behavior Rect` for an element's...
Deliver it instead by way of the Manager's response modifier. See https://github.com/snoyberg/http-client/pull/464 This patch accomplishes the same thing as that one in essentially the same way, but improves upon it...
This is similar to #39 but instead of dropping a bundle of connections to a peer, I'd like to be able to drop or reject one lightweight connection. This could...
This is an alternative to, and intended to solve the same problem as, issue #33. ## New `Event`s Three new event constructors are introduced: ```Haskell data Event = ... |...
There are tests which check that the address of an `EndPoint` is equal (as a `ByteString`) to the `EndPointAddress` which appears in events like `ConnectionOpened` on a peer to which...
```Haskell -- Identifies a "heavyweight" connection which carries 0 or more "lightweight" -- connections. type ConnectionBundle = Word32 data ErrorEvent = ... -- EventConnectionLost indicates which bundle was lost |...
# Motivating use case **This patch is intended to spark discussion about the feature.** A user has a VPN connection for work which gives its own DNS server that is...
Instead of ```Haskell runPeer :: forall ps (st :: ps) pr failure bytes m a . (MonadThrow m, Exception failure) => Tracer m (TraceSendRecv ps) -> Codec ps failure m...