Copyright	(c) Sebastian Graf 2017-2020
License	ISC
Maintainer	sgraf1337@gmail.com
Portability	portable
Safe Haskell	None
Language	Haskell2010

Datafix.FrameworkBuilder

Description

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.

Synopsis

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

Documentation

data FrameworkBuilder m a Source #

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

Instances

Monad (FrameworkBuilder m) Source #
Instance details 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) Source #
Instance details Defined in Datafix.FrameworkBuilder Methods fmap :: (a -> b) -> FrameworkBuilder m a -> FrameworkBuilder m b # (<$) :: a -> FrameworkBuilder m b -> FrameworkBuilder m a #
Applicative (FrameworkBuilder m) Source #
Instance details 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) Source #
Instance details Defined in Datafix.FrameworkBuilder Associated Types type DepM (FrameworkBuilder m) :: Type -> Type Source # 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 Source #
type DepM (FrameworkBuilder m) Source #
Instance details 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) Source #

(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.