UniqueLogic.hs

-- Do not edit! Automatically created with doctest-extract from src/UniqueLogic.hs
{-# LINE 23 "src/UniqueLogic.hs" #-}

module Test.UniqueLogic where

import UniqueLogic
import Test.DocTest.Base
import qualified Test.DocTest.Driver as DocTest

{-# LINE 24 "src/UniqueLogic.hs" #-}
import     qualified Data.Array.Comfort.Boxed as BoxedArray
import     qualified Data.Array.Comfort.Shape as Shape
import     Common

test :: DocTest.T ()
test = do
 DocTest.printPrefix "UniqueLogic:58: "
{-# LINE 58 "src/UniqueLogic.hs" #-}
 DocTest.example(
{-# LINE 58 "src/UniqueLogic.hs" #-}
    solve 3 [((0,0),1), ((1,0),1), ((2,0),1::Integer)]
  )
  [ExpectedLine [LineChunk "BoxedArray",WildCardChunk,LineChunk "Triangular",WildCardChunk,LineChunk " 3",WildCardChunk,LineChunk " [Just 1,Just 1,Just 0,Just 1,Just 0,Just 0]"]]
 DocTest.printPrefix "UniqueLogic:61: "
{-# LINE 61 "src/UniqueLogic.hs" #-}
 DocTest.example(
{-# LINE 61 "src/UniqueLogic.hs" #-}
    solve 3 [((0,0),1), ((2,0),1), ((2,2),1::Integer)]
  )
  [ExpectedLine [LineChunk "BoxedArray",WildCardChunk,LineChunk "Triangular",WildCardChunk,LineChunk " 3",WildCardChunk,LineChunk " [Just 1,Nothing,Nothing,Just 1,Nothing,Just 1]"]]
 DocTest.printPrefix "UniqueLogic:83: "
{-# LINE 83 "src/UniqueLogic.hs" #-}
 DocTest.example(
{-# LINE 83 "src/UniqueLogic.hs" #-}
    solveMixed (BoxedArray.fromList (Shape.lowerTriangular $ Shape.ZeroBased 1) [Mul]) [((0,0),0), ((1,1),0::Rational)]
  )
  [ExpectedLine [LineChunk "BoxedArray",WildCardChunk,LineChunk "Triangular",WildCardChunk,LineChunk " 2",WildCardChunk,LineChunk " [Just (0 % 1),Nothing,Just (0 % 1)]"]]
 DocTest.printPrefix "UniqueLogic:85: "
{-# LINE 85 "src/UniqueLogic.hs" #-}
 DocTest.example(
{-# LINE 85 "src/UniqueLogic.hs" #-}
    solveMixed (BoxedArray.fromList (Shape.lowerTriangular $ Shape.ZeroBased 1) [Mul]) [((0,0),0), ((1,1),5::Rational)]
  )
  [ExpectedLine [LineChunk "BoxedArray",WildCardChunk,LineChunk "Triangular",WildCardChunk,LineChunk " 2",WildCardChunk,LineChunk " [Just (0 % 1),Just (0 % 1),Just (5 % 1)]"]]