supervisor: Control an internal monad execution for trace generation, backtrakcking, testing and other purposes

[ bsd3, control, library ] [ Propose Tags ]

A supervisor monad that explore the execution tree of an internal monad and define extra behaviours thanks to flexible instance definitions for each particular purpose. It can inject new behaviours for backtracking, trace generation, testing, transaction rollbacks etc

The supervisor monad is used in the package MFlow to control the routing, state management, back button management and navigation in general.

Currently only the generation of an execution trace on case of error is developped. See Control.Monad.Supervisor.Trace and the example at Demos/TraceExample.hs

Versions 0.1.0.0, 0.1.1.0
Dependencies base (==4.*), containers, exceptions, monadloc, mtl [details]
License BSD-3-Clause
Author Alberto G. Corona
Maintainer agocorona@gmail.com
Category Control
Home page http://github.com/agocorona/supervisor
Uploaded by AlbertoCorona at Tue Dec 31 11:34:18 UTC 2013
Distributions NixOS:0.1.1.0
Downloads 871 total (21 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees