In dhall, how can I create a schema for the following yaml? environment: local: path: "/path/to/env" envvars: - var1 - var2 stage: path: "/path/to/env" envvars: - var1 - var2 prod: pat...

I'd like to represent a wiki (a set of documents comprising a directed graph) in Dhall. These documents will be rendered to HTML, and I'd like to prevent broken links from ever being generated. As ...

I'm trying to rewrite a BIG yaml configuration file used in Haksell applicationusing dhall. To do so I'm using json-to-dhall which requires a SCHEMA which is the type of the resuting expression. Th...

I would like to represent IPv4 addresses in dhall, so I can manage my host configurations. By default, this is held as Text; but that's clearly unsatisfactory as it allows any old text to slip thr...

I'm playing with dhall and wondered how I can implement a string splitting function of the form λ(text: Text) -> λ(delimiter: Text) -> List Text However, it appears dhall has no concept/typ...

Playing with dhall for the first time I saw that it supports these two options: ./dhall --help ... lint Improve Dhall code format Formatter for the Dhall language What's the difference betw...

How can I define a sum type analogous to Haskell's sum types in the Dhall programming language? For instance, if in Haskell I'd define data SumProp = Option1 | Option2 My purpose is to define i...