astro-0.4.1.2: test/Data/Astro/Planet/PlanetDetailsTest.hs

module Data.Astro.Planet.PlanetDetailsTest
(
  tests
)

where


import Test.Framework (testGroup)
import Test.Framework.Providers.HUnit
import Test.Framework.Providers.QuickCheck2 (testProperty)
import Test.HUnit
import Test.HUnit.Approx
import Test.QuickCheck

import Data.Astro.Planet.PlanetDetails

tests = [testGroup "inner planets" [
            testCase "Mercury" $ isInnerPlanet (j2010PlanetDetails Mercury) @?= True
            , testCase "Venus" $ isInnerPlanet (j2010PlanetDetails Venus) @?= True
            , testCase "Jupiter" $ isInnerPlanet (j2010PlanetDetails Jupiter) @?= False
            , testCase "Uranus" $ isInnerPlanet (j2010PlanetDetails Uranus) @?= False
            , testCase "Earth" $ isInnerPlanet (j2010PlanetDetails Earth) @?= False
            ]
        ]