¤ dynListF, DynFMsg

Types

dynListF :: F (Int, DynFMsg a b) (Int, b)
type DynFMsg a b = DynMsg a (F a b)


data DynMsg b a = DynCreate a | DynDestroy | DynMsg b

Description

dynListF allows fudgets to be created and destroyed dynamically.

Input

(t,DynCreate f) creates a new fudget f with tag t. (t,DynMsg x) sends x to an existing fudget tagged t. (t,DynDestroy) destroys the fudget with tag t.

Output

(t,x) is output if the fudget tagged t outputs x.

See Also

Other dynamic combinagtor: dynF

Static fudget composition: listF, compF.