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

module Test.Game.Labyrinth where

import qualified Test.DocTest.Driver as DocTest

{-# LINE 51 "src/Game/Labyrinth.hs" #-}
import     qualified Game.Labyrinth as Labyrinth

test :: DocTest.T ()
test = do
 DocTest.printPrefix "Game.Labyrinth:137: "
{-# LINE 137 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 137 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.shiftRowLeft k (Labyrinth.shiftRowRight k b))
 DocTest.printPrefix "Game.Labyrinth:138: "
{-# LINE 138 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 138 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.shiftRowRight k (Labyrinth.shiftRowLeft k b))
 DocTest.printPrefix "Game.Labyrinth:153: "
{-# LINE 153 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 153 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.shiftColumnUp k (Labyrinth.shiftColumnDown k b))
 DocTest.printPrefix "Game.Labyrinth:154: "
{-# LINE 154 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 154 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.shiftColumnDown k (Labyrinth.shiftColumnUp k b))
 DocTest.printPrefix "Game.Labyrinth:202: "
{-# LINE 202 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 202 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.cycleRowLeft k (Labyrinth.cycleRowRight k b))
 DocTest.printPrefix "Game.Labyrinth:203: "
{-# LINE 203 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 203 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.cycleRowRight k (Labyrinth.cycleRowLeft k b))
 DocTest.printPrefix "Game.Labyrinth:212: "
{-# LINE 212 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 212 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.cycleColumnUp k (Labyrinth.cycleColumnDown k b))
 DocTest.printPrefix "Game.Labyrinth:213: "
{-# LINE 213 "src/Game/Labyrinth.hs" #-}
 DocTest.property
{-# LINE 213 "src/Game/Labyrinth.hs" #-}
     (\k b -> b == Labyrinth.cycleColumnDown k (Labyrinth.cycleColumnUp k b))