Data.Reactor.MinimalGraph

Resizable dependency graph.

Documentation

type Index = Int

data MinimalGraph a

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 a

Create an empty minimal graph.

prop_data_reactor_minimalgraph :: Gen Bool