dhall-haskell
dhall-haskell copied to clipboard
dhall-lang
Maintainable configuration files
This is a follow up to https://github.com/dhall-lang/dhall-haskell/pull/2506 for a complicated case I forgot to add. In the case where an imported type uses another higher kinded type, the current algorithm...
A user reported: ``` ↳ Error: Missing file 8│ ``` As it happened, the symlink included an absolute path to a location on a computer and was committed to git...
Hello, I'm trying to produce templated YAML from Dhall; the desired output is ``` kind: Deployment spec: template: metadata: annotations: checksum/config: {{ include (print $.Template.BasePath "/configmap.yaml") . | sha256sum }}...
On x86_64-linux: ```console $ wget https://github.com/dhall-lang/dhall-haskell/releases/download/1.42.0/dhall-1.42.0-x86_64-linux.tar.bz2 $ tar xf dhall-1.42.0-x86_64-linux.tar.bz2 $ ./bin/dhall --version 1.41.2 ``` But it seems to be the 1.42.0 release, e.g. it supports `Bytes` literals: ``` $...
The `Lam`, `Pi`, `Combine`, `CombineTypes`, `Prefer` and `Equivalent` constructors of `Expr` all have a `Maybe CharacterSet` field, without any documentation describing what a `Nothing` would signify in this context. Based...
As previously recommended by @sellout [here](https://github.com/dhall-lang/dhall-haskell/pull/418#issuecomment-393757350), when dhall code is loaded via TemplateHaskell, it is important to call `addDependentFile` on the dhall file. Otherwise, changes to that dhall file will...
I want to have certain types available in my evaluation context. From the [substitutions tutorial](https://hackage.haskell.org/package/dhall-1.41.2/docs/Dhall-Tutorial.html#g:24) that's easy enough for simple types, and I can even use something like this `declared...
If a dhall file contains file-relative imports, moving the file to another directory requires someone to mechanically update all the imports. This process seems like it should be easy to...
