dhall-golang

Go bindings for dhall.

Development

go test ./...

Type, Kind, Sort
Variables
- de bruijn indices
- quoted variables
Lambdas, Pis, function application
- Alpha normalization
Let bindings
Type annotations
Bools
- if
- &&, ||
- ==, !=
Naturals
- l + r Natural addition
- l * r Natural multiplication
- Natural/* standard functions
Integers
- Integer/toDouble and Integer/show
Doubles
- Double/show (it exists but doesn't pass tests)
Lists
- l # r list append
- List/* functions
Text
- double quote literals
- single quote literals
- text interpolation
- l ++ r text append
- Text/show standard functions
Optionals
- Optional/fold and Optional/build
Records
- f.a
- f.{ xs… }
- f.(s)
- l ∧ r
- l ⫽ r
- l ⩓ r
Unions
- types
- constructors
- merge
Imports
- local imports (except home-rooted paths)
- remote imports
- environment variable imports
- using ./headers
- import caching
- importing expressions
- importing as Text
- x ? y alternate import operator
- missing
unmarshalling into Go types
better errors
better godoc

Name		Name	Last commit message	Last commit date
Latest commit History 331 Commits
binary		binary
cmd		cmd
core		core
dhall-lang @ 31e90e1		dhall-lang @ 31e90e1
imports		imports
internal		internal
parser		parser
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md
dhall_suite_test.go		dhall_suite_test.go
doc.go		doc.go
example_datatypes_test.go		example_datatypes_test.go
example_nested_test.go		example_nested_test.go
example_test.go		example_test.go
generate.go		generate.go
go.mod		go.mod
go.sum		go.sum
property_test.go		property_test.go
spec_test.go		spec_test.go
unmarshal.go		unmarshal.go
unmarshal_test.go		unmarshal_test.go