pkgs/profpatsch/dhallsh/Argument/toArgList.dhall


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