content: -- Copyright 2016 TensorFlow authors.
  --
  -- Licensed under the Apache License, Version 2.0 (the "License");
  -- you may not use this file except in compliance with the License.
  -- You may obtain a copy of the License at
  --
  --     http://www.apache.org/licenses/LICENSE-2.0
  --
  -- Unless required by applicable law or agreed to in writing, software
  -- distributed under the License is distributed on an "AS IS" BASIS,
  -- WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  -- See the License for the specific language governing permissions and
  -- limitations under the License.
  
  {-# LANGUAGE OverloadedLists #-}
  module Main where
  
  import Control.Monad.IO.Class (liftIO)
  import Data.Int (Int64)
  import Test.Framework (defaultMain, Test)
  import Test.Framework.Providers.HUnit (testCase)
  import Test.HUnit ((@=?))
  import qualified Data.Vector as V
  
  import qualified TensorFlow.Ops as TF
  import qualified TensorFlow.Core as TF
  import qualified TensorFlow.GenOps.Core as CoreOps
  
  -- | Test split and concat are inverses.
  testSplit :: Test
  testSplit = testCase "testSplit" $ TF.runSession $ do
      let original = TF.constant [2, 3] [0..5 :: Float]
          splitList = CoreOps.split 3 dim original
          restored = CoreOps.concat dim splitList
          dim = 1  -- dimension to split along (with size of 3 in original)
      liftIO $ 3 @=? length splitList
      (x, y, z) <- TF.run (original, restored, splitList !! 1)
      liftIO $ x @=? (y :: V.Vector Float)
      liftIO $ V.fromList [1, 4] @=? z
  
  testShapeN :: Test
  testShapeN = testCase "testShapeN" $ TF.runSession $ do
      let shapes = map TF.Shape [[1],[2,3]]
      let tensors = map TF.zeros shapes :: [TF.Tensor TF.Build Float]
      result <- TF.run $ CoreOps.shapeN tensors
      liftIO $ [V.fromList [1], V.fromList [2,3]] @=? (result :: [V.Vector Int64])
  
  main :: IO ()
  main = defaultMain [ testSplit
                     , testShapeN
                     ]
  