woot-0.0.0.0: Real time group editor without operational transform.
Data.Woot.WString
newtype WString Source
Constructors
Fields
Instances
fromList :: [WChar] -> WString Source
toList :: WString -> [WChar] Source
isEmpty :: WString -> Bool Source
length' :: WString -> Int Source
(!) :: WString -> Int -> WChar Source
indexOf :: WCharId -> WString -> Maybe Int Source
hasChar :: WCharId -> WString -> Bool Source
insertChar :: Int -> WChar -> WString -> WString Source
hideChar :: WCharId -> WString -> WString Source
visibleChars :: WString -> WString Source
nthVisible :: Int -> WString -> WChar Source
subsection :: WCharId -> WCharId -> WString -> WString Source