woot-0.0.0.6: Real time group editor without operational transform.
Data.Woot.WString
data WString Source #
Instances
Methods
(==) :: WString -> WString -> Bool #
(/=) :: WString -> WString -> Bool #
showsPrec :: Int -> WString -> ShowS #
show :: WString -> String #
showList :: [WString] -> ShowS #
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 #