woot-0.0.0.3: 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 -> Maybe 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 -> Maybe WChar Source
subsection :: WCharId -> WCharId -> WString -> WString Source