The spacepart package

[ Tags: bsd3, data, library ] [ Propose Tags ]

Space partition data structures. Currently only a QuadTree.

darcs get --partial




[Skip to Readme]


Change log CHANGELOG
Dependencies base, vector-space (==0.5.*) [details]
License BSD3
Author Corey O'Connor <>
Maintainer Corey O'Connor <>
Category Data
Home page
Uploaded Mon Feb 16 03:18:21 UTC 2009 by CoreyOConnor
Distributions NixOS:
Downloads 374 total (2 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees

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.