~ehmry/dhall-genode

ref: 77191aad45296782ae570fcd852e5d017b144e50 dhall-genode/ServiceRoute/child -rw-r--r-- 219 bytes
77191aadEmery Hemingway Simplify child routing function 11 months ago
                                                                                
1
2
3
4
5
6
7
let Route/Type = ./../Route/Type

in    λ(service : Text)
    → λ(child : Text)
    → { service = { name = service, label = None Text }
      , route = Route/Type.Child { name = child, label = None Text }
      }