提出 #74839552


ソースコード 拡げる

import Control.Monad
import Control.Monad.ST
import Control.Monad.Primitive
import Data.Maybe
import qualified Data.ByteString.Char8 as BS
import Data.List
import Data.Char
import Data.Ord
import Data.Ix
import Data.Bool
import Data.Vector.Unboxed.Base
import qualified Data.Vector.Unboxed as VU
import qualified Data.Vector.Unboxed.Mutable as VUM
import qualified Data.Vector as V
import qualified Data.Vector.Mutable as VM
import Data.Array.Unboxed
import Data.Array.ST
import Data.Sequence (Seq)
import qualified Data.Sequence as Seq
import qualified Data.Set as Set
import Data.Tree
import qualified Data.Map as M
import Data.IntMap.Strict (IntMap)
import qualified Data.IntMap as IM
import qualified Data.Heap as H
import qualified AtCoder.Extra.Math as Math
import qualified AtCoder.Extra.Pdsu as Pdsu
import qualified AtCoder.Extra.Vector as VE
import Data.Semigroup (Sum (..))

readInt = fst . fromJust . BS.readInt
readIntList = map readInt . BS.words
getInt = readInt <$> BS.getLine
getIntList = readIntList <$> BS.getLine
strToInt strN = read strN :: Int

putStrList xs = putStrLn . unwords $ map show xs

main = do
    [t0, x] <- getIntList
    (a0 : as) <- getIntList
    let zs = zip [1..] as
        f _ [] = return ()
        f p ((t, a) : xs) | abs (p - a) >= x = do
                                 putStrList [t, a]
                                 f a xs
                          | otherwise = f p xs
    putStrList [0, a0]
    f a0 zs

提出情報

提出日時
問題 B - Sensor Data Logging
ユーザ pel
言語 Haskell (GHC 9.8.4)
得点 200
コード長 1504 Byte
結果 AC
実行時間 17 ms
メモリ 8792 KiB

コンパイルエラー

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

app/Main.hs:1:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad’ is redundant
      except perhaps to import instances from ‘Control.Monad’
    To import instances alone, use: import Control.Monad()
  |
1 | import Control.Monad
  | ^^^^^^^^^^^^^^^^^^^^

app/Main.hs:2:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.ST’ is redundant
      except perhaps to import instances from ‘Control.Monad.ST’
    To import instances alone, use: import Control.Monad.ST()
  |
2 | import Control.Monad.ST
  | ^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:3:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Control.Monad.Primitive’ is redundant
      except perhaps to import instances from ‘Control.Monad.Primitive’
    To import instances alone, use: import Control.Monad.Primitive()
  |
3 | import Control.Monad.Primitive
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:6:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.List’ is redundant
      except perhaps to import instances from ‘Data.List’
    To import instances alone, use: import Data.List()
  |
6 | import Data.List
  | ^^^^^^^^^^^^^^^^

app/Main.hs:7:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Char’ is redundant
      except perhaps to import instances from ‘Data.Char’
    To import instances alone, use: import Data.Char()
  |
7 | import Data.Char
  | ^^^^^^^^^^^^^^^^

app/Main.hs:8:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ord’ is redundant
      except perhaps to import instances from ‘Data.Ord’
    To import instances alone, use: import Data.Ord()
  |
8 | import Data.Ord
  | ^^^^^^^^^^^^^^^

app/Main.hs:9:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Ix’ is redundant
      except perhaps to import instances from ‘Data.Ix’
    To import instances alone, use: import Data.Ix()
  |
9 | import Data.Ix
  | ^^^^^^^^^^^^^^

app/Main.hs:10:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Bool’ is redundant
      except perhaps to import instances from ‘Data.Bool’
    To import instances alone, use: import Data.Bool()
   |
10 | import Data.Bool
   | ^^^^^^^^^^^^^^^^

app/Main.hs:11:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Vector.Unboxed.Base’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Base’
    To import instances alone, use: import Data.Vector.Unboxed.Base()
   |
11 | import Data.Vector.Unboxed.Base
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:12:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed’
    To import instances alone, use: import Data.Vector.Unboxed()
   |
12 | import qualified Data.Vector.Unboxed as VU
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:13:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Unboxed.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Unboxed.Mutable’
    To import instances alone, use: import Data.Vector.Unboxed.Mutable()
   |
13 | import qualified Data.Vector.Unboxed.Mutable as VUM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:14:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector’ is redundant
      except perhaps to import instances from ‘Data.Vector’
    To import instances alone, use: import Data.Vector()
   |
14 | import qualified Data.Vector as V
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:15:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Vector.Mutable’ is redundant
      except perhaps to import instances from ‘Data.Vector.Mutable’
    To import instances alone, use: import Data.Vector.Mutable()
   |
15 | import qualified Data.Vector.Mutable as VM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:16:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.Unboxed’ is redundant
      except perhaps to import instances from ‘Data.Array.Unboxed’
    To import instances alone, use: import Data.Array.Unboxed()
   |
16 | import Data.Array.Unboxed
   | ^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:17:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Array.ST’ is redundant
      except perhaps to import instances from ‘Data.Array.ST’
    To import instances alone, use: import Data.Array.ST()
   |
17 | import Data.Array.ST
   | ^^^^^^^^^^^^^^^^^^^^

app/Main.hs:18:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
18 | import Data.Sequence (Seq)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:19:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Sequence’ is redundant
      except perhaps to import instances from ‘Data.Sequence’
    To import instances alone, use: import Data.Sequence()
   |
19 | import qualified Data.Sequence as Seq
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:20:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Set’ is redundant
      except perhaps to import instances from ‘Data.Set’
    To import instances alone, use: import Data.Set()
   |
20 | import qualified Data.Set as Set
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:21:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Tree’ is redundant
      except perhaps to import instances from ‘Data.Tree’
    To import instances alone, use: import Data.Tree()
   |
21 | import Data.Tree
   | ^^^^^^^^^^^^^^^^

app/Main.hs:22:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Map’ is redundant
      except perhaps to import instances from ‘Data.Map’
    To import instances alone, use: import Data.Map()
   |
22 | import qualified Data.Map as M
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:23:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.IntMap.Strict’ is redundant
      except perhaps to import instances from ‘Data.IntMap.Strict’
    To import instances alone, use: import Data.IntMap.Strict()
   |
23 | import Data.IntMap.Strict (IntMap)
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:24:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.IntMap’ is redundant
      except perhaps to import instances from ‘Data.IntMap’
    To import instances alone, use: import Data.IntMap()
   |
24 | import qualified Data.IntMap as IM
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:25:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘Data.Heap’ is redundant
      except perhaps to import instances from ‘Data.Heap’
    To import instances alone, use: import Data.Heap()
   |
25 | import qualified Data.Heap as H
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:26:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Math’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Math’
    To import instances alone, use: import AtCoder.Extra.Math()
   |
26 | import qualified AtCoder.Extra.Math as Math
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:27:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Pdsu’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Pdsu’
    To import instances alone, use: import AtCoder.Extra.Pdsu()
   |
27 | import qualified AtCoder.Extra.Pdsu as Pdsu
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:28:1: warning: [GHC-66111] [-Wunused-imports]
    The qualified import of ‘AtCoder.Extra.Vector’ is redundant
      except perhaps to import instances from ‘AtCoder.Extra.Vector’
    To import instances alone, use: import AtCoder.Extra.Vector()
   |
28 | import qualified AtCoder.Extra.Vector as VE
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:29:1: warning: [GHC-66111] [-Wunused-imports]
    The import of ‘Data.Semigroup’ is redundant
      except perhaps to import instances from ‘Data.Semigroup’
    To import instances alone, use: import Data.Semigroup()
   |
29 | import Data.Semigroup (Sum (..))
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

app/Main.hs:31:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readInt :: BS.ByteString -> Int
   |
31 | readInt = fst . fromJust . BS.readInt
   | ^^^^^^^

app/Main.hs:32:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      readIntList :: BS.ByteString -> [Int]
   |
32 | readIntList = map readInt . BS.words
   | ^^^^^^^^^^^

app/Main.hs:33:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getInt :: IO Int
   |
33 | getInt = readInt <$> BS.getLine
   | ^^^^^^

app/Main.hs:33:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘getInt’
   |
33 | getInt = readInt <$> BS.getLine
   | ^^^^^^

app/Main.hs:34:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: getIntList :: IO [Int]
   |
34 | getIntList = readIntList <$> BS.getLine
   | ^^^^^^^^^^

app/Main.hs:35:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: strToInt :: String -> Int
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:35:1: warning: [GHC-40910] [-Wunused-top-binds]
    Defined but not used: ‘strToInt’
   |
35 | strToInt strN = read strN :: Int
   | ^^^^^^^^

app/Main.hs:37:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature:
      putStrList :: Show a => [a] -> IO ()
   |
37 | putStrList xs = putStrLn . unwords $ map show xs
   | ^^^^^^^^^^

app/Main.hs:39:1: warning: [GHC-38417] [-Wmissing-signatures]
    Top-level binding with no type signature: main :: IO ()
   |
39 | main = do
   | ^^^^

app/Main.hs:40:6: warning: [GHC-40910] [-Wunused-matches]
    Defined but not used: ‘t0’
   |
40 |     [t0, x] <- getIntList
   |      ^^
Configuration is affected by the following files:
- cabal.project
- cabal.project.freeze
- cabal.project.local

ジャッジ結果

セット名 Sample All
得点 / 配点 0 / 0 200 / 200
結果
AC × 1
AC × 14
セット名 テストケース
Sample sample_01.txt
All sample_01.txt, test_01.txt, test_02.txt, test_03.txt, test_04.txt, test_05.txt, test_06.txt, test_07.txt, test_08.txt, test_09.txt, test_10.txt, test_11.txt, test_12.txt, test_13.txt
ケース名 結果 実行時間 メモリ
sample_01.txt AC 17 ms 8316 KiB
test_01.txt AC 3 ms 8112 KiB
test_02.txt AC 2 ms 8504 KiB
test_03.txt AC 3 ms 8680 KiB
test_04.txt AC 3 ms 8684 KiB
test_05.txt AC 2 ms 8296 KiB
test_06.txt AC 3 ms 8472 KiB
test_07.txt AC 3 ms 8652 KiB
test_08.txt AC 3 ms 8652 KiB
test_09.txt AC 3 ms 8792 KiB
test_10.txt AC 2 ms 8444 KiB
test_11.txt AC 2 ms 8240 KiB
test_12.txt AC 2 ms 8260 KiB
test_13.txt AC 2 ms 8524 KiB