datafix

Fixing data-flow problems in expression trees. This should be useful if you want to write optimizations for your favorite programming language. See the Tutorial module for an introduction. After that, you might want to take a look at the examples/ folder in the repository.


Keywords
library, program, Propose Tags , Datafix, Datafix.Common, Datafix.Denotational, Datafix.Explicit, Datafix.FrameworkBuilder, Datafix.MonoMap, Datafix.NodeAllocator, Datafix.Tutorial, Datafix.Utils.Constraints, Datafix.Utils.TypeLevel, Datafix.Worklist, Datafix.Worklist.Denotational, Datafix.Worklist.Graph, Datafix.Worklist.Graph.Dense, Datafix.Worklist.Graph.Sparse, Datafix.Worklist.Internal, compiler-optimization, data-flow-analysis, haskell
License
ISC
Install
cabal install datafix-0.0.0.2

Documentation

datafix Build Status Hackage

Library for separating specification of a data-flow problem from computing its solution.

See the haddocks in Datafix.Tutorial for an introduction and the examples/ folder for more advanced material.