Quelea
所属分类：数据库系统
开发工具：Haskell
文件大小：0KB
下载次数：0
上传日期：2018-04-17 06:56:37
上 传 者：
sh-1993
说明： 用于在最终一致存储（Cassandra）上进行声明性编程的Haskell库。，
(A Haskell library for declarative programming over eventually consistent store (Cassandra).,)
文件列表:
Ec2Files/ (0, 2018-04-16)
Ec2Files/cassandra.yaml.ec2snitch_dsc_2_0_12 (34942, 2018-04-16)
Ec2Files/ec2snitch_init.sh (792, 2018-04-16)
LICENSE (11, 2018-04-16)
TODO (326, 2018-04-16)
scratch/ (0, 2018-04-16)
scratch/Codeec.hs (6917, 2018-04-16)
scratch/Contracts.hs (919, 2018-04-16)
scratch/Exec_Template.hs (7522, 2018-04-16)
scratch/Makefile (101, 2018-04-16)
scratch/contractTest.hs (542, 2018-04-16)
scratch/db_test.hs (2642, 2018-04-16)
scratch/propTest.hs (477, 2018-04-16)
scratch/rmiTest.hs (1926, 2018-04-16)
scratch/thtest.hs (109, 2018-04-16)
src/ (0, 2018-04-16)
src/LICENSE (1506, 2018-04-16)
src/Quelea.cabal (1336, 2018-04-16)
src/Quelea/ (0, 2018-04-16)
src/Quelea/Client.hs (8264, 2018-04-16)
src/Quelea/ClientMonad.hs (2513, 2018-04-16)
src/Quelea/Consts.hs (542, 2018-04-16)
src/Quelea/Contract.hs (509, 2018-04-16)
src/Quelea/Contract/ (0, 2018-04-16)
src/Quelea/Contract/Language.hs (5575, 2018-04-16)
src/Quelea/Contract/TypeCheck.hs (17330, 2018-04-16)
src/Quelea/DBDriver.hs (14132, 2018-04-16)
src/Quelea/Marshall.hs (3218, 2018-04-16)
src/Quelea/NameService/ (0, 2018-04-16)
src/Quelea/NameService/LoadBalancingBroker.hs (1814, 2018-04-16)
src/Quelea/NameService/SimpleBroker.hs (2787, 2018-04-16)
src/Quelea/NameService/Types.hs (338, 2018-04-16)
src/Quelea/Shim.hs (8567, 2018-04-16)
src/Quelea/ShimLayer/ (0, 2018-04-16)
src/Quelea/ShimLayer/Cache.hs (8216, 2018-04-16)
src/Quelea/ShimLayer/GC.hs (8751, 2018-04-16)
src/Quelea/ShimLayer/Types.hs (1564, 2018-04-16)
... ...
Quelea
======
A Haskell library for declarative programming over eventually consistent stores ([Cassandra](http://cassandra.apache.org/) to be precise).
Requirements
------------
* A Z3 installation
* **Use the included custom Z3 version.**. Installation instructions can be found under Z3/README.
* Glasgow Haskell Compiler (GHC) version 7.6.3+ - [https://www.haskell.org/ghc/](https://www.haskell.org/ghc/)
* Z3 package - Haskell bindings for Z3 theorem prover
* **Use the included custom z3 package.** To install, "cabal install" in the included Z3_Haskell submodule. This version includes bindings not found in the [z3 package on hackage](https://hackage.haskell.org/package/z3).
* Cassandra-cql package - Haskell bindings for Cassandra CQL
* **Use the included custom z3 package.** To install, "cabal install" in the included cassandra-cql submodule. This version uses CQL binary protocol v2.
* Datastax Cassandra 2.0.6 - [http://www.datastax.com/dev/blog/cassandra-2-0-6](http://www.datastax.com/dev/blog/cassandra-2-0-6)
近期下载者：
相关文件：
收藏者：