| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Erebos.Storage.Merge
Synopsis
- class Storable (Component a) => Mergeable a where
- type Component a
- mergeSorted :: [Stored (Component a)] -> a
- toComponents :: a -> [Stored (Component a)]
- merge :: Mergeable a => [Stored (Component a)] -> a
- storeMerge :: (Mergeable a, Storable a) => [Stored (Component a)] -> IO (Stored a)
- data Generation
- showGeneration :: Generation -> String
- compareGeneration :: Generation -> Generation -> Maybe Ordering
- generationMax :: Storable a => [Stored a] -> Maybe (Stored a)
- storedGeneration :: Storable a => Stored a -> Generation
- generations :: Storable a => [Stored a] -> [Set (Stored a)]
- ancestors :: Storable a => [Stored a] -> Set (Stored a)
- precedes :: Storable a => Stored a -> Stored a -> Bool
- precedesOrEquals :: Storable a => Stored a -> Stored a -> Bool
- filterAncestors :: Storable a => [Stored a] -> [Stored a]
- storedRoots :: Storable a => Stored a -> [Stored a]
- walkAncestors :: (Storable a, Monoid m) => (Stored a -> m) -> [Stored a] -> m
- findProperty :: Storable a => (a -> Maybe b) -> [Stored a] -> [b]
- findPropertyFirst :: Storable a => (a -> Maybe b) -> [Stored a] -> Maybe b
Documentation
class Storable (Component a) => Mergeable a where Source #
Methods
mergeSorted :: [Stored (Component a)] -> a Source #
toComponents :: a -> [Stored (Component a)] Source #
Instances
data Generation Source #
Instances
| Show Generation Source # | |
Defined in Erebos.Storage.Internal Methods showsPrec :: Int -> Generation -> ShowS # show :: Generation -> String # showList :: [Generation] -> ShowS # | |
| Eq Generation Source # | |
Defined in Erebos.Storage.Internal | |
showGeneration :: Generation -> String Source #
compareGeneration :: Generation -> Generation -> Maybe Ordering Source #
storedGeneration :: Storable a => Stored a -> Generation Source #
generations :: Storable a => [Stored a] -> [Set (Stored a)] Source #
Returns list of sets starting with the set of given objects and intcrementally adding parents.