Huw Campbell

Lenses

1

https://github.com/ambiata/x/blob/master/x-htoml/src/X/Text/Toml.hs

Fix all warnings, GHC 8.0 to 8.4

1

I received a bunch of warnings when compiling this, and it looks like the semigroup instances were non-canonical. I also fixed up the commented example so it compiles and prints...

Discard on failed pattern matches within a Generator

7

As discussed in #233.

Remove momentum from Layers

2

- Momentum shouldn't be stored in the layers any more. This will free us up to use a broader set of optimisation algorithms. We will however need to provide a...

Switch to a standard Random class

7

At the moment the random initialisation is baked into the UpdateLayer class. We could replace this with either `Variates` from `System.Random.MWC` or `Random`.

We're currently doing an explicit export list from `Options.Applicative` and `Options.Applicative.Arrows` which is really the complete public API. Perhaps everything else should be scoped into an `Internal` hierarchy with haddock...

@thumphries First thoughts on getting #304 ready for 0.16.

Coverage doesn't appear to be available in state machine testing.

1

`cover` operates on `PropertyT`, while the generators and commands for state machine testing are `GenT` and `Result`. So as far as I can tell, there's nowhere to put coverage annotations.