Data.Reactor.Pruned

Documentation

mkPruned

Arguments

:: Monad m

=> (a -> m (a, [a]))

monadic value expansion, first value is the update , second values are dependents

-> (a -> Bool)

pruning condition

-> (a -> b -> a)

restoring function via parameter

-> (a -> b)

serialization to parameter

-> a

value for the base node

-> Pruned m b

the pruned object

build a pruned given some functions and a value

data Pruned m b

A pruned object keeps a pruned tree of values

Constructors

Pruned

Fields

expand :: m (Maybe (Pruned m b))

expand the pruned , Nothing if nothing in it at the end

serialize :: [b]

collect the pruned values

restore :: [b] -> Pruned m b

restore the pruned given it's values

prop_data_reactor_pruned :: Gen Bool