Focus-0.1: Tools for focusing in on locations within numbers
Data.Focus
Synopsis
data Focus Source
Instances
Reading and Showing
toList :: Focus -> [Int]Source
Creation
fromList :: [Int] -> FocusSource
fromString :: String -> Maybe FocusSource
parse :: ReadS FocusSource
split :: String -> (Maybe Focus, String)Source
strip :: String -> StringSource
focus :: Focus -> Focus -> FocusSource
Behavior
contract :: Focus -> Int -> FocusSource
retract :: Focus -> FocusSource
unfocused :: FocusSource