Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sync

Synopsis

debug :: Bool
data TrySyncResult entity
- = Missing [entity]
- | Done
- | PreviouslyDone
- | NonFatalError
data Sync m entity = Sync {
- trySync :: entity -> m (TrySyncResult entity)
}
transformSync :: (forall a. m a -> n a) -> Sync m h -> Sync n h
data Progress m h = Progress {
- need :: h -> m ()
- done :: h -> m ()
- error :: h -> m ()
- allDone :: m ()
}
transformProgress :: (forall a. m a -> n a) -> Progress m h -> Progress n h
sync :: forall m h. (Monad m, Show h) => Sync m h -> Progress m h -> [h] -> m ()
sync' :: forall m h. (Monad m, Show h) => Sync m h -> Progress m h -> [h] -> m ()

Documentation

Constructors

Instances details

Show entity => Show (TrySyncResult entity) Source #
Instance details Defined in U.Codebase.Sync Methods showsPrec :: Int -> TrySyncResult entity -> ShowS # show :: TrySyncResult entity -> String # showList :: [TrySyncResult entity] -> ShowS #

data Sync m entity Source #

Constructors

Sync
Fields trySync :: entity -> m (TrySyncResult entity)

transformSync :: (forall a. m a -> n a) -> Sync m h -> Sync n h Source #

Constructors

Progress
Fields need :: h -> m () done :: h -> m () error :: h -> m () allDone :: m ()

transformProgress :: (forall a. m a -> n a) -> Progress m h -> Progress n h Source #

sync :: forall m h. (Monad m, Show h) => Sync m h -> Progress m h -> [h] -> m () Source #

Calls allDone at the end

sync' :: forall m h. (Monad m, Show h) => Sync m h -> Progress m h -> [h] -> m () Source #

Doesn't call allDone at the end, in case you plan to call sync more than once.