quickcheck-dynamic
quickcheck-dynamic copied to clipboard
Hide internals of `StateModel` module
trafficstars
We currently expose things like Actions(..) and Step(..) etc in the public interface of the library. I'd like to limit what we expose to the "intended use-case" to avoid confusion in the future.