ยค treeF, Tree

Types

treeF :: Tree (a, F b c) -> F (Path, b) (a, c)
data Tree a = Leaf a | Branch (Tree a) (Tree a)
instance Eq a => Eq (Tree a)
instance Ord a => Ord (Tree a)
instance (Show leaf, Show node) => Show (Tree leaf node)

Synopsis

treeF tagged_fudgets

type Path = [Direction]

Description

Fudgets composed with treeF operate in parallel, indepdenetly of one another. The high level output streams from the individual fudgets are tagged and merged into a single stream. The input stream, which must be tagged, is split up and fed to the appropriate fudget.

Input

A message (path,msg) is sent to the fudget at the position in the tree indicated by path.

Output

A message (tag,msg) comes from the fudget tagged tag.

Arguments

tagged_fudgets :: Tree (a, F b c)
a tree of tagged fudgets

See Also

listF, compF.