~ehmry/dhall-genode

ref: f04577c5a1eef0598cc24a04f395ff139f7c8bac dhall-genode/ServiceRoute/child -rw-r--r-- 283 bytes
f04577c5Emery Hemingway Update Prelude 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 }
      }