crjdt-haskell: A Conflict-Free Replicated JSON Datatype for Haskell

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

A Conflict-Free Replicated JSON Datatype for Haskell

[Skip to Readme]

Properties

Versions	0.1.0.0, 0.1.0.0, 0.2.0.0, 0.2.1, 0.3.0
Change log	None available
Dependencies	base (>=4.7 && <5), containers (>=0.5.0.0 && <0.6), free (>=4.6.1 && <5), mtl (>=2.2.1 && <2.3), text (>=0.11.1.0 && <1.3) [details]
License	BSD-3-Clause
Copyright	2017 Amar Potghan
Author	Amar Potghan
Maintainer	amarpotghan@gmail.com
Category	Data
Home page	https://github.com/amarpotghan/crjdt-haskell#readme
Source repo	head: git clone https://github.com/amarpotghan/crjdt-haskell
Uploaded	by amarpotghan at 2017-05-07T19:39:53Z

Modules

[Index]

Data
- Data.Crjdt

Downloads

crjdt-haskell-0.1.0.0.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

amarpotghan

For package maintainers and hackage trustees

edit package information

Readme for crjdt-haskell-0.1.0.0

[back to package description]

A Conflict-Free Replicated JSON Datatype for Haskell

crjdt-haskell provides high level interface to CRDT which is formalised in the paper by Martin Kleppmann and Alastair R. Beresford.

Example


{-# LANGUAGE OverloadedStrings #-}
module Main where

import Data.Crjdt as C

-- Original state
original :: Command ()
original = (doc .> key "key") =: "A"

-- First replica updates doc["key"] to "B"
replica1 :: Command ()
replica1 = do
  original
  (doc .> key "key") =: "B"

-- Second replica updates doc["key"] to "C"
replica2 :: Command ()
replica2 = do
  original
  (doc .> key "key") =: "C"

main :: IO ()
main = do
  -- Sync first and second replica
  (r1, r2) <- sync (1, replica1) (2, replica2)

  let replica1' = execEval 1 r1
      replica2' = execEval 2 r2

  -- Both replicas converge to: {"key": {"B", "C"}}
  print (document replica1' == document replica2') -- True

Future work

Aeson support
Simplify API as described in second version of the paper

LICENSE

Distributed under BSD License.