Data.Crjdt.Internal.Core

Documentation

data Val

Constructors

Number Int

StringLit Text

BoolLit Bool

Null

EmptyObject

EmptyArray

Instances

Eq Val

Methods

(==) :: Val -> Val -> Bool

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

Show Val

Methods

showsPrec :: Int -> Val -> ShowS

show :: Val -> String

showList :: [Val] -> ShowS

IsString Val

Methods

fromString :: String -> Val

data Cmd a

Constructors

Let !Text !Expr (Expr -> a)

Assign !Expr !Val a

InsertAfter !Expr !Val a

Delete !Expr a

Values !Expr ([Val] -> a)

Keys !Expr (Set (Key Void) -> a)

Yield a

Instances

Functor Cmd

Methods

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

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

MonadFree Cmd Command

Methods

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

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

data Expr

Constructors

Doc

Var !Var

Iter !Expr

Next !Expr

GetKey !Expr !(Key Void)

Instances

Eq Expr

Methods

(==) :: Expr -> Expr -> Bool

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

Show Expr

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

IsString Expr

Methods

fromString :: String -> Expr