4c7b75b503 | ||
---|---|---|
.. | ||
dhall-to-yaml-ng | ||
src/Dhall | ||
tasty | ||
yaml-to-dhall | ||
CHANGELOG.md | ||
LICENSE | ||
README.md | ||
default.nix | ||
dhall-yaml.cabal | ||
shell.nix |
README.md
dhall-yaml
For installation or development instructions, see:
Full documentation here:
Introduction
This dhall-yaml
package provides a Dhall to YAML compiler, dhall-to-yaml-ng
,
and a tool for deriving Dhall from YAML code: yaml-to-dhall
.
Tutorials for the analogous JSON tools are available in the dhall-json
package:
Example
$ dhall-to-yaml-ng <<< "{ foo = [1, 2, 3], bar = { baz = True } }" > example.yaml
$ cat example.yaml
bar:
baz: true
foo:
- 1
- 2
- 3
$ yaml-to-dhall '{ foo : List Natural, bar : { baz : Bool } }' < example.yaml
{ bar = { baz = True }, foo = [ 1, 2, 3 ] }