Shape.hs

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

module DocTest.Data.Array.Comfort.Shape where

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

{-# LINE 66 "src/Data/Array/Comfort/Shape.hs" #-}
import     qualified Data.Array.Comfort.Shape as Shape
import     qualified Data.Map as Map
import     qualified Data.Set as Set
import     Data.Array.Comfort.Shape ((:+:)((:+:)))

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Data.Array.Comfort.Shape:128: "
{-# LINE 128 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 128 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices ())
  [ExpectedLine [LineChunk "[()]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:150: "
{-# LINE 150 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 150 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.ZeroBased (7::Int)))
  [ExpectedLine [LineChunk "[0,1,2,3,4,5,6]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:201: "
{-# LINE 201 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 201 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.OneBased (7::Int)))
  [ExpectedLine [LineChunk "[1,2,3,4,5,6,7]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:249: "
{-# LINE 249 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 249 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.Range (-5) (5::Int)))
  [ExpectedLine [LineChunk "[-5,-4,-3,-2,-1,0,1,2,3,4,5]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:251: "
{-# LINE 251 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 251 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.Range (-1,-1) (1::Int,1::Int)))
  [ExpectedLine [LineChunk "[(-1,-1),(-1,0),(-1,1),(0,-1),(0,0),(0,1),(1,-1),(1,0),(1,1)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:301: "
{-# LINE 301 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 301 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.Shifted (-4) (8::Int)))
  [ExpectedLine [LineChunk "[-4,-3,-2,-1,0,1,2,3]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:373: "
{-# LINE 373 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 373 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.Enumeration :: Shape.Enumeration Ordering))
  [ExpectedLine [LineChunk "[LT,EQ,GT]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:428: "
{-# LINE 428 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 428 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Set.fromList "comfort"))
  [ExpectedLine [LineChunk "\"cfmort\""]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:454: "
{-# LINE 454 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 454 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices $ fmap Shape.ZeroBased $ Map.fromList [('b', (0::Int)), ('a', 5), ('c', 2)])
  [ExpectedLine [LineChunk "[('a',0),('a',1),('a',2),('a',3),('a',4),('c',0),('c',1)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:528: "
{-# LINE 528 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 528 "src/Data/Array/Comfort/Shape.hs" #-}
   (
  let sh2 = (Shape.ZeroBased (2::Int), Shape.ZeroBased (2::Int)) in
  let sh3 = (Shape.ZeroBased (3::Int), Shape.ZeroBased (3::Int)) in
  (Shape.offset sh3 $ Shape.indexFromOffset sh2 3,
  Shape.offset (Shape.Deferred sh3) $
  Shape.indexFromOffset (Shape.Deferred sh2) 3)
  )
  [ExpectedLine [LineChunk "(4,3)"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:630: "
{-# LINE 630 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 630 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.ZeroBased (3::Int), Shape.ZeroBased (3::Int)))
  [ExpectedLine [LineChunk "[(0,0),(0,1),(0,2),(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:744: "
{-# LINE 744 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 744 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices $ Shape.Square $ Shape.ZeroBased (3::Int))
  [ExpectedLine [LineChunk "[(0,0),(0,1),(0,2),(1,0),(1,1),(1,2),(2,0),(2,1),(2,2)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:793: "
{-# LINE 793 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 793 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices $ Shape.Cube $ Shape.ZeroBased (2::Int))
  [ExpectedLine [LineChunk "[(0,0,0),(0,0,1),(0,1,0),(0,1,1),(1,0,0),(1,0,1),(1,1,0),(1,1,1)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:862: "
{-# LINE 862 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 862 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices $ Shape.Triangular Shape.Upper $ Shape.ZeroBased (3::Int))
  [ExpectedLine [LineChunk "[(0,0),(0,1),(0,2),(1,1),(1,2),(2,2)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:864: "
{-# LINE 864 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 864 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices $ Shape.Triangular Shape.Lower $ Shape.ZeroBased (3::Int))
  [ExpectedLine [LineChunk "[(0,0),(1,0),(1,1),(2,0),(2,1),(2,2)]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:994: "
{-# LINE 994 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.property
{-# LINE 994 "src/Data/Array/Comfort/Shape.hs" #-}
     (let shape = Shape.Cyclic (10::Int) in Shape.offset shape (-1) == Shape.offset shape 9)
 DocTest.printPrefix "Data.Array.Comfort.Shape:999: "
{-# LINE 999 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 999 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.Cyclic (7::Int)))
  [ExpectedLine [LineChunk "[0,1,2,3,4,5,6]"]]
 DocTest.printPrefix "Data.Array.Comfort.Shape:1047: "
{-# LINE 1047 "src/Data/Array/Comfort/Shape.hs" #-}
 DocTest.example
{-# LINE 1047 "src/Data/Array/Comfort/Shape.hs" #-}
   (Shape.indices (Shape.ZeroBased (3::Int) :+: Shape.Range 'a' 'c'))
  [ExpectedLine [LineChunk "[Left 0,Left 1,Left 2,Right 'a',Right 'b',Right 'c']"]]