wigahluk / dart-check Goto Github PK

View Code? Open in Web Editor NEW

5.0 5.0 2.0 36 KB

A monadic QuickCheck inspired library for Dart

License: Apache License 2.0

Dart 100.00%

dart-check's People

Contributors

Stargazers

Watchers

Forkers

arturaz asakeron

dart-check's Issues

Replace custom Pair with Tuples

Using Tuples from Pub package "tuple" will make it easier for building multiple versions fo Zip combinators which will make generators easy to extend for custom values.

Add an example illustrating usage

Make number of generated caes configurable in Prop.test

Wrap original Test failure instead of recreating it to avoid loosing context

Add shuttlecock monad tests for monadic structures

Implement a few generators

https://github.com/rickynils/scalacheck/blob/master/src/main/scala/org/scalacheck/Gen.scala

Shrinkers are lost after map operations

This is causing that in the case of Lists generators (or String generators too), the shrinker functionality will be set to its default which is an empty stream.

Ideally List or String generators should keep its shrinking capability.

Probably all generators resulted from map should also keep their generators. I'm not sure that should be the case with flatMap.

One option is to move shrinkers out of the generator class. This also would have the benefit of allow their usage out of generators.

Recommend Projects