crdt-0.2: lib/CRDT/Cv.hs

{-# LANGUAGE ConstraintKinds #-}

module CRDT.Cv
    ( CvRDT
    ) where

import Data.Semilattice (Semilattice)

{- |
State-based, or convergent (Cv) replicated data type.

Update is any function modifying @state@.

Query function is not needed. State itself is exposed.
In other words, @query = 'id'@.

Actually, a CvRDT is nothing more a 'Semilattice'.
-}
type CvRDT = Semilattice