Skip to content
Dhall bindings for go
Go
Branch: master
Clone or download

README.md

dhall-golang

Go bindings for dhall.

Development

Running the tests

go test ./...

Progress

  • 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
You can’t perform that action at this time.