Tweet

3 people like it.
Like the snippet!

Structural BeginUpdate / EndUpdate with Lambda

Several WinForms controls, like TreeView and ListView, implement methods BeginUpdate and EndUpdate, which suspend repainting of the control while items are being individually added to a control, preventing flicker caused by rapid repainting. But using BeginUpdate and EndUpdate is very imperative, and opens up the possibility for bugs, such as neglecting to call the matching EndUpdate. An obvious improvement would be to create an extension method on types implementing this pattern which takes a unit -> unit lambda which is executed between update pairs. But the pattern is only conventional, rather than through a common base class or interface. Hence this presents a reasonable opportunity to use F#'s statically resolved structural type system to implement a function which only works on Control types with the correct structural signature.

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 
12: 
13: 

module Control =
    let inline update< ^a when ^a :(member BeginUpdate: unit -> unit) 
                       and ^a : (member EndUpdate: unit -> unit)> (this: ^a) f =
        (^a : (member BeginUpdate: unit -> unit) (this))
        f()
        (^a : (member EndUpdate: unit -> unit) (this))

module Example =
    open System.Windows.Forms
    let tv = new TreeView()
    Control.update tv <| fun () ->
            for i in 1..20 do
                tv.Nodes.Add(new TreeNode(i |> string)) |> ignore

More information