{-# OPTIONS_GHC -fno-warn-orphans #-}
{-
Copyright (C) 2018 Dr. Alistair Ward
This file is part of BishBosh.
BishBosh is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
BishBosh is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with BishBosh. If not, see .
-}
{- |
[@AUTHOR@] Dr. Alistair Ward
[@DESCRIPTION@] Implements 'Test.QuickCheck.Arbitrary' & defines /QuickCheck/-properties.
-}
module BishBosh.Test.QuickCheck.Model.GameTree(
-- * Types
-- ** Type-synonyms
GameTree,
-- * Constants
results
) where
import qualified BishBosh.Model.Game as Model.Game
import qualified BishBosh.Model.GameTree as Model.GameTree
import qualified BishBosh.Property.Tree as Property.Tree
import qualified BishBosh.Test.QuickCheck.Model.Game as Test.QuickCheck.Model.Game
import qualified BishBosh.Types as T
import qualified Data.Default
import qualified Data.Maybe
import qualified Test.QuickCheck
instance (Enum x, Enum y, Ord x, Ord y, Show x, Show y) => Test.QuickCheck.Arbitrary (Model.GameTree.GameTree x y) where
arbitrary = do
depth <- Test.QuickCheck.elements [1 .. 3]
fmap (Property.Tree.prune depth . Model.GameTree.fromGame) Test.QuickCheck.arbitrary
-- | Define a concrete type for testing.
type GameTree = Model.GameTree.GameTree T.X T.Y
-- | The constant test-results for this data-type.
results :: IO [Test.QuickCheck.Result]
results = sequence [
let
f :: Test.QuickCheck.Model.Game.Game -> Test.QuickCheck.Property
f = Test.QuickCheck.label "GameTree.prop_traceRoute" . (
\turns -> Data.Maybe.maybe False (
Data.Maybe.maybe False (== turns) . mapM Model.Game.maybeLastTurn
) $ Model.GameTree.traceRoute Data.Default.def turns
) . Model.Game.listTurnsChronologically
in Test.QuickCheck.quickCheckWithResult Test.QuickCheck.stdArgs { Test.QuickCheck.maxSuccess = 64 } f
]