Data.Crjdt

This module exports all necessarry data types and functions for expressing and executing commands which allow modifying and querying the state of JSON in local replica

Expressions

iter :: Expr -> Expr

Starts iterating over the list.

   do
    let planetList = doc .> "planet" .> iter
    insert "Earth" planetList
 

next :: Expr -> Expr

Moves to the next element in the list.

key :: Key Void -> Expr -> Expr

Get value of given key in given expression.

doc :: Expr

The root of the JSON object.

var :: Text -> Expr

Variable.

Commands

newtype Command a

Constructors

Command

Fields

• runCommand :: Free Cmd a

Instances

Monad Command

Methods

(>>=) :: Command a -> (a -> Command b) -> Command b

(>>) :: Command a -> Command b -> Command b

return :: a -> Command a

fail :: String -> Command a

Functor Command

Methods

fmap :: (a -> b) -> Command a -> Command b

(<$) :: a -> Command b -> Command a

Applicative Command

Methods

pure :: a -> Command a

(<*>) :: Command (a -> b) -> Command a -> Command b

(*>) :: Command a -> Command b -> Command b

(<*) :: Command a -> Command b -> Command a

MonadFree Cmd Command

Methods

wrap :: Cmd (Command a) -> Command a

yield :: Command ()

Apply commands received from other replicas to current replica.

keys :: Expr -> Command (Set (Key Void))

Get all keys of object pointed by given Expr.

values :: Expr -> Command [Val]

Get all values of object pointed by given Expr.

insert :: Val -> Expr -> Command ()

Insert a Val in the list.

delete :: Expr -> Command ()

Delete the list element.

bind :: Text -> Expr -> Command Expr

Let binding.

(-<) :: Text -> Expr -> Command Expr

Let binding.

assign :: Expr -> Val -> Command ()

Assign value to the key pointed by given Expr.

(=:) :: Expr -> Val -> Command () infixr 5

Assign value to the key pointed by given Expr.

Values

string :: Text -> Val

String literal.

   doc .> "planet" .= string "Earth"
 

emptyMap :: Val

emptyMap corresponds to {}.

emptyList :: Val

emptyList corresponds to [].

Evaluation and Execution

eval :: Ctx m => Expr -> m Result

execute :: Ctx m => Command a -> m a

Re-exports

data Void :: *

Uninhabited data type

Since: 4.8.0.0

Instances

Eq Void

Methods

(==) :: Void -> Void -> Bool

(/=) :: Void -> Void -> Bool

Data Void

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Void -> c Void

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Void

toConstr :: Void -> Constr

dataTypeOf :: Void -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Void)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Void)

gmapT :: (forall b. Data b => b -> b) -> Void -> Void

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Void -> r

gmapQ :: (forall d. Data d => d -> u) -> Void -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Void -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Void -> m Void

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Void -> m Void

Ord Void

Methods

compare :: Void -> Void -> Ordering

(<) :: Void -> Void -> Bool

(<=) :: Void -> Void -> Bool

(>) :: Void -> Void -> Bool

(>=) :: Void -> Void -> Bool

max :: Void -> Void -> Void

min :: Void -> Void -> Void

Read Void

Reading a Void value is always a parse error, considering Void as a data type with no constructors.

Methods

readsPrec :: Int -> ReadS Void

readList :: ReadS [Void]

readPrec :: ReadPrec Void

readListPrec :: ReadPrec [Void]

Show Void

Methods

showsPrec :: Int -> Void -> ShowS

show :: Void -> String

showList :: [Void] -> ShowS

Ix Void

Methods

range :: (Void, Void) -> [Void]

index :: (Void, Void) -> Void -> Int

unsafeIndex :: (Void, Void) -> Void -> Int

inRange :: (Void, Void) -> Void -> Bool

rangeSize :: (Void, Void) -> Int

unsafeRangeSize :: (Void, Void) -> Int

Generic Void

Associated Types

type Rep Void :: * -> *

Methods

from :: Void -> Rep Void x

to :: Rep Void x -> Void

Semigroup Void

Methods

(<>) :: Void -> Void -> Void

sconcat :: NonEmpty Void -> Void

stimes :: Integral b => b -> Void -> Void

Exception Void

Methods

toException :: Void -> SomeException

fromException :: SomeException -> Maybe Void

displayException :: Void -> String

IsString (Key Void)

Methods

fromString :: String -> Key Void

type Rep Void

type Rep Void = D1 (MetaData "Void" "Data.Void" "base" False) V1

(.>) :: b -> (b -> a) -> a infixl 4

(&) :: a -> (a -> b) -> b infixl 1

& is a reverse application operator. This provides notational convenience. Its precedence is one higher than that of the forward application operator $, which allows & to be nested in $.

Since: 4.8.0.0

Others

sync :: (ReplicaId, Command ()) -> (ReplicaId, Command ()) -> Either EvalError (Eval (), Eval ())