dhall-packages

What is dhall?

Dhall is a strongly-typed programmable configuration language that can be used either directly or converted into other formats such as JSON and YAML. See dhall-lang.org for more details.

Why this repository?

This repository contains useful generic dhall packages that can be reused. The idea is to facilitate package discovery and provide versions containing packages compatible to each other.

This repository maps to version 10.0.0 of the dhall standard, and therefore requires dhall 1.26.0 or later.

What does this repository contain?

kubernetes Various bindings for Kubernetes, based on dhall-kubernetes
- argocd Manually curated bindings for ArgoCD. Updated to version 1.2.1
- cert-manager Some bindings for cert-manager. Contributions welcome!
- k8s Re-export of dhall-kubernetes for convenience
- kubernetes-external-secrets. Bindings for using the kubernetes-external-secrets operator
util Various utilities and types that can be shared
- CronTab CronTab type, default and "show" function.

How to use this repository

You can import all the packages by doing (it's better if you freeze the import and point it to a specific commit):

let packages = https://raw.githubusercontent.com/EarnestResearch/dhall-packages/master/package.dhall

and then you can use it in your application like this

let packages = https://raw.githubusercontent.com/EarnestResearch/dhall-packages/master/package.dhall

let argocd = packages.kubernetes.argocd

let k8s = packages.kubernetes.k8s

in      argocd.Application.default
    //  { metadata =
            k8s.defaults.ObjectMeta // { name = "hello-app" }
        , spec =
                argocd.ApplicationSpec.default
            //  { project =
                    "hello-project"
                , source =
                        argocd.SourceSpec.TypesUnion.Plugin (argocd.PluginSourceSpec.default
                    //  { repoURL = "https://github.com/EarnestResearch/dhall-packages.git",
                          path = "kubernetes",
                            plugin =
                            argocd.PluginSpec.default // { name =
                                "dhall-to-yaml"
                            }
                        })
                , destination =
                    argocd.DestinationSpec.default // {
                        server = "kubernetes.svc.local",
                        namespace = "default"
                    }
                }
        } : argocd.Application.Type

If you don't want to download the entire packages collection, you can simply reference the package.dhall file in the directory you are interested in. This will greatly improve performance if you are only using a subset of the packages.

Note: if you use this repository for kubernetes and you are converting to YAML, you should run

dhall-to-yaml --omitEmpty

Maintainers

The repository is actively maintained but in alpha stage, expect breaking changes.

Hat tip

We are standing on the shoulders of giants. This project wouldn't be possible without:

amarrella / dhall-packages