ยค dynListF, DynFMsg

Dynamic fudget creation/destruction

Types

dynListF :: F (Int, DynFMsg a b) (Int, b)
type DynFMsg a b = DynMsg a (F a b)
data DynMsg a b = DynCreate b | DynDestroy | DynMsg a

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.