checkAll :: Lotus   -- ^ the lotus puzzle
         -> Index   -- ^ the current index
         -> Bool    -- ^ true if all conditions of a complete lotus are satisfied
checkAll lts ind = all func [getIndices leftArcs ind, getIndices rightArcs ind, getRing ind]
                   where getRing n = [x..x + 6] where x = 7 * div n 7
                         func n = checkValues (getValues lts n)

-- | Tests solvable puzzles
checkAll :: Lotus   -- ^ the lotus puzzle
         -> Index   -- ^ the current index
         -> Bool
checkAll lts ind = all func [getIndices leftArcs ind, getIndices rightArcs ind, getRing ind]
                   where getRing n = [x..x + 6] where x = 7 * div n 7
                         func n = checkValues (getValues lts n)

-- | Tests solvable puzzles
checkAll lts ind = all func [getIndices leftArcs ind, getIndices rightArcs ind, getRing ind]
                   where getRing n = [x..x + 6] where x = 7 * div n 7
                         func n = checkValues (getValues lts n)

-- | Tests solvable puzzles