module Euler11

imports
  Prelude
  Data.Array

where

main :: () -> I32
main () = do
  a = new garr
  m = new 0
  times 20
    (\i -> do
      times 20
        (\j -> do
          m <- max @m (mul_it_horiz a i j)
          m <- max @m (mul_it_vert a i j)
          m <- max @m (mul_it_diag a i j)
          m <- max @m (mul_it_giad a i j)
        )
    )
  assert (@m == 70600674)
  putW @m
  0

mul_it_horiz :: Ptr (Array #23 (Array #23 W32)) -> W32 -> W32 -> W32
mul_it_horiz a x y => ((ix a x y) * (ix a (x + 1) y)) * ((ix a (x + 2) y) * (ix a (x + 3) y))

mul_it_vert :: Ptr (Array #23 (Array #23 W32)) -> W32 -> W32 -> W32
mul_it_vert a x y => ((ix a x y) * (ix a x (y + 1))) * ((ix a x (y + 2)) * (ix a x (y + 3)))

mul_it_diag :: Ptr (Array #23 (Array #23 W32)) -> W32 -> W32 -> W32
mul_it_diag a x y => ((ix a x y) * (ix a (x + 1) (y + 1))) * ((ix a (x + 2) (y + 2)) * (ix a (x + 3) (y + 3)))

mul_it_giad :: Ptr (Array #23 (Array #23 W32)) -> W32 -> W32 -> W32
mul_it_giad a x y => ((ix a (x + 3) y) * (ix a (x + 2) (y + 1))) * ((ix a (x + 1) (y + 2)) * (ix a x (y + 3)))

ix :: Ptr (Array #23 (Array #23 W32)) -> W32 -> W32 -> W32
ix p i j => @p[unsafe_to_idx i][unsafe_to_idx j]

garr :: Array #23 (Array #23 W32)
garr => Array
  [ Array [ 08, 02, 22, 97, 38, 15, 00, 40, 00, 75, 04, 05, 07, 78, 52, 12, 50, 77, 91, 08, 0, 0, 0 ]
  , Array [ 49, 49, 99, 40, 17, 81, 18, 57, 60, 87, 17, 40, 98, 43, 69, 48, 04, 56, 62, 00, 0, 0, 0 ]
  , Array [ 81, 49, 31, 73, 55, 79, 14, 29, 93, 71, 40, 67, 53, 88, 30, 03, 49, 13, 36, 65, 0, 0, 0 ]
  , Array [ 52, 70, 95, 23, 04, 60, 11, 42, 69, 24, 68, 56, 01, 32, 56, 71, 37, 02, 36, 91, 0, 0, 0 ]
  , Array [ 22, 31, 16, 71, 51, 67, 63, 89, 41, 92, 36, 54, 22, 40, 40, 28, 66, 33, 13, 80, 0, 0, 0 ]
  , Array [ 24, 47, 32, 60, 99, 03, 45, 02, 44, 75, 33, 53, 78, 36, 84, 20, 35, 17, 12, 50, 0, 0, 0 ]
  , Array [ 32, 98, 81, 28, 64, 23, 67, 10, 26, 38, 40, 67, 59, 54, 70, 66, 18, 38, 64, 70, 0, 0, 0 ]
  , Array [ 67, 26, 20, 68, 02, 62, 12, 20, 95, 63, 94, 39, 63, 08, 40, 91, 66, 49, 94, 21, 0, 0, 0 ]
  , Array [ 24, 55, 58, 05, 66, 73, 99, 26, 97, 17, 78, 78, 96, 83, 14, 88, 34, 89, 63, 72, 0, 0, 0 ]
  , Array [ 21, 36, 23, 09, 75, 00, 76, 44, 20, 45, 35, 14, 00, 61, 33, 97, 34, 31, 33, 95, 0, 0, 0 ]
  , Array [ 78, 17, 53, 28, 22, 75, 31, 67, 15, 94, 03, 80, 04, 62, 16, 14, 09, 53, 56, 92, 0, 0, 0 ]
  , Array [ 16, 39, 05, 42, 96, 35, 31, 47, 55, 58, 88, 24, 00, 17, 54, 24, 36, 29, 85, 57, 0, 0, 0 ]
  , Array [ 86, 56, 00, 48, 35, 71, 89, 07, 05, 44, 44, 37, 44, 60, 21, 58, 51, 54, 17, 58, 0, 0, 0 ]
  , Array [ 19, 80, 81, 68, 05, 94, 47, 69, 28, 73, 92, 13, 86, 52, 17, 77, 04, 89, 55, 40, 0, 0, 0 ]
  , Array [ 04, 52, 08, 83, 97, 35, 99, 16, 07, 97, 57, 32, 16, 26, 26, 79, 33, 27, 98, 66, 0, 0, 0 ]
  , Array [ 88, 36, 68, 87, 57, 62, 20, 72, 03, 46, 33, 67, 46, 55, 12, 32, 63, 93, 53, 69, 0, 0, 0 ]
  , Array [ 04, 42, 16, 73, 38, 25, 39, 11, 24, 94, 72, 18, 08, 46, 29, 32, 40, 62, 76, 36, 0, 0, 0 ]
  , Array [ 20, 69, 36, 41, 72, 30, 23, 88, 34, 62, 99, 69, 82, 67, 59, 85, 74, 04, 36, 16, 0, 0, 0 ]
  , Array [ 20, 73, 35, 29, 78, 31, 90, 01, 74, 31, 49, 71, 48, 86, 81, 16, 23, 57, 05, 54, 0, 0, 0 ]
  , Array [ 01, 70, 54, 71, 83, 51, 54, 69, 16, 92, 33, 48, 61, 43, 52, 01, 89, 19, 67, 48, 0, 0, 0 ]
  , Array [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0, 0, 0, 0 ]
  , Array [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0, 0, 0, 0 ]
  , Array [  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0,  0, 0, 0, 0 ]
  ]