{- |
   Module     : PropTests.Octree
   Copyright  : Copyright (c) 2016 Michael Litchard
   License    : BSD3
 
   Maintainer : Michael Litchard
   Stability  : experimental
   Portability: not portable
                           
   This module organizes the property tests for Octree proper. 
-}                                                

{-# LANGUAGE ScopedTypeVariables #-}

module PropTests.Octree 
  ( propOctInternal
  , propOctExposed)
  where

import Data.Octree.Internal
import Data.Octree() -- test that interface module is not broken
import Prelude hiding(lookup)
import Data.List(sort, sortBy)

import Test.Hspec (Spec, describe)
import Test.Hspec.QuickCheck (prop)

import PropTests.OctreeTests.Internal
import PropTests.OctreeTests.Exposed

propOctInternal :: Spec
propOctInternal = 
  describe "Tests for internal helper functions" $ do
    prop "depth" prop_depth 
    prop "prop_cmp1" prop_cmp1
    prop "prop_cmp2" prop_cmp2
    prop "prop_stepDescription" prop_stepDescription
    prop "prop_octantDistanceNoGreaterThanInterpointDistance0"
      prop_octantDistanceNoGreaterThanInterpointDistance0
    prop "prop_octantDistanceNoGreaterThanInterpointDistance"
      prop_octantDistanceNoGreaterThanInterpointDistance
    prop "prop_octantDistanceNoGreaterThanInterpointDistanceZero"
      prop_octantDistanceNoGreaterThanInterpointDistanceZero
    prop "prop_octantDistanceNoGreaterThanCentroidDistance"
      prop_octantDistanceNoGreaterThanCentroidDistance
    prop "prop_pickClosest"
       (prop_pickClosest :: [(Vector3, Int)] -> Vector3 -> Bool)

propOctExposed :: Spec
propOctExposed = 
  describe "Tests for exposed functions" $ do
    prop "prop_lookup" prop_lookup 
    prop "prop_fromToList" prop_fromToList 
    prop "prop_insertionPreserved" prop_insertionPreserved 
    prop "prop_nearest" prop_nearest 
    prop "prop_naiveWithinRange" prop_naiveWithinRange 
    prop "prop_fmap1" prop_fmap1
    prop "prop_fmap2" prop_fmap2
    prop "prop_fmap3" prop_fmap3
    prop "prop_depth_empty" prop_depth_empty
    prop "prop_depth_upper_bound" prop_depth_upper_bound
    prop "prop_size" prop_size