Control.Broccoli

data X a

data E a

data Output

runProgram

edge

accumulate

snapshot

snapshot_

out

filterE

justE

maybeE

never

debugX

debugE

newX

newE