woot-0.0.0.5: Real time group editor without operational transform.
Data.Woot.WString
data WString Source
Instances
emptyWString :: WString Source
fromList :: [WChar] -> WString Source
toList :: WString -> [WChar] Source
lengthWS :: WString -> Int Source
(!?) :: WString -> Int -> Maybe WChar Source
indexOf :: WCharId -> WString -> Maybe Int Source
insert :: WChar -> Int -> WString -> WString Source
subsection :: WCharId -> WCharId -> WString -> WString Source
contains :: WCharId -> WString -> Bool Source
isEmpty :: WString -> Bool Source
nthVisible :: Int -> WString -> Maybe WChar Source
hideChar :: WCharId -> WString -> WString Source