Network.Riak.CRDT

CRDT operations

• Haskell-side

  • Haskell values: Counter, Set etc
  • ADT for operations: CounterOp, SetOp etc
  • modify to locally modify a value (matching riak-side behaviour)

• Riak-side

  • get to get a current value
  • sendModify to ask Riak to apply modifications

TL;DR example

>>> let c = Counter 41
>>> let op = CounterInc 1
>>> modify op c
Counter 42
>>> get conn "counters" "bucket" "key"
Just (DTCounter (Counter 41))
>>> sendModify conn "counters" "bucket" "key" [op] >> get conn "counters" "bucket" "key"
Just (DTCounter (Counter 42))

Documentation

module Network.Riak.CRDT.Types

get :: Connection -> BucketType -> Bucket -> Key -> IO (Maybe DataType)

class MapCRDT a => CRDT a op | a -> op, op -> a where

CRDT types

Minimal complete definition

modify, sendModify

Methods

modify :: op -> a -> a

Modify a value by applying an operation

sendModify :: Connection -> BucketType -> Bucket -> Key -> [op] -> IO ()

Request riak a modification

Instances

CRDT Counter CounterOp

Methods

modify :: CounterOp -> Counter -> Counter

sendModify :: Connection -> BucketType -> Bucket -> Key -> [CounterOp] -> IO ()

CRDT Set SetOp

Methods

modify :: SetOp -> Set -> Set

sendModify :: Connection -> BucketType -> Bucket -> Key -> [SetOp] -> IO ()

CRDT Map MapOp

Methods

modify :: MapOp -> Map -> Map

sendModify :: Connection -> BucketType -> Bucket -> Key -> [MapOp] -> IO ()