~ehmry/dhall-genode

ref: 77191aad45296782ae570fcd852e5d017b144e50 dhall-genode/ServiceRoute/childLabel -rw-r--r-- 283 bytes
77191aadEmery Hemingway Simplify child routing function 11 months ago
                                                                                
1
2
3
4
5
6
7
8
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 }
      }