Ref for tree pointers

Stream: general

[Frederick Pu]

So if i have trees A B and a make a tree t := (mk val A B) and i apply a function womp to t, and want to access the modified A value how would I do that. Would the approach to use ST.Ref and use monadic combinators to do mk val (Ref.mk A) (Ref.mk B) somehow?

[Matt Diamond]

are you talking about docs#Tree or some other structure?

[Frederick Pu]

yes binary trees

[Frederick Pu]

also what's the difference between ST.Ref and IO.Ref