Commit Graph

66 Commits

Author SHA1 Message Date
Arian van Putten
a3414f21a6 Use generated docs 2019-04-01 22:03:00 +02:00
Arian van Putten
4778e2d41e Add nix shell for docs 2019-04-01 21:10:12 +02:00
Arian van Putten
fb231abf35 Fix link 2019-04-01 20:40:07 +02:00
Arian van Putten
2e0b175c55 WIP: Work on docs
Still need to clean up the CSS a bit more to get
rid of #lol

This is based off  github.com/ruuda/kilsbergen

TODO: Attribute @ruuda
2019-03-31 11:54:24 +02:00
Arian van Putten
7fb699d8ab Tweak more 2019-03-30 14:21:33 +01:00
Arian van Putten
8e3eca67de Tweak logo 2019-03-30 14:19:29 +01:00
Arian van Putten
b1358c870e Add logo 2019-03-30 13:57:18 +01:00
Arian van Putten
8d295ecedc
Nixify the build (#55)
This makes our build reproducible and consistent

* Disables dhall tests. They don't build in sandbox mode because they require network access
* Moves all scripts to ./scripts folder for consistency
* Moves all nix files to ./nix folder for consistency, except for release.nix which Hydra needs
* Changes convert.py to take the K8s swagger spec as an argument
* Get k8s swagger spec from nixpkgs
* Get dhall prelude from nixpkgs
* added an ./scripts/update-nixpkgs.sh script to easily update to a new version of nixpkgs
2019-03-30 11:05:29 +01:00
Fabrizio Ferrai
f860c4e2a4
Upgrade to Kubernetes 0.13.4 (#53) 2019-03-25 12:32:48 +02:00
Fabrizio Ferrai
423db8a8bb
Centralize Prelude import (#51)
Import the Prelude only in one place, so it's cached and easily overridable
2019-03-25 12:20:27 +02:00
Ari Becker
047e56a442 Add "Projects Using" section to the docs, with dhall-prometheus-operator (#52) 2019-03-25 11:15:20 +02:00
Fabrizio Ferrai
ced5c10af3
Update to Dhall v5.0.0: deprecate constructors keyword (#45) 2019-01-21 08:49:34 +02:00
Gabriel Gonzalez
272c10efc4
Further simplify instructions for building locally (#43) 2019-01-02 00:49:30 -06:00
Gabriel Gonzalez
ee0c74c79f
Provide default value for src in ./release.nix (#42)
This simplifies local testing
2019-01-02 00:03:04 -06:00
Jan van Brügge
4a904b4688 Do not require apiVersion for ObjectFieldSelector (#40) 2018-12-03 10:37:49 +01:00
Fabrizio Ferrai
0691ba0078 Fix accidental tabs in examples 2018-11-12 19:24:18 +01:00
Fabrizio Ferrai
ad3eff2c7e Unskip tests for some now-passing generated files 2018-11-12 19:20:58 +01:00
Fabrizio Ferrai
f88ad18bcc Update README notice about minimum Dhall version 2018-11-12 19:19:06 +01:00
Simon Hafner
b98223e2a6 Upgrade to dhall version v3.0.0 (#36) 2018-11-12 18:37:55 +01:00
Fabrizio Ferrai
f8be1d55bc
Add high level API (#34)
This adds a high level API (+ tests) for:
- Deployment.v1
- Service.v1
2018-09-13 13:33:48 +03:00
Fabrizio Ferrai
11a986ae11
Fix #32: include the git revision in the Hydra build (#33) 2018-09-04 11:11:40 +03:00
Fabrizio Ferrai
4fec2167a8
Support 'format' key from the swagger schema (#28)
Fix #12 by introducing a `< Int : Natural | String : Text >` Union for the "int-or-string" format key.
2018-08-06 17:13:33 +02:00
Thomas Scholtes
4a7f02cd0d Extract and check examples (#27)
* We move all the example code from the readme to the `examples` folder.
* We provide a `scripts/build-readme.sh` script that inlines referenced
  examples in `README.md.in` and outputs `README.md`. The script also
  verifies that the output readme is the same as in version control.
* We provide a `scripts/build-examples.py` script that builds the Yaml
  output for all examples. The script also verifies that the generated
  Yaml files are the same as in version control.
2018-08-03 16:24:32 +02:00
Ryota Kameoka
e132545c34 Correct README to use Natural type (#31) 2018-07-22 16:12:46 +03:00
Thomas Scholtes
9fbf8be092
Merge pull request #29 from dhall-lang/add-nix-shell
Add 'shell.nix' for local development
2018-07-16 22:34:43 +02:00
Thomas Scholtes
dbbd53ba50
Add 'shell.nix' for local development
As part of this I created a new files `./nixpkgs` that obtains a
specific version of the nixpkgs repo. This code was previously spread
between `release.nix` and `fetchNixpkgs.nix`. I also removed the Nix
1.11 code to simplify things. If we need Nix 1.11 support we can add it
again.
2018-07-16 19:57:10 +02:00
Thomas Scholtes
6e56cd699c Add locales to release.nix to build on plain NixOS
* We add the `glibcLocales` dependency to the somke test. This makes the
  `en_US.UTF-8` locale available which is required for `dhall` to work
  correctly.
* We also extract `check-sources.py` again so it can be run standalone.
  `bash` and `dhall` which are required by the script are still
  available when building it with nix.
2018-07-14 19:12:34 +03:00
Fabrizio Ferrai
ee1dbaefba Add configuration for Hydra builds 2018-07-14 19:12:34 +03:00
Thomas Scholtes
1dafd97c09 Improve convert code and fix alias issues (#25)
We improve the convert code by rewriting the `get_typ`. It is now more
general and properly recurses on records and lists. This also surfaced a
bug where definition aliases did not generate correct code.
2018-07-14 11:10:37 +03:00
Thomas Scholtes
d7e9d809fc
Merge pull request #24 from dhall-lang/fix-kubernetes-version
Fix Kubernetes version for which to get swagger
2018-07-13 23:48:23 +02:00
Thomas Scholtes
59ec184c81
Fix Kubernetes version for which to get swagger
For now I think it is sufficient to hardcode this. We can come up with a
better schema later.
2018-07-13 21:53:29 +02:00
Fabrizio Ferrai
bc09fbe1b4
Fix $ in record labels: start emitting quoted ones (#22) 2018-07-11 18:35:11 +02:00
Fabrizio Ferrai
8b26ad6a47
Merge pull request #20 from dhall-lang/dhall-1.14
Update to Dhall >= 1.14
2018-07-08 21:47:55 +02:00
Fabrizio Ferrai
f8b2122a10 Update the README with a notice about the required dhall version 2018-07-08 22:02:34 +03:00
Fabrizio Ferrai
6acb5b3e18 Update to Dhall 1.14
Switch Integer to Natural
2018-07-08 20:47:09 +03:00
Thomas Scholtes
b2357dcfa4
Merge pull request #16 from geigerzaehler/add-file-check
Add script that checks generated source files
2018-07-08 18:40:12 +02:00
Fabrizio Ferrai
d0f6ed0e83
Merge pull request #14 from geigerzaehler/static-resource-values
Default `kind` and `apiVersion` values
2018-07-08 14:09:13 +02:00
Thomas Scholtes
491463a867
fixup! Default kind and apiVersion values 2018-07-08 13:53:49 +02:00
Thomas Scholtes
09ed3bb6a1
Add script that checks generated source files 2018-07-08 13:38:11 +02:00
Thomas Scholtes
1feeeac87a
Default kind and apiVersion values
The `kind` and `apiVersion` properties of a Kubernetes resource are
already implicitly determined by the resource. We adjust the default
functions so that they do not require the `kind` and `apiVersion`
parameters for resources.

We obtain the implied values by inspecting the
`x-kubernetes-group-version-kind` key from the OpenAPI schema for that
resource. The [Kubernetes OpenAPI Spec Readme][1] explains how these
values determine the resource values.

[1]: https://github.com/kubernetes/kubernetes/blob/master/api/openapi-spec/README.md#x-kubernetes-group-version-kind
2018-07-08 11:34:03 +02:00
Thomas Scholtes
6f4b1b32fd
Regenerate code from OpenAPI spec 2018-07-08 11:28:21 +02:00
Fabrizio Ferrai
dd2515c88a
Merge pull request #9 from dhall-lang/f-f/add-readme
Add some documentation and examples
2018-06-04 12:57:29 +03:00
Fabrizio Ferrai
89edbdca9d Remove outdated examples 2018-06-02 23:44:15 +03:00
Fabrizio Ferrai
afa1b88e49 Rewrite readme adding some examples 2018-06-02 23:43:49 +03:00
Fabrizio Ferrai
03c99940c9 Regenerate defaults and types 2018-06-01 11:36:53 +02:00
Fabrizio Ferrai
5654473c89 Fix incorrect generation of lambdas with no arguments 2018-06-01 11:36:53 +02:00
Fabrizio Ferrai
81988ee413 Correctly generate List types 2018-06-01 11:36:53 +02:00
Fabrizio Ferrai
ae66b56518 Fix record types and empty records formatting 2018-05-27 19:55:47 +02:00
Fabrizio Ferrai
7c895cea21 Add types to generated default records 2018-05-27 19:55:47 +02:00
Fabrizio Ferrai
65b1339651 Make the required parameters fields of a record instead of fn args 2018-05-27 19:55:47 +02:00