Data.Focus

Synopsis

• data Focus
• toList :: Focus -> [Int]
• fromList :: [Int] -> Focus
• fromString :: String -> Maybe Focus
• parse :: ReadS Focus
• split :: String -> (Maybe Focus, String)
• strip :: String -> String
• focus :: Focus -> Focus -> Focus
• contract :: Focus -> Int -> Focus
• retract :: Focus -> Focus
• unfocused :: Focus
• isUnfocused :: Focus -> Bool

Documentation