+{-# OPTIONS_HADDOCK hide, prune, ignore-exports #-}
+
-- | This module just imports the others. Useful in GHCi sessions.
module Everything (
module X
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
volume1 :: Assertion
volume1 =
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
volume1 :: Assertion
volume1 = assertEqual "volume1 is correct" True (vol ~= (1/3))
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
contained = contains_point t exterior_point
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
contained = contains_point t exterior_point
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
contained = contains_point t exterior_point
v2 = p2,
v3 = p3,
fv = empty_values,
- precomputed_volume = 0 }
+ precomputed_volume = 0,
+ number = 0 }
contained = contains_point t exterior_point