quickCheck package:essence-of-live-coding-quickcheck
General purpose live coding framework - QuickCheck integration
essence-of-live-coding is a general purpose and type safe live coding
framework.
You can run programs in it, and edit, recompile and reload them while
they're running. Internally, the state of the live program is
automatically migrated when performing hot code swap.
The library also offers an easy to use FRP interface. It is
parametrized by its side effects, separates data flow cleanly from
control flow, and allows to develop live programs from reusable,
modular components.
This package contains useful utilities for quickchecking.