Datafix.FrameworkBuilder

Builds a DataFlowFramework for a Denotational formulation in terms of MonadDatafix. Effectively reduces descriptions from Datafix.Denotational to ones from Datafix.Explicit, so that solvers such as Datafix.Worklist only have to provide an interpreter for MonadDependency.

Documentation

data FrameworkBuilder m a

Constructs a build plan for a DataFlowFramework by tracking allocation of Nodes mapping to ChangeDetectors and transfer functions.

Instances

Monad (FrameworkBuilder m)

Defined in Datafix.FrameworkBuilder

Methods

(>>=) :: FrameworkBuilder m a -> (a -> FrameworkBuilder m b) -> FrameworkBuilder m b

(>>) :: FrameworkBuilder m a -> FrameworkBuilder m b -> FrameworkBuilder m b

return :: a -> FrameworkBuilder m a

fail :: String -> FrameworkBuilder m a

Functor (FrameworkBuilder m)

Defined in Datafix.FrameworkBuilder

Methods

fmap :: (a -> b) -> FrameworkBuilder m a -> FrameworkBuilder m b

(<$) :: a -> FrameworkBuilder m b -> FrameworkBuilder m a

Applicative (FrameworkBuilder m)

Defined in Datafix.FrameworkBuilder

Methods

pure :: a -> FrameworkBuilder m a

(<*>) :: FrameworkBuilder m (a -> b) -> FrameworkBuilder m a -> FrameworkBuilder m b

liftA2 :: (a -> b -> c) -> FrameworkBuilder m a -> FrameworkBuilder m b -> FrameworkBuilder m c

(*>) :: FrameworkBuilder m a -> FrameworkBuilder m b -> FrameworkBuilder m b

(<*) :: FrameworkBuilder m a -> FrameworkBuilder m b -> FrameworkBuilder m a

MonadDependency m => MonadDatafix (FrameworkBuilder m)

Defined in Datafix.FrameworkBuilder

Associated Types

type DepM (FrameworkBuilder m) :: Type -> Type

Methods

datafix :: dom ~ Domain (DepM (FrameworkBuilder m)) => ChangeDetector dom -> (LiftedFunc dom (DepM (FrameworkBuilder m)) -> FrameworkBuilder m (a, LiftedFunc dom (DepM (FrameworkBuilder m)))) -> FrameworkBuilder m a

type DepM (FrameworkBuilder m)

Defined in Datafix.FrameworkBuilder

type DepM (FrameworkBuilder m) = m

buildFramework :: forall m a. MonadDependency m => (forall md. (MonadDatafix md, DepM md ~ m) => md a) -> (a, Node, DataFlowFramework m)

(root, max, dff) = buildFramework builder executes the build plan specified by builder and returns the resulting DataFlowFramework dff, as well as the root Node denoting the transfer function returned by the FrameworkBuilder action and the maximum node of the problem as a proof for its denseness.