Data.Crjdt.Types

Documentation

newtype Var

Constructors

Variable

Fields

• getName :: Text

Instances

Eq Var

Methods

(==) :: Var -> Var -> Bool

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

Ord Var

Methods

compare :: Var -> Var -> Ordering

(<) :: Var -> Var -> Bool

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

(>) :: Var -> Var -> Bool

(>=) :: Var -> Var -> Bool

max :: Var -> Var -> Var

min :: Var -> Var -> Var

Show Var

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

IsString Var

Methods

fromString :: String -> Var

data TaggedKey tag

Constructors

TK

Fields

• tag :: !tag
• getKey :: !BasicKey

Instances

Functor TaggedKey

Methods

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

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

Foldable TaggedKey

Methods

fold :: Monoid m => TaggedKey m -> m

foldMap :: Monoid m => (a -> m) -> TaggedKey a -> m

foldr :: (a -> b -> b) -> b -> TaggedKey a -> b

foldr' :: (a -> b -> b) -> b -> TaggedKey a -> b

foldl :: (b -> a -> b) -> b -> TaggedKey a -> b

foldl' :: (b -> a -> b) -> b -> TaggedKey a -> b

foldr1 :: (a -> a -> a) -> TaggedKey a -> a

foldl1 :: (a -> a -> a) -> TaggedKey a -> a

toList :: TaggedKey a -> [a]

null :: TaggedKey a -> Bool

length :: TaggedKey a -> Int

elem :: Eq a => a -> TaggedKey a -> Bool

maximum :: Ord a => TaggedKey a -> a

minimum :: Ord a => TaggedKey a -> a

sum :: Num a => TaggedKey a -> a

product :: Num a => TaggedKey a -> a

Traversable TaggedKey

Methods

traverse :: Applicative f => (a -> f b) -> TaggedKey a -> f (TaggedKey b)

sequenceA :: Applicative f => TaggedKey (f a) -> f (TaggedKey a)

mapM :: Monad m => (a -> m b) -> TaggedKey a -> m (TaggedKey b)

sequence :: Monad m => TaggedKey (m a) -> m (TaggedKey a)

Eq tag => Eq (TaggedKey tag)

Methods

(==) :: TaggedKey tag -> TaggedKey tag -> Bool

(/=) :: TaggedKey tag -> TaggedKey tag -> Bool

Ord tag => Ord (TaggedKey tag)

Methods

compare :: TaggedKey tag -> TaggedKey tag -> Ordering

(<) :: TaggedKey tag -> TaggedKey tag -> Bool

(<=) :: TaggedKey tag -> TaggedKey tag -> Bool

(>) :: TaggedKey tag -> TaggedKey tag -> Bool

(>=) :: TaggedKey tag -> TaggedKey tag -> Bool

max :: TaggedKey tag -> TaggedKey tag -> TaggedKey tag

min :: TaggedKey tag -> TaggedKey tag -> TaggedKey tag

Show tag => Show (TaggedKey tag)

Methods

showsPrec :: Int -> TaggedKey tag -> ShowS

show :: TaggedKey tag -> String

showList :: [TaggedKey tag] -> ShowS

data Key tag where

Constructors

Key :: BasicKey -> Key Void

TaggedKey :: TaggedKey tag -> Key tag

Instances

Eq tag => Eq (Key tag)

Methods

(==) :: Key tag -> Key tag -> Bool

(/=) :: Key tag -> Key tag -> Bool

(Ord tag, Eq tag) => Ord (Key tag)

Methods

compare :: Key tag -> Key tag -> Ordering

(<) :: Key tag -> Key tag -> Bool

(<=) :: Key tag -> Key tag -> Bool

(>) :: Key tag -> Key tag -> Bool

(>=) :: Key tag -> Key tag -> Bool

max :: Key tag -> Key tag -> Key tag

min :: Key tag -> Key tag -> Key tag

Show tag => Show (Key tag)

Methods

showsPrec :: Int -> Key tag -> ShowS

show :: Key tag -> String

showList :: [Key tag] -> ShowS

IsString (Key Void)

Methods

fromString :: String -> Key Void

data BasicKey

Constructors

DocKey

Head

Tail

I Id

Str Text

Instances

Eq BasicKey

Methods

(==) :: BasicKey -> BasicKey -> Bool

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

Ord BasicKey

Methods

compare :: BasicKey -> BasicKey -> Ordering

(<) :: BasicKey -> BasicKey -> Bool

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

(>) :: BasicKey -> BasicKey -> Bool

(>=) :: BasicKey -> BasicKey -> Bool

max :: BasicKey -> BasicKey -> BasicKey

min :: BasicKey -> BasicKey -> BasicKey

Show BasicKey

Methods

showsPrec :: Int -> BasicKey -> ShowS

show :: BasicKey -> String

showList :: [BasicKey] -> ShowS

type ReplicaId = Integer

type GlobalReplicaCounter = Integer

newtype Id

Constructors

Id

Fields

• getId :: (GlobalReplicaCounter, ReplicaId)

Instances

Eq Id

Methods

(==) :: Id -> Id -> Bool

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

Ord Id

Methods

compare :: Id -> Id -> Ordering

(<) :: Id -> Id -> Bool

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

(>) :: Id -> Id -> Bool

(>=) :: Id -> Id -> Bool

max :: Id -> Id -> Id

min :: Id -> Id -> Id

Show Id

Methods

showsPrec :: Int -> Id -> ShowS

show :: Id -> String

showList :: [Id] -> ShowS

sequenceNumber :: Id -> GlobalReplicaCounter

replicaNumber :: Id -> ReplicaId

mkId :: GlobalReplicaCounter -> ReplicaId -> Id

tagWith :: tag -> BasicKey -> Key tag

getTag :: Key tag -> tag

basicKey :: Key tag -> BasicKey

unTag :: Key tag -> Key Void

reTag :: a -> Key Void -> Key a