{"id":14155579,"url":"https://github.com/EarnestResearch/dhall-packages","last_synced_at":"2025-08-06T01:31:47.626Z","repository":{"id":52929598,"uuid":"208252624","full_name":"EarnestResearch/dhall-packages","owner":"EarnestResearch","description":"Collection of dhall packages","archived":false,"fork":false,"pushed_at":"2023-12-15T08:43:00.000Z","size":379,"stargazers_count":44,"open_issues_count":6,"forks_count":8,"subscribers_count":13,"default_branch":"master","last_synced_at":"2024-08-17T08:05:37.996Z","etag":null,"topics":["ambassador-gateway","argo","argocd","cert-manager","dhall","external-secrets","kubernetes","packages"],"latest_commit_sha":null,"homepage":null,"language":"Dhall","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/EarnestResearch.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null}},"created_at":"2019-09-13T11:37:47.000Z","updated_at":"2024-03-11T19:14:11.000Z","dependencies_parsed_at":"2024-01-14T04:44:40.407Z","dependency_job_id":"1e1cf28d-bd2a-458c-bfb2-8c7df7ad1fed","html_url":"https://github.com/EarnestResearch/dhall-packages","commit_stats":null,"previous_names":[],"tags_count":30,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EarnestResearch%2Fdhall-packages","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EarnestResearch%2Fdhall-packages/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EarnestResearch%2Fdhall-packages/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/EarnestResearch%2Fdhall-packages/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/EarnestResearch","download_url":"https://codeload.github.com/EarnestResearch/dhall-packages/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":228821407,"owners_count":17977167,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["ambassador-gateway","argo","argocd","cert-manager","dhall","external-secrets","kubernetes","packages"],"created_at":"2024-08-17T08:04:02.149Z","updated_at":"2024-12-09T02:31:27.203Z","avatar_url":"https://github.com/EarnestResearch.png","language":"Dhall","funding_links":[],"categories":["kubernetes"],"sub_categories":[],"readme":"# dhall-packages\n\n## What is dhall?\nDhall 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](https://dhall-lang.org) for more details.\n\n## Why this repository?\nThis repository contains useful generic dhall packages that can be reused.\nThe idea is to facilitate package discovery and provide versions containing packages compatible to each other. \n\nThis repository maps to version [15.0.0](https://github.com/dhall-lang/dhall-lang/releases/tag/v15.0.0) of the dhall standard, and therefore requires dhall [1.31.0](https://github.com/dhall-lang/dhall-haskell/releases/tag/1.31.0) or later.\n\n## What does this repository contain?\n- [kubernetes](kubernetes) Various bindings for Kubernetes, based on [dhall-kubernetes](https://github.com/dhall-lang/dhall-kubernetes). The base kubernetes version this repository uses is `1.15`.\n    - [argocd](kubernetes/argocd) Manually curated bindings for ArgoCD. Updated to version 1.2.1\n    - [cert-manager](kubernetes/cert-manager) Some bindings for cert-manager. Contributions welcome!\n    - [k8s](kubernetes/k8s) Re-export of [dhall-kubernetes](https://github.com/dhall-lang/dhall-kubernetes) for convenience\n    - [kubernetes-external-secrets](kubernetes/kubernetes-external-secrets). Bindings for using the [kubernetes-external-secrets](https://github.com/godaddy/kubernetes-external-secrets) operator\n    - [argo](kubernetes/argo). Automatically generated bindings for [Argo Workflows](https://argoproj.github.io/argo/).\n    - [argo-events](kubernetes/argo-events). Automatically generated bindings for [Argo Events](https://argoproj.github.io/argo-events/).\n    - [ambassador](kubernetes/ambassador). Manually curated bindings for Ambassador.\n    - [webhook](kubernetes/webhook). Opinionated template to create admission webhooks on Kubernetes\n- [util](util/CronTab) Various utilities and types that can be shared\n    - [CronTab](util/CronTab) CronTab type, default and \"show\" function.\n\n\n## How to use this repository\nYou can import all the packages by doing (it's better if you freeze the import and point it to a specific commit):\n```dhall\nlet packages = https://raw.githubusercontent.com/EarnestResearch/dhall-packages/master/package.dhall\n```\n\nand then you can use it in your application like this\n```dhall\nlet packages = https://raw.githubusercontent.com/EarnestResearch/dhall-packages/master/package.dhall\n\nlet argocd = packages.kubernetes.argocd\n\nlet k8s = packages.kubernetes.k8s.`1-15`\n\nin  argocd.Application::{\n    , metadata = k8s.ObjectMeta::{ name = \"hello-app\" }\n    , spec =\n        argocd.ApplicationSpec::{\n        , project = \"hello-project\"\n        , source =\n            argocd.SourceSpec.TypesUnion.Plugin\n              argocd.PluginSourceSpec::{\n              , repoURL =\n                  \"https://github.com/EarnestResearch/dhall-packages.git\"\n              , path = \"kubernetes\"\n              , plugin = argocd.PluginSpec::{ name = \"dhall-to-yaml\" }\n              }\n        , destination =\n            argocd.DestinationSpec::{\n            , server = \"kubernetes.svc.local\"\n            , namespace = \"default\"\n            }\n        }\n    }\n```\n\nIf 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.\n\nNote: if you use this repository for kubernetes and you are converting to YAML, you should run\n```sh\ndhall-to-yaml --omit-empty\n```\n\n## Binary cache\nEach release contains a `cache.tgz` file with the cache of the whole package. You can download it and save the content into your `$XDG_CACHE_HOME` (`~/.cache` if unset) and use it as cache to speed up resolution.\n\n## Contributing\nSee [CONTRIBUTING](CONTRIBUTING.md)\n\n## Maintainers\nThe repository is actively maintained but in alpha stage, expect breaking changes.\n\n## Hat tip\nWe are standing on the shoulders of giants. This project wouldn't be possible without:\n- [dhall](https://dhall-lang.org)\n- [dhall-kubernetes](https://github.com/dhall-lang/dhall-kubernetes)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FEarnestResearch%2Fdhall-packages","html_url":"https://awesome.ecosyste.ms/projects/github.com%2FEarnestResearch%2Fdhall-packages","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2FEarnestResearch%2Fdhall-packages/lists"}