Stephen Tetley

refactor: Traversable - ContStateLeft and ContStateRight to use a region rather than Impure effect #4443

2

Please see issue #4443. This PR changes Traversable's `ContStateLeft` and `ContStateRight` applicatives to thread a region effect rather than IO (Impure). We can internally cast the effects on `map` of...

_WithIndex functions - functional arg subject last?

1

This is a very minor point, but should the higher-order functions supplied to _WithIndex traversals be subject last (index first)? E.g currently we have... > pub def mapWithIndex(f: (a, Int32)...

Add `traverseM` to Traversable to recover short-circuiting

2

Currently `Traversable` supports `traverse` as per its Haskell counterpoint. `traverse` in both Haskell and Flix is applicative, however I just discovered that lazy evaluation makes Haskell's `traverse` different to Flix's...

feat: add Eff.Logger (issue #7096)

2

Just a draft PR at the moment due to crashing when using the log function wrappers like `info`

WIP: add Graded classes for Functor, Applicative and Monad (issue #5710)

5

Work in progress... This is a WIP at the moment and I'm just making a PR so it is visible. This adds graded versions of `Functor` , `Applicative` and `Monad`....

Collection instances of `ToJava` and `FromJava` should have `ToJava` and `FromJava`constraints on the element types

1

Collection instances of `ToJava` and `FromJava` should have `ToJava` and `FromJava`constraints on the element types. This will need the underlying implementations in Adaptor changing too. Please assign to me.

Error "illegal type constraint parameter"

5

I'm working on changing `Iterable` to have an associated Elm type rather than being `Iterable[t: Type -> Type]`. At the moment I'm not able to assert that `Iterable`'s `Elm` associated...