~ehmry/dhall-genode: Simplify child routing function

3 files changed, 12 insertions(+), 4 deletions(-)

M ServiceRoute/child
A ServiceRoute/childLabel
M ServiceRoute/package.dhall

M ServiceRoute/child => ServiceRoute/child +2 -4

@@ 2,8 2,6 @@
 
 in    λ(service : Text)
     → λ(child : Text)
-    → λ(label : Optional Text)
-    → λ(relabel : Optional Text)
-    → { service = { name = service, label = label }
-      , route = Route/Type.Child { name = child, label = relabel }
+    → { service = { name = service, label = None Text }
+      , route = Route/Type.Child { name = child, label = None Text }
       }

A ServiceRoute/childLabel => ServiceRoute/childLabel +9 -0

@@ 0,0 1,9 @@
+let Route/Type = ./../Route/Type
+
+in    λ(service : Text)
+    → λ(child : Text)
+    → λ(label : Optional Text)
+    → λ(relabel : Optional Text)
+    → { service = { name = service, label = label }
+      , route = Route/Type.Child { name = child, label = relabel }
+      }

M ServiceRoute/package.dhall => ServiceRoute/package.dhall +1 -0

@@ 1,5 1,6 @@
 { Type = ./Type
 , child = ./child
+, childLabel = ./childLabel
 , parent = ./parent
 , parentLabel = ./parentLabel
 , toXML = ./toXML