Dhall bindings for go
MIT License
Bot releases are visible (Hide)
Prelude/JSON/Type.dhall
file by @Gabriel439 in https://github.com/philandstuff/dhall-golang/pull/63
Full Changelog: https://github.com/philandstuff/dhall-golang/compare/v6.0.1...v6.0.2
Published by philandstuff almost 4 years ago
This fixes a showstopper bug in 6.0.0.
Published by philandstuff almost 4 years ago
This brings dhall-golang up to version 19.0.0 of the Dhall standard.
Text/replace
builtindhall-golang json
commandThe new dhall-golang json
command takes some Dhall and outputs it as
JSON, similar to dhall-haskell's dhall json
. One key difference is
that it also supports Prelude.JSON types. For example, the following
command:
dhall-golang json <<EOF
let JSON = https://prelude.dhall-lang.org/JSON/package.dhall
in { x = JSON.natural 4
, y =
JSON.array
[ JSON.string "foo", JSON.natural 4, JSON.null, JSON.bool True ]
}
EOF
will output:
{
"x": 4,
"y": [
"foo",
4,
null,
true
]
}
with
as first-class expressioninterface{}
; dhall-golangPublished by philandstuff about 4 years ago
This brings dhall-golang up to version 18.0.0 of the Dhall standard.
with
optimizationsThis implements the newly-possible with
optimizations such that
deeply-nested with
expressions do not experience pathological
slowdown.
Published by philandstuff about 4 years ago
This brings dhall-golang up to version 17.1.0 of the Dhall standard.
toMap
expressions (#49)Published by philandstuff over 4 years ago
This brings dhall-golang up to version 17.0.0 of the Dhall standard.
Again the standard had breaking changes, so this release is a major
version bump.
Thanks to @lisael for their contributions to this release.
x === y
fails to typecheck (#39)Published by philandstuff over 4 years ago
This brings dhall-golang up to version 16.0.0 of the Dhall standard.
As the standard had breaking changes, this release is a major version
bump.
Published by philandstuff over 4 years ago
This brings dhall-golang up to version 15.0.0 of the Dhall standard.
As the standard had breaking changes, this release is a major version
bump.
with
keyword (technically breaking since you can no longerwith
as an identifier){ x }
is now shorthand for { x = x }
)merge
(3171f34)Published by philandstuff over 4 years ago
No changes from 1.0.0-rc.4.
Published by philandstuff over 4 years ago
Another release candidate. There was one more breaking change. I don't anticipate any more breaking changes so if there are no reported issues, this will become 1.0.
Published by philandstuff over 4 years ago
Another release candidate. A few more breaking changes, though less
drastic than rc.2 was. Things are slowly stabilising.
Thanks to @Duncaen for his contribution to this release.
dhall
not json
(#15)Published by philandstuff over 4 years ago
Another release candidate. As promised, the core
package is still
in flux and has undergone a huge refactor in this release. Along with
that, the godoc has been vastly improved, and a new README has been
written to replace the previous scrappy development notes.
Also, this brings dhall-golang up to version 14.0.0 of the language
standard.
core
package
core.Term
and implementations to new package term
core.AppValue
from public interface-Val
and -Term
suffixesdhall.Unmarshal()
now resolves imports and typechecks beforecore.ListOf
, core.OptionalOf
, core.NoneOf
Value typesList a
, Optional a
and None a
ValuesPublished by philandstuff over 4 years ago
First release candidate. Note that some things are still in flux and
subject to change:
dhall
package is stable and will not have any breakingdhall.Decode
and dhall.Unmarshal
willparser
package is also stable and will not have any breakingcore
package is still subject to change: in particular, namesPublished by philandstuff over 4 years ago