blob: 93785c720c07c7a0f466d893aaa2a615c4cf2106 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
let OptionPrinter = ../OptionPrinter/type.dhall
let Option = ../Option/type.dhall
let Argument = ../Argument/type.dhall
in λ(optionPrinter : OptionPrinter)
→ λ(a : Argument)
→ merge
{ Plain =
λ(t : Text) → [ t ]
, Flag =
λ(o : Option) → [ optionPrinter o ]
, Option =
λ(o : { opt : Option, arg : Text }) → [ optionPrinter o.opt, o.arg ]
}
a
: List Text
|