Focus

Tools for focusing in on locations within numbers

Latest on Hackage:0.1.2

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.

MIT licensed by Nate Soares
Maintained by [email protected]

Focuses are lists of numbers where longer lists are treated as focuses on their parent lists. As such, `Focus []` is considered "unfocused" (it is EQ to all focuses), `Focus [1, 1]` is EQ to `Focus [1, 1, 3]` because their roots are equal, and so on. This isn't useful for testing true equality, but it is quite useful for traversing and pruning indexed rose trees from one locus to another.