@hackage mvc1.0.5

Model-view-controller

Categories
- Concurrency
License
BSD-3-Clause
Maintainer
Gabriel439@gmail.com
Links
Versions
- 1.1.7 Wed, 1 Nov 2023
- 1.1.6 Fri, 1 Dec 2017
- 1.1.5 Sun, 20 Aug 2017
- 1.1.4 Tue, 13 Jun 2017
- 1.1.3 Sat, 28 May 2016
- 1.1.2 Sun, 6 Mar 2016

Installation
In your cabal file:
Dependencies (9)
- async >=2.0.0 && <2.1
- base >=4 && <5
- contravariant <1.4
- foldl <1.1
- managed <1.1
- mmorph >=1.0.2 && <1.1
Dependents (5)
@hackage/halma-gui, @hackage/liveplot, @hackage/acme-everything, @hackage/mvc-updates, @hackage/halma

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.