Strona główna Odkrywaj Pomoc
Zaloguj się
getty
/
gidl
1
0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki

Brak opisu

Drzewo: d1c64ff3ba
Gałęzie Tagi
gidl
ZIP TAR.GZ
Trevor Elliott d1c64ff3ba Fix the Base template 10 lat temu
executables 30e1edc4d6 gidl: command line frontend ftw 10 lat temu
src d1c64ff3ba Fix the Base template 10 lat temu
support d1c64ff3ba Fix the Base template 10 lat temu
tests 697667666e Initial rpc backend 10 lat temu
.gitignore 89d04f0623 gidl: initial commit 10 lat temu
.travis.yml 98c7179538 beginning of tower backend 10 lat temu
LICENSE d456b97842 gidl: oops, wrong license, its bsd3 now 10 lat temu
Makefile 697667666e Initial rpc backend 10 lat temu
README.md f71527d211 update readme 10 lat temu
Setup.hs 89d04f0623 gidl: initial commit 10 lat temu
gidl.cabal 697667666e Initial rpc backend 10 lat temu

README.md

Gidl

Gidl (for Galois Interface Description Language) is a simple IDL for describing structured types.

IDL format

See example in tests/example.idl. Currently, the format is not set in stone - revisions coming shortly.

Backends

Gidl currently has backends for:

  • Native Haskell
  • [Ivory][] language
  • [Tower][] wrapper over Ivory

Build and Test

Use the create-sandbox target in the Makefile to create a local cabal sandbox and install all dependencies.

The default target builds the gidl library. You can then use cabal run gidl -- <OPTIONS> to run the code generator. Use the --help option to get usage information.

Use the test target in the Makefile to generate and test each backend implementation.