Submission #75260240

---

Source Code Expand

{-# OPTIONS_GHC -Wall #-}
{-# OPTIONS_GHC -Wname-shadowing #-} -- 内側のスコープの値と同じ名前が外側のスコープにあるとき警告する

import Control.Monad
import qualified Data.ByteString.Char8 as BS
import Data.Char
import Data.List -- nub O(n^2)

readInts :: IO [Int]
readInts = unfoldr (BS.readInt . BS.dropWhile isSpace) <$> BS.getLine
readDoubles :: IO [Double]
readDoubles = map read . words . BS.unpack <$> BS.getLine

main :: IO ()
main = do
  [h,w] <- readInts
  ss <- replicateM h getLine
  let cands = map f [[[ ss !! x !! y | x <- [i..k]] | y <- [j..l]] | i <- [0..h-1], j <- [0..w-1], k <- [i..h-1], l <- [j..w-1]]
  print $ length $ filter id cands

f ss = ss == (reverse $ map reverse ss)

Submission Info

Compile Error

Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

app/Main.hs:12:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘readDoubles’
   |
12 | readDoubles = map read . words . BS.unpack <$> BS.getLine
   | ^^^^^^^^^^^

app/Main.hs:21:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      f :: Eq a => [[a]] -> Bool
   |
21 | f ss = ss == (reverse $ map reverse ss)
   | ^
Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

Judge Result