-- Do not edit! Automatically created with doctest-extract from private/Numeric/FFTW/Extra/Shape.hs
{-# LINE 6 "private/Numeric/FFTW/Extra/Shape.hs" #-}

{-# OPTIONS_GHC -XTypeFamilies #-}
module DocTest.Numeric.FFTW.Extra.Shape where

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

{-# LINE 8 "private/Numeric/FFTW/Extra/Shape.hs" #-}
import     Numeric.FFTW.Extra.Shape
import     Test.Numeric.FFTW.Extra.Utility

import     qualified Data.Array.Comfort.Shape as Shape

import     qualified Test.QuickCheck as QC

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:18: "
{-# LINE 18 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.example(
{-# LINE 18 "private/Numeric/FFTW/Extra/Shape.hs" #-}
    convolve (Shape.ZeroBased 0) (Shape.ZeroBased (10::Int))
  )
  [ExpectedLine [LineChunk "ZeroBased {",WildCardChunk,LineChunk " 0}"]]
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:21: "
{-# LINE 21 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.example(
{-# LINE 21 "private/Numeric/FFTW/Extra/Shape.hs" #-}
    convolve (Shape.ZeroBased 6) (Shape.ZeroBased (9::Int))
  )
  [ExpectedLine [LineChunk "ZeroBased {",WildCardChunk,LineChunk " 14}"]]
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:24: "
{-# LINE 24 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 24 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genVectorShape $ \shapeX ->
   QC.forAll genVectorShape $ \shapeY ->

   convolve shapeX shapeY
   ==
   convolve shapeY shapeX
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:33: "
{-# LINE 33 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 33 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genVectorShape $ \shapeX ->
   QC.forAll genVectorShape $ \shapeY ->
   QC.forAll genVectorShape $ \shapeZ ->

   convolve shapeX (convolve shapeY shapeZ)
   ==
   convolve (convolve shapeX shapeY) shapeZ
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:43: "
{-# LINE 43 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 43 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genShiftedShape $ \shapeX ->
   QC.forAll genShiftedShape $ \shapeY ->

   convolve shapeX shapeY
   ==
   convolve shapeY shapeX
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:52: "
{-# LINE 52 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 52 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genShiftedShape $ \shapeX ->
   QC.forAll genShiftedShape $ \shapeY ->
   QC.forAll genShiftedShape $ \shapeZ ->

   convolve shapeX (convolve shapeY shapeZ)
   ==
   convolve (convolve shapeX shapeY) shapeZ
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:62: "
{-# LINE 62 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 62 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genIntervalShape $ \shapeX ->
   QC.forAll genIntervalShape $ \shapeY ->

   convolve shapeX shapeY
   ==
   convolve shapeY shapeX
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:71: "
{-# LINE 71 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 71 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genIntervalShape $ \shapeX ->
   QC.forAll genIntervalShape $ \shapeY ->
   QC.forAll genIntervalShape $ \shapeZ ->

   convolve shapeX (convolve shapeY shapeZ)
   ==
   convolve (convolve shapeX shapeY) shapeZ
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:81: "
{-# LINE 81 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 81 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genIntervalShape $ \shapeX ->
   QC.forAll genIntervalShape $ \shapeY ->

   convolveSize (size shapeX) (size shapeY)
   ==
   size (convolve shapeX shapeY)
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:90: "
{-# LINE 90 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 90 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genIntervalShape $ \shapeX ->
   QC.forAll genIntervalShape $ \shapeY ->
   QC.forAll genIntervalShape $ \shapeZ ->

   correlate shapeX (correlate shapeY shapeZ)
   ==
   correlate (convolve shapeX shapeY) shapeZ
  )
 DocTest.printPrefix "Numeric.FFTW.Extra.Shape:100: "
{-# LINE 100 "private/Numeric/FFTW/Extra/Shape.hs" #-}
 DocTest.property(
{-# LINE 100 "private/Numeric/FFTW/Extra/Shape.hs" #-}
        
   QC.forAll genIntervalShape $ \shapeX ->
   QC.forAll genIntervalShape $ \shapeY ->

   correlateSize (size shapeX) (size shapeY)
   ==
   size (correlate shapeX shapeY)
  )