spacepart: Space partition data structures. Currently only a QuadTree.

[ bsd3, data, library ] [ Propose Tags ]

Space partition data structures. Currently only a QuadTree.

darcs get --partial




[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS]
Change log CHANGELOG
Dependencies base, vector-space (>=0.5 && <0.6) [details]
License BSD-3-Clause
Author Corey O'Connor <>
Maintainer Corey O'Connor <>
Category Data
Home page
Uploaded by CoreyOConnor at 2009-02-16T03:18:21Z
Reverse Dependencies 1 direct, 0 indirect [details]
Downloads 1193 total (5 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]

Readme for spacepart-

[back to package description]
This library is still in the early stages. Expect the interface to change.

    - rename Boundary data type 
    - rename HasBoundary type class.
    - query should accept any suitable region. 
        - At least any axis aligned boxes not just square ones
    - partition query into two forms:
        - inclusive: Any element with bounds entirely within or partially the query bounds.
        - exclusive: Any element with bounds entirely within the query bounds.
    - Improve verification tests 
        - Test for proper distribution of inserted elements to nodes.
    - Improve visualization tool
        - interactive querying
        - interactive insert
        - remove FBO dependency.

        - The following element_bounds_query_is_element_prop instance takes a significant amount of
        Boundary {boundary_corner = (-8.6,-25.0), boundary_size = 0.1875}
        Boundary {boundary_corner = (-23.541666666666668,11.666666666666666), boundary_size = 20.7}

    The script "run_verify" compiles and executes the Verify.hs program. This is done in such a way
    that any data-spacepart package installed is hidden and the modules are sourced directly from
    the src folder. 
    The Verify.hs program just runs whatever QuickCheck tests I have thrown together. For each
    module under src there is a corresponding module under Verify that contains it's Arbitrary
    instances and verification properties.

    The script "run_visualize" compiles and executes the QuadTreeVisualize program. This will be
    compiled against the installed data-spacepart package. 
    The purpose of QuadTreeVisualize is to, well, visualize a random quadtree instance. in order to
    run this program it's necessary to have OpenGL bindings that support FBO. I have a branch with
    the required patches here:

    The controls are:
        - arrow keys move left, up, right, down.
        - Shift-up and shift-down zoom in and zoom out respectively.

    This visualization program should not require the FBO dependency. However it was pulled from a
    different visualization system which did require FBOs. Removing this dependency is on the TODO

The version number of the library tries to follow the standard package version policy:

with the following addition: For the versiom number A.B.C.D D will be even for production releases
and odd for development versions.