Unchecked.hs

-- Do not edit! Automatically created with doctest-extract from src/Data/Array/Comfort/Storable/Unchecked.hs
{-# LINE 57 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}

module DocTest.Data.Array.Comfort.Storable.Unchecked where

import qualified Test.DocTest.Driver as DocTest

{-# LINE 58 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
import     DocTest.Data.Array.Comfort.Storable (ShapeInt, genArray)

import     qualified Data.Array.Comfort.Storable as Array
import     qualified Data.Array.Comfort.Shape as Shape
import     Data.Array.Comfort.Storable (Array, (!))

import     qualified Test.QuickCheck as QC

import     Data.Word (Word16)

newtype     Array16 = Array16 (Array ShapeInt Word16)
       deriving (Show)

instance     QC.Arbitrary Array16 where
       arbitrary = fmap Array16 genArray

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:134: "
{-# LINE 134 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 134 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\x  ->  Array.singleton x ! () == (x::Word16))
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:152: "
{-# LINE 152 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 152 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\(QC.NonNegative n) (Array16 x)  ->  x == Array.mapShape (Shape.ZeroBased . Shape.size) (Array.append (Array.take n x) (Array.drop n x)))
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:167: "
{-# LINE 167 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 167 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\(Array16 x) (Array16 y) -> let xy = Array.append x y in x == Array.takeLeft xy  &&  y == Array.takeRight xy)
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:187: "
{-# LINE 187 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 187 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\(Array16 x) (Array16 y) (Array16 z) -> let xyz = Array.append x $ Array.append y z in y == Array.takeCenter xyz)
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:200: "
{-# LINE 200 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 200 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\(Array16 xs)  ->  Array.sum xs == sum (Array.toList xs))
 DocTest.printPrefix "Data.Array.Comfort.Storable.Unchecked:206: "
{-# LINE 206 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
 DocTest.property
{-# LINE 206 "src/Data/Array/Comfort/Storable/Unchecked.hs" #-}
     (\(Array16 xs)  ->  Array.product xs == product (Array.toList xs))