結果

問題 No.396 クラス替え
ユーザー highdhighd
提出日時 2016-08-16 14:51:03
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 1,633 bytes
コンパイル時間 245 ms
コンパイル使用メモリ 161,024 KB
最終ジャッジ日時 2024-04-27 02:22:01
合計ジャッジ時間 662 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )

Main.hs:12:10: error: [GHC-59692]
    Duplicate instance declarations:
      instance Monoid a => Monoid (IO a) -- Defined at Main.hs:12:10
      instance Monoid a => Monoid (IO a) -- Defined in ‘GHC.Base’
   |
12 | instance Monoid a => Monoid (IO a) where
   |          ^^^^^^^^^^^^^^^^^^^^^^^^^

ソースコード

diff # 

--{-# LANGUAGE Safe #-}
{-# LANGUAGE PatternGuards #-}
import qualified Data.Text as T
import qualified Data.Text.IO as TI
import qualified Data.List as L
import Data.Monoid
import Data.Maybe
import Control.Applicative
import Debug.Trace
import Data.Char

instance Monoid a => Monoid (IO a) where
	mempty = return mempty
	mappend a b = mappend <$> a <*> b

(!-!)::[a]->Int->Maybe a
[] 		!-! _ = Nothing
(x:xs) 	!-! 0 = Just x
(x:xs) 	!-! n = xs !-! (n-1)

(<$~>)::Functor f => f a -> (a -> b) -> f b
(<$~>)=flip (<$>)

maybeRead s
	|[(x,"")]<-(reads s)=Just x
	|otherwise = Nothing
	
getLines::Int->IO T.Text
getLines 1 = TI.getLine 
getLines n = TI.getLine <> return (T.pack " ") <> (getLines$n-1)
	
run main_f n= 
	getLines n			<$~>
	T.split (==' ')		<$~>
	fmap T.unpack		<$~>
	main_f				<$~>
	fromMaybe "error"	>>=
	putStrLn
{-
1   2   3   4   5   6
12  11  10  9   8   7
13  14  15  16  17  18
24  23  22  21  20  19
-}
getClass::Int->Int->Int
getClass m v =
	let
		tmp = v `mod` (2 * m)::Int
		r=if tmp > m then 2*m-tmp+1 else tmp
	in if r==0 then r+1 else r

main_ list = do
	let get n = maybeRead=<<(list !-! n)::Maybe Int
	m<-get 1
	x<-get 2
	y<-get 3
	return$if (getClass m x)==(getClass m y) then "YES" else "NO"
	
format::Show a=>String->[a]->String
format str list = format_ str list False
	where
		format_::Show a=>String ->[a]->Bool->String
		format_ [] _ _ = ""
		format_ (x:xs) list False
			|x=='%'=format_ xs list True
			|otherwise = x:format_ xs list False
		format_ (x:xs) list True
			|x=='%' = '%':format_ xs list False
			|isDigit x = show (list !! (ord x-ord '0'))++format_ xs list False
	
main = run main_ 2
0