Ollie Charles

Allow 'f \(a : A) -> ...` to be a valid parse

4

I've been spoiled by `BlockArguments` in Haskell, and similarly the syntax of Agda, to find the syntax mentioned in the title very natural and comfortable. If we could have this...

Cannot scroll on swap with server-sent events

5

From what I can tell, it's not possible to add any scrolling on swap with server-sent events. I'd like to be able to say `hx-swap="beforeend scroll:bottom"` and have it just...

Difficulty (impossibility?) to wrap `reactive-banana` as effect

2

Recently I've been playing around with `fused-effects` again on a project that uses `reactive-banana`. My goal is to create this effect: ```haskell data Execute :: (Type -> Type) -> Type...

Add instances of MonadCatch, MonadThrow, MonadMask, where possible?

6

A bunch of carriers in `fused-effects` are re-implementations of other types that have these instances. For example, `ReaderC` is just `ReaderT`, and `ReaderT` supports all three of these instances. The...

Add `elimNS`?

2

I dunno if this is too specific, but I found myself digging for this in the `sop-core` documentation, and eventually gave up and just wrote this myself: ```haskell elimNS ::...

Expect.andAlso: A way to combine Expectations

6

The API currently allows this, but it can be made nicer with a combinator: ```elm andAlso : Expect.Expectation -> Expect.Expectation -> Expect.Expectation andAlso l r = Expect.all [ always l,...

How is `CountOf` intended to be used?

3

`length` returns a `CountOf` value, but these seem pretty painful to work with. In some code I'm working with, I need to build a count of bytes to supply to...

IORefs?

1

I'm unclear on exactly the scope of `foundation`, but should it expose `IORef`s? Or should I just import `Data.IORef`? I suppose I'm not clear as to whether I should import...