| Copyright | (c) Sebastian Graf 2018 |
|---|---|
| License | ISC |
| Maintainer | sgraf1337@gmail.com |
| Portability | portable |
| Safe Haskell | None |
| Language | Haskell2010 |
Datafix.Worklist.Denotational
Description
Bridges the Datafix.Worklist solver for DataFlowProblems (solveProblem)
with the Datafix.Denotational approach, using MonadDatafix to describe
a Denotation.
- evalDenotation :: Datafixable domain => Denotation domain -> IterationBound domain -> domain
Documentation
Arguments
| :: Datafixable domain | |
| => Denotation domain | A build plan for computing the denotation, possibly involving
fixed-point iteration factored through calls to |
| -> IterationBound domain | Whether the solution algorithm should respect a maximum bound on the
number of iterations per point. Pass |
| -> domain |
evalDenotation denot ib returns a value in domain that is described by
the denotation denot.
It does so by building up the DataFlowProblem corresponding to denot
and solving the resulting problem with solveProblem, the documentation of
which describes in detail how to arrive at a stable denotation and what
the IterationBound ib is for.