Context: I would like to create the template of service yaml config and pass corresponding parameter or argument to generate different app config file ...

The Dhall website has a nice example: Like the comment asks me to do, I add another field: foo : Text to the type Config and now the example fails ...

I can evaluate dhall expressions with dhall --file ..., and I can evaluate 1 + 1 in the repl, but typing a let expression into dhall repl fails with " ...

Today my dhall project has started crashing on Prelude dependencies, so the main error is: I use this deps: and when I tried to generate a yaml ...

Given is a config of apps and containers with an app being able to have multiple containers a container being able to have multiple apps. I want to be ...

So I have a simple data structure that has some ByteStrings. I want to serialize these into Dhall files. However, I apparently can't just automaticall ...

A simplified version of my desired output: { "dynamic-name": { "type": "type", "fields": { "inner-dynamic-name": { "type": "i ...

I've defined a union type with two elements like so: FunctionCode.dhall The two types, StaticFC and DynamicFC are defined like so: StaticFunction ...

I'm working with Dhall 1.39.0 and getting this error: This is yielded from cat show-and-tell.dhall | ~/external-programs/bin/dhall --explain text. ...

I'm using Dhall to generate a Yaml file for github action. In GH Action, you can specify a matrix to generate multiple cases (e.g. combination of Scal ...

I'm getting a strange error message which I don't understand when trying to use Dhall for Kubernetes. Here is my configuration: And here is the err ...

spago docs state: packages.dhall: this file is meant to contain the totality of the packages available to your project (that is, any package you m ...

i want to import : IntOrString from dhall kubernetes, https://github.com/dhall-lang/dhall-kubernetes/blob/master/1.19/types/io.k8s.apimachinery.pkg.ut ...

I'm trying to move some error prone YAML into Dhall to make some system configuration simpler. I have a tree that looks like: composite: condition: ...

Dhall has functions that return types: And it has if expressions: But the two features can't be used together: Why? At first I thought this ...

I'm looking for a way to see the type of field of a record type, basically a type-level equivalent of . in the Dhall REPL Suppose I've done: How w ...

I was trying to make an instance for the Path type. https://hackage.haskell.org/package/path If I use the generic. This doesn't do any normalisati ...

I would like to compute the quotient of two Naturals. The requirement I need to fulfill is that I have a few configuration items that must be dynamica ...

I needed to bind/flatMap/>>= over an Optional in Dhall. I could not find an implementation for it and came up with my own. which I then use ...

I have several types defined and two are organized into list (field and option). Functions are defined to help define entries (addfield and addoption) ...