Safe Haskell	Safe
Language	Haskell2010

Data.Crjdt.Types

Documentation

newtype Var Source #

Constructors

Variable
Fields getName :: Text

Instances

Eq Var Source #
Methods (==) :: Var -> Var -> Bool # (/=) :: Var -> Var -> Bool #
Ord Var Source #
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 Source #
Methods showsPrec :: Int -> Var -> ShowS # show :: Var -> String # showList :: [Var] -> ShowS #
IsString Var Source #
Methods fromString :: String -> Var #

data TaggedKey tag Source #

Constructors

TK
Fields tag :: !tag getKey :: !BasicKey

Instances

Functor TaggedKey Source #
Methods fmap :: (a -> b) -> TaggedKey a -> TaggedKey b # (<$) :: a -> TaggedKey b -> TaggedKey a #
Foldable TaggedKey Source #
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 Source #
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) Source #
Methods (==) :: TaggedKey tag -> TaggedKey tag -> Bool # (/=) :: TaggedKey tag -> TaggedKey tag -> Bool #
Ord tag => Ord (TaggedKey tag) Source #
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) Source #
Methods showsPrec :: Int -> TaggedKey tag -> ShowS # show :: TaggedKey tag -> String # showList :: [TaggedKey tag] -> ShowS #

data Key tag where Source #

Constructors

Key :: BasicKey -> Key Void
TaggedKey :: TaggedKey tag -> Key tag

Instances

Eq tag => Eq (Key tag) Source #
Methods (==) :: Key tag -> Key tag -> Bool # (/=) :: Key tag -> Key tag -> Bool #
(Ord tag, Eq tag) => Ord (Key tag) Source #
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) Source #
Methods showsPrec :: Int -> Key tag -> ShowS # show :: Key tag -> String # showList :: [Key tag] -> ShowS #
IsString (Key Void) Source #
Methods fromString :: String -> Key Void #

data BasicKey Source #

Constructors

DocKey
Head
Tail
I Id
Str Text

Instances

Eq BasicKey Source #
Methods (==) :: BasicKey -> BasicKey -> Bool # (/=) :: BasicKey -> BasicKey -> Bool #
Ord BasicKey Source #
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 Source #
Methods showsPrec :: Int -> BasicKey -> ShowS # show :: BasicKey -> String # showList :: [BasicKey] -> ShowS #

type ReplicaId = Integer Source #

type GlobalReplicaCounter = Integer Source #

newtype Id Source #

Constructors

Id
Fields getId :: (GlobalReplicaCounter, ReplicaId)

Instances

Eq Id Source #
Methods (==) :: Id -> Id -> Bool # (/=) :: Id -> Id -> Bool #
Ord Id Source #
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 Source #
Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #

sequenceNumber :: Id -> GlobalReplicaCounter Source #

replicaNumber :: Id -> ReplicaId Source #

mkId :: GlobalReplicaCounter -> ReplicaId -> Id Source #

tagWith :: tag -> BasicKey -> Key tag Source #

getTag :: Key tag -> tag Source #

basicKey :: Key tag -> BasicKey Source #

unTag :: Key tag -> Key Void Source #

reTag :: a -> Key Void -> Key a Source #