Skip to content

Latest commit

 

History

History
35 lines (24 loc) · 1006 Bytes

README.md

File metadata and controls

35 lines (24 loc) · 1006 Bytes

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 ] }