datra

datra-haskell

The Haskell implementation of Datra. The supported distribution is the datra-haskell:prod Docker image.

Install the release image

You need Docker and curl, but not a Haskell toolchain:

mkdir -p dist
curl --fail --location \
  https://github.com/qualiascript/datra/releases/latest/download/datra-prod.tar.gz \
  --output dist/datra-prod.tar.gz && \
  sudo docker image load --input dist/datra-prod.tar.gz

This installs the image as datra-haskell:prod. Omit sudo when your account can access Docker directly.

Build the images from source

From this directory:

make docker-images

This creates:

• datra-haskell:prod, the small runtime image
• datra-haskell:development, the image containing GHC, Cabal, Z3, and the source tree

Build just one with make docker-prod or make docker-development.

Run Datra

docker run --rm datra-haskell:prod build \
  --source 'factorial := fun {n? : Int} -> Int do
  yield if n = 0 then 1 else n * this (n - 1)
assert factorial 5 = 120' \
  --ast-output /dev/null \
  --output -

Expected output:

()

The CLI defaults to development mode, where assert is evaluated. Use --mode prod to omit ordinary assertions. assert hard ... is always evaluated.

To work with files, mount a directory at /data:

docker run --rm \
  --user "$(id -u):$(id -g)" \
  --volume "$PWD/resources:/data:Z" \
  datra-haskell:prod build \
  --input input.datra \
  --ast-output output.datra.ast \
  --output output.datra

Pass --qualified-std to build, ast, or interpret to expose only the qualified Std module, without opening its names or syntax. For example:

docker run --rm datra-haskell:prod build --qualified-std \
  --source 'yield Std' --ast-output /dev/null --output -

Use the ast command to generate canonical AST notation and interpret to evaluate an existing AST file. Pass - as an input or output path for standard input or standard output.

License

Licensed under the Apache License 2.0. Distributions and derivative works must preserve the attribution in NOTICE.

This site is open source. Improve this page.