Dhall is a total programming language tailored for configuration files.
Questions tagged [dhall]
62 questions
0
votes
2 answers
how to emulate Python join function in dhall?
I am new to dhall with no Haskell background. How do I convert a list of string to a single string with values separated by comma?
E.g.
["a", "b", "c"] -> "a,b,c"
I tried List/fold, but couldn't figure out an idiomatic way to get rid of the extra…
Paresh Adhia
- 3
- 1
0
votes
1 answer
How to handle association list as heterogeneous list?
I'm trying to use dhall to type an openapi specification.
Following the description of a Security Requirement Object which the open api object have an array of, I write the following code:
let SecurityRequirement =
{
mapKey: Text
,…
lorilan
- 311
- 1
- 9