erebos-0.1.5: Decentralized messaging and synchronization
Safe HaskellSafe-Inferred
LanguageHaskell2010

Erebos.Storage.Merge

Documentation

class Storable (Component a) => Mergeable a where Source #

Associated Types

type Component a :: Type Source #

Instances

Instances details
Mergeable ChatroomState Source # 
Instance details

Defined in Erebos.Chatroom

Associated Types

type Component ChatroomState Source #

Mergeable Contact Source # 
Instance details

Defined in Erebos.Contact

Associated Types

type Component Contact Source #

Mergeable DirectMessageThreads Source # 
Instance details

Defined in Erebos.Message

Associated Types

type Component DirectMessageThreads Source #

Mergeable a => Mergeable (Set a) Source # 
Instance details

Defined in Erebos.Set

Associated Types

type Component (Set a) Source #

Mergeable (Maybe ComposedIdentity) Source # 
Instance details

Defined in Erebos.Identity

Associated Types

type Component (Maybe ComposedIdentity) Source #

Mergeable [Stored Object] Source # 
Instance details

Defined in Erebos.Storage.Merge

Associated Types

type Component [Stored Object] Source #

merge :: Mergeable a => [Stored (Component a)] -> a Source #

data Generation Source #

Instances

Instances details
Show Generation Source # 
Instance details

Defined in Erebos.Storage.Internal

Eq Generation Source # 
Instance details

Defined in Erebos.Storage.Internal

walkAncestors :: (Storable a, Monoid m) => (Stored a -> m) -> [Stored a] -> m Source #

findProperty :: forall a b. Storable a => (a -> Maybe b) -> [Stored a] -> [b] Source #

findPropertyFirst :: forall a b. Storable a => (a -> Maybe b) -> [Stored a] -> Maybe b Source #