Ruudukko

input/code.hs:7:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      splitToPairs :: Int -> [t] -> [[t]]

input/code.hs:9:1: warning: [-Wtabs]
    Tab character found here, and in 9 further locations.
    Please use spaces instead.

input/code.hs:12:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      doRow :: Int -> [a] -> [a]

input/code.hs:14:1: warning: [-Wunused-top-binds]
    Defined but not used: `make4x4From'

input/code.hs:14:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      make4x4From :: (Enum t, Num t) => t -> [[t]]

input/code.hs:21:1: warning: [-Wunused-top-binds]
    Defined but not used: `horizCat'

input/code.hs:21:1: warning: [-Wmissing-signatures]
    Top-level binding with no type signature:
      horizCat :: [[a]] -> [[a]] -> [[a]]

input/code.hs:22:1: warning: [-Wunused-top-binds]
    Defined but not used: `vertCat'

input/code.hs:22:1: warning: [-Wmissing-sig...

import Data.Function
import Data.List
import Data.Monoid
import Data.Foldable
import Data.Bits
 
splitToPairs _ [] = []
splitToPairs n xs = pair : splitToPairs n rest
	where
	(pair, rest) = splitAt n xs
 
doRow n xs = splitToPairs n xs & map reverse & concat
 
make4x4From n =
	let a = [n .. n + 3] in
	let b = doRow 2 a in
	let c = doRow 4 b in
	let d = doRow 2 c in
	[a, b, c, d]
 
horizCat = zipWith (++)
vertCat xs ys = horizCat (transpose xs) (transpose ys) & transpose
 
doRows xs = fold ((Endo . doRow) <$> xs) & appEndo
 
nthInSeq n = -(-n `xor` n)
 
-- OEIS A171977
theSequence :: Int -> [Int]
theSequence n = [1..n] & map nthInSeq
 
rowFuncs n = theSequence (n - 1) & inits & map doRows
 
makeGrid n = rowFuncs n & map ($ [1..n])
 
trimGrid n xs = xs & map (take n) & take n
 
printGridLn xs = xs & map show & intercalate " " & putStrLn
 
printGrid xs = xs & map printGridLn & sequence_
 
main = do
	n <- readLn :: IO Int
	makeGrid 128 & trimGrid n & printGrid
	-- makeGrid 128 & trimGrid n & concat & sum & print
 

Test 1

Verdict: ACCEPTED

Test 2

Verdict: ACCEPTED

Test 3

Verdict: ACCEPTED

Test 4

Verdict: ACCEPTED

Test 5

Verdict: ACCEPTED

Test 6

Verdict: ACCEPTED