Add public box/unbox for Binding<> types

elmish · Dec 9, 2022 · 02929c4 · 02929c4
1 parent 3cc05e9
commit 02929c4
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/Elmish.WPF/Binding.fs b/src/Elmish.WPF/Binding.fs
@@ -12,6 +12,12 @@ module Binding =
     { Name = binding.Name
       Data = binding.Data |> f }
 
+  /// Boxes the output parameter
+  let boxT (binding: Binding<'b, 'msg, 't>) = BindingData.boxT |> mapData <| binding
+
+  /// Unboxes the output parameter
+  let unboxT (binding: Binding<'b, 'msg>): Binding<'b, 'msg, 't> = BindingData.unboxT |> mapData <| binding
+
   /// Maps the model of a binding via a contravariant mapping.
   let mapModel (f: 'a -> 'b) (binding: Binding<'b, 'msg, 't>) = f |> mapModel |> mapData <| binding
 

diff --git a/src/Elmish.WPF/BindingData.fs b/src/Elmish.WPF/BindingData.fs
@@ -159,6 +159,7 @@ and BindingData<'model, 'msg, 't> =
 
 module BindingData =
 
+  let unboxT b = MapT.recursiveCase unbox box b
   let mapModel f =
     let binaryHelper binary x m = binary x (f m)
     let baseCase = function