reaction-logic-2010.11.17: pluggable pure logic serializable reactor

Data.Reactor.MinimalGraph

Description

Resizable dependency graph.

Synopsis

Documentation

type Index = IntSource

data MinimalGraph a Source

MinimalGraph object definition. Add and resisze are splitted to permit new index to be used in computation of new constraint group .

Constructors

MinimalGraph 

Fields

add :: (a, [Index]) -> (Index, MinimalGraph a)

append a new value given its minimalendencies. Return its index

resize :: [Index] -> Maybe (MinimalGraph a)

possibly reduce the object as to contain only the subgraph

values :: [a]

elements in the graph

mkMinimalGraph :: MinimalGraph aSource

Create an empty minimal graph.

prop_data_reactor_minimalgraph :: Gen BoolSource