@hackage / mvc

Model-view-controller

Latest1.1.7

About

Metadata

  • Last updated , by AndreasAbel
  • License BSD-3-Clause
  • Categories Concurrency

  • Maintained by: GenuineGabriella@gmail.com

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.0.2

Readme

Use the mvc library to distill concurrent programs into pure and single-threaded programs using the Model-View-Controller pattern. This transformation lets you:

  • replay your program deterministically,

  • do property-based testing of your model (like QuickCheck), and:

  • equationally reason about your pure core.