a8b4a84b08
* Move most of the remaining serializable types to stable LF packages The only serializable types left in DAML stdlib after this PR are the following: - DA.Upgrade:MetaEquiv - DA.Random:Minstd - DA.Next.Set:Set - DA.Next.Map:Map - DA.Generics:MetaSel0 - DA.Generics:MetaData0 - DA.Generics:DecidedStrictness - DA.Generics:SourceStrictness - DA.Generics:SourceUnpackedness - DA.Generics:Associativity - DA.Generics:Infix0 - DA.Generics:Fixity - DA.Generics:K1 - DA.Generics:Par1 - DA.Generics:U1 - DA.Internal.Prelude:Optional Ignoring the Generics stuff which isn’t very urgent imho and the Upgrade stuff which is probably going to change significantly anyway, this leaves us with the weird Random module, the wrappers around TextMap which will go away anyway and DA.Internal.Prelude:Optional which shouldn’t exist in the first place (I’ll address that in a separate PR). CHANGELOG_BEGIN - [DAML Compiler] Move more types from daml-stdlib to standalone LF packages. The module names for the types have also changed slightly. This only matters over the Ledger API when you specify the module name explicitly. In DAML you should continue to use the existing module names. - The types from ``DA.Semigroup` are now in a separate package under ``DA.Semigroup.Types`` - The types from ``DA.Monoid` are now in a separate package under ``DA.Monoid.Types`` - The types from ``DA.Time` are now in a separate package under ``DA.Time.Types`` - The types from ``DA.Validation` are now in a separate package under ``DA.Validation.Types`` - The types from ``DA.Logic` are now in a separate package under ``DA.Logic.Types`` - The types from `DA.Date` are now in a separate package under `DA.Date.Types`. - The `Down` type from `DA.Internal.Prelude` is now in a separate package under `DA.Internal.Down`. CHANGELOG_end * Fix serializability of RelTime * fix daml-docs * Fix tests |
||
|---|---|---|
| .. | ||
| examples | ||
| src/DA | ||
| test | ||
| BUILD.bazel | ||
| export-package.sh | ||
| package.yaml | ||
| README.md | ||
| stack.yaml | ||
Usage
There is currently no separate documentation for the haskell ledger bindings, over and above the existing ledger API doc.
The .proto files are the best primary source of truth for the API. The Haskell bindings match closely the names of the services and RPCs, but of course you get much better types.
The entry point is at DA.Ledger.
To use the bindings in this repo, you need the following BUILD dep:
"//language-support/hs/bindings:hs-ledger",
And then you can import the DA.Ledger module in your Haskell code.
You can find some usage examples here and here.
Using these bindings outside of this repository
Note: These instructions document the current process. We do plan make it simpler!
These bindings can be exported as a standalone Haskell package daml-ledger using stack. Currently, stack references the code directly in the daml repo. The only annoyance is that part of the Haskell code for daml-ledger is generated from .proto files, and this generation step must be performed using the bazel build. We plan to simplify this step by directly providing daml-ledger as a package on hackage. Instructions for working with the daml repo can be found here: https://github.com/digital-asset/daml
As well as stack, the only other prerequisite is to have grpc installed. (grpc is not required to generate the daml-ledger package, but it is required to use it).
We are currently using gRPC version 1.23.0. To install grpc requires building grpc from source (really!). See detailed instructions here: https://github.com/grpc/grpc/blob/master/BUILDING.md.
In the instructions below we do make install for grpc despite the warning from the grpc build instructions:
"WARNING: After installing with make install there is no easy way to uninstall, which can cause issues if you later want to remove the grpc and/or protobuf installation or upgrade to a newer version."
If you decide against the make install, or choose a different install location, you will need to adjust the settings of extra-lib-dirs and extra-include-dirs in your stack.yaml config.
Also, in the instructions below we export the daml-ledger package to /tmp which matches the location declared in the stack.yaml of the example application nim. If you export somewhere else, you will need to adapt your stack.yaml
Download and build grpc at version 1.23.0
git clone -b v1.23.0 https://github.com/grpc/grpc
cd grpc
git submodule update --init
make
make prefix=/usr/local/grpc install
Clone daml repo, and export the daml-ledger package
cd /tmp
git clone https://github.com/digital-asset/daml.git
cd daml
eval $(dev-env/bin/dade-assist)
language-support/hs/bindings/export-package.sh /tmp
Write a DAML Ledger App in Haskell (or copy one!), and build it
cd /tmp
cp -rp /tmp/daml/language-support/hs/bindings/examples/nim nim
cd nim
stack build