Move UI.map to Aardvark.UI

aardvark-platform · Jul 18, 2024 · 7735bea · 7735bea
1 parent d433ecb
commit 7735bea
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/src/Aardvark.UI.Primitives/Primitives/UI.Primitives.fs b/src/Aardvark.UI.Primitives/Primitives/UI.Primitives.fs
@@ -9,14 +9,6 @@ open Aardvark.UI
 open Aardvark.UI.Operators
 open Aardvark.UI.Primitives
 
-
-
-module UI =
-    let map (f : 'a -> 'b) (source : DomNode<'a>) : DomNode<'b> =
-        MapNode<'a, 'b>(f, source) :> DomNode<_>
-        //source.Map f
-
-
 type NumericInputType = Slider | InputBox
 
 module List =

diff --git a/src/Aardvark.UI/Core.fs b/src/Aardvark.UI/Core.fs
@@ -1253,6 +1253,9 @@ and DomNode private() =
 
         DomNode.RenderControl(attributes, proc, getState, scene, htmlChildren)
 
+module UI =
+    let inline map (mapping: 'T1 -> 'T2) (source: DomNode<'T1>) : DomNode<'T2> =
+        DomNode.Map(mapping, source)
 
 type Unpersist<'model, 'mmodel> =
     {