=================
Things to be done
=================

.. todo:: end user usability

   - entry-point functions for actual running (like ``quickcheck``, ``check``, ``forAll``, etc.)
   - smart comparison functions (like ``===``, ``shouldNotContain``, etc.)
   - nice violation diff printing of comparison functions

.. todo:: staff from limitations

.. todo:: explicit shuffling

.. todo:: support of shrinking or similar directed mutations

.. todo:: tuning of combinations of generators

.. todo:: proving or testing of laws of existing combination upon generators

.. todo::

   co-generators or similar stuff for generation of functions;
   research of how this applies to dependently types functions