woot-0.0.0.6: Real time group editor without operational transform.
Data.Woot.Core
integrate :: Operation -> WString -> Maybe WString Source #
integrateAll :: [Operation] -> WString -> ([Operation], WString) Source #
makeDeleteOperation :: ClientId -> Int -> WString -> Maybe Operation Source #
makeInsertOperation :: WCharId -> Int -> Char -> WString -> Maybe Operation Source #