Safe Haskell	Safe-Inferred
Language	Haskell2010

Erebos.Storage.Merge

Documentation

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

Associated Types

type Component a :: Type Source #

Methods

mergeSorted :: [Stored (Component a)] -> a Source #

toComponents :: a -> [Stored (Component a)] Source #

Instances

Instances details

Mergeable ChatroomState Source #
Instance details Defined in Erebos.Chatroom Associated Types type Component ChatroomState Source # Methods mergeSorted :: [Stored (Component ChatroomState)] -> ChatroomState Source # toComponents :: ChatroomState -> [Stored (Component ChatroomState)] Source #
Mergeable Contact Source #
Instance details Defined in Erebos.Contact Associated Types type Component Contact Source # Methods mergeSorted :: [Stored (Component Contact)] -> Contact Source # toComponents :: Contact -> [Stored (Component Contact)] Source #
Mergeable DirectMessageThreads Source #
Instance details Defined in Erebos.Message Associated Types type Component DirectMessageThreads Source # Methods mergeSorted :: [Stored (Component DirectMessageThreads)] -> DirectMessageThreads Source # toComponents :: DirectMessageThreads -> [Stored (Component DirectMessageThreads)] Source #
Mergeable a => Mergeable (Set a) Source #
Instance details Defined in Erebos.Set Associated Types type Component (Set a) Source # Methods mergeSorted :: [Stored (Component (Set a))] -> Set a Source # toComponents :: Set a -> [Stored (Component (Set a))] Source #
Mergeable (Maybe ComposedIdentity) Source #
Instance details Defined in Erebos.Identity Associated Types type Component (Maybe ComposedIdentity) Source # Methods mergeSorted :: [Stored (Component (Maybe ComposedIdentity))] -> Maybe ComposedIdentity Source # toComponents :: Maybe ComposedIdentity -> [Stored (Component (Maybe ComposedIdentity))] Source #
Mergeable [Stored Object] Source #
Instance details Defined in Erebos.Storage.Merge Associated Types type Component [Stored Object] Source # Methods mergeSorted :: [Stored (Component [Stored Object])] -> [Stored Object] Source # toComponents :: [Stored Object] -> [Stored (Component [Stored Object])] Source #

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

storeMerge :: (Mergeable a, Storable a) => [Stored (Component a)] -> IO (Stored a) Source #

data Generation Source #

Instances

Instances details

Show Generation Source #
Instance details Defined in Erebos.Storage.Internal Methods showsPrec :: Int -> Generation -> ShowS # show :: Generation -> String # showList :: [Generation] -> ShowS #
Eq Generation Source #
Instance details Defined in Erebos.Storage.Internal Methods (==) :: Generation -> Generation -> Bool # (/=) :: Generation -> Generation -> Bool #

showGeneration :: Generation -> String Source #

compareGeneration :: Generation -> Generation -> Maybe Ordering Source #

generationMax :: Storable a => [Stored a] -> Maybe (Stored a) Source #

storedGeneration :: Storable a => Stored a -> Generation Source #

generations :: Storable a => [Stored a] -> [Set (Stored a)] Source #

ancestors :: Storable a => [Stored a] -> Set (Stored a) Source #

precedes :: Storable a => Stored a -> Stored a -> Bool Source #

precedesOrEquals :: Storable a => Stored a -> Stored a -> Bool Source #

filterAncestors :: Storable a => [Stored a] -> [Stored a] Source #

storedRoots :: Storable a => Stored a -> [Stored a] Source #

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 #