修复错误(Haskell)Simple Snakes&梯子游戏

时间:2017-04-06 21:47:22

标签: haskell compiler-errors ambiguous

今天我在这里请求任何帮助来解决我为编译这个Snakes&而留下的5个独特错误。梯子游戏。我提供了我在下面的错误以及代码。

我提供了一些我觉得有必要提供一些指示的信息。先感谢您。非常感谢任何帮助。

Main.hs:10:88:
   Ambiguous occurrence ‘concat’
   It could refer to either 'Data.List.concat'
   imported from ‘Data.List’ at Main.hs:3:1-16
                                (and originally defined in ‘GHC.List’)
                             or ‘Data.Foldable.concat’,
                                imported from ‘Data.Foldable’ at Main.hs:5:1-20

Main.hs:10:96:
    Ambiguous occurrence ‘replicate’
    It could refer to either 'Data.List.replicate'
    imported from ‘Data.List.replicate’ at Main.hs:3:1-16
                               (and originally defined in ‘GHC.List’)
                            or ‘Data.Sequence.replicate’,
                               imported from ‘Data.Sequence’ at Main.hs:4:1-20

Main.hs:10:96:
    Ambiguous occurrence ‘elem’
    It could refer to either 'Data.List.elem'
    imported from ‘Data.List’ at Main.hs:3:1-16
                               (and originally defined in ‘GHC.List’)
                            or ‘Data.Foldable.elem’,
                                imported from ‘Data.Sequence’ at Main.hs:5:1-20

Main.hs:17:48:
  Not in scope: pos’
  Perhaps you meant ‘pos’ (line 14) 

Main.hs:43:37: Not in scope: ‘nums’

以下是代码:

module Main where

import Data.List
import Data.Sequence
import Data.Foldable
import Control.Lens

data Game = G Int Int Int [Int] [Bool] [Bool] [Bool] [Int] [Property] Int
data Property = Int | E | A | D
displayRow game@(G rows cols nplayers pos e a d drolls props turn) n = unlines [ '+' : concat (replicate n "---+") , '|' : concat (replicate n "   |")]
display game@(G 0 cols nplayers pos e a d drolls props turn) = ""
display game@(G rows cols nplayers pos e a d drolls props turn) = (displayRow game cols) ++ display (G (rows - 1) cols nplayers pos e a d drolls props turn)
go game@(G rows cols nplayers pos e a d drolls props 0) _ = display game
go game@(G rows cols nplayers pos e a d drolls props turn) i
  | elem (rows*cols) pos = display game 
  | nplayers == i = go (G rows cols nplayers pos e a d drolls props (turn - 1)) 0 
  | otherwise = go (move (G rows cols nplayers pos' e a d (tail drolls) props turn) i roll) (i + 1) where
    roll = if d!!i then 2*(head drolls) else (head drolls)
move (G rows cols nplayers pos e a d drolls props turn) i j = case (elemIndex posij pos) of
  Just k -> (move (G rows cols nplayers pos' e' a' d' drolls props turn) k 1) 
  Nothing -> (G rows cols nplayers pos' e' a' d' drolls props turn) 
  where
    posij = if (pos!!i + j) > rows*cols then rows*cols else pos!!i + j 
    pos'
      | props!!posij > posij = if e!!i then pos & ix i .~ (2*(props!!posij) - posij) else pos & ix i .~ (props!!posij)
      | props!!posij < posij = if a!!i then pos & ix i .~ posij else pos & ix i .~ (props!!posij)
      | otherwise = pos & ix i .~ posij
    e'
      | props!!posij > posij = if e!!i then e & ix i .~ False else e
      | props!!posij == E = e & ix i .~ True
      | otherwise = e
    a'
      | props!!posij < posij = if a!!i then a & ix i .~ False else a
      | props!!posij == A = a & ix i .~ True
      | otherwise = a
    d' = if (props!!posij) == D then (d & ix i .~ True) else (d & ix i .~ False)
instance Show Game where
  show game@(G rows cols nplayers pos e a d drolls props turn) = go game 0 
build (l:ls) = build' (G 0 0 0 [] [] [] [] [] [] 0) (l:ls) where
  build' game (l:ls) = build' (update game l) ls
  build' game [] = game
  update (G rows cols nplayers pos e a d drolls props turn) s = case (words s) of
                    "board":l -> G (nums!!0) (nums!!1) nplayers pos e a d drolls [i | i <- [0..(nums!!0)*(nums!!1)]] turn
                    "players":l -> G rows cols (nums!!0) [0 | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] drolls props turn
                    "dice":l -> G rows cols nplayers pos e a d (cycle nums) props turn
                    "ladder":l -> G rows cols nplayers pos e a d drolls (props & ix (nums!!0) .~ (nums!!1)) turn
                    "snake":l -> G rows cols nplayers pos e a d drolls (props & ix (nums!!0) .~ (nums!!1)) turn
                    "powerup":"escalator":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const E) props) turn
                    "powerup":"antivenom":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const A) props) turn
                    "powerup":"double":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const D) props) turn
                    "turns":l -> G rows cols nplayers pos e a d nums props (turn + (nums!!0)) where
                      nums = map read l :: [Int]
readFrom input = build (lines input)
main = do
  input <- getContents
  putStr $ show $ readFrom input

1 个答案:

答案 0 :(得分:2)

这是您为健全性格式化的代码,并添加了类型签名:

module Main where

import Data.Foldable
import Control.Lens

data Game = G Int Int Int [Int] [Bool] [Bool] [Bool] [Int] [Property] Int

data Property = Int | E | A | D

displayRow :: Game -> Int -> String
displayRow game@(G rows cols nplayers pos e a d drolls props turn) n = unlines [ '+' : concat (replicate n "---+") , '|' : concat (replicate n "   |")]

display :: Game -> String
display game@(G 0 cols nplayers pos e a d drolls props turn) = ""
display game@(G rows cols nplayers pos e a d drolls props turn) = (displayRow game cols) ++ display (G (rows - 1) cols nplayers pos e a d drolls props turn)

go :: Game -> Int -> String
go game@(G rows cols nplayers pos e a d drolls props 0) _ = display game
go game@(G rows cols nplayers pos e a d drolls props turn) i
  | elem (rows*cols) pos = display game
  | nplayers == i = go (G rows cols nplayers pos e a d drolls props (turn - 1)) 0
  | otherwise = go (move (G rows cols nplayers pos' e a d (tail drolls) props turn) i roll) (i + 1)
    where
      roll = if d!!i then 2*(head drolls) else (head drolls)

move :: Game -> Int -> Int -> Game
move (G rows cols nplayers pos e a d drolls props turn) i j = case (elemIndex posij pos) of
  Just k -> (move (G rows cols nplayers pos' e' a' d' drolls props turn) k 1)
  Nothing -> (G rows cols nplayers pos' e' a' d' drolls props turn)
  where
    posij = if (pos!!i + j) > rows*cols then rows*cols else pos!!i + j
    pos'
      | props!!posij > posij = if e!!i then pos & ix i .~ (2*(props!!posij) - posij) else pos & ix i .~ (props!!posij)
      | props!!posij < posij = if a!!i then pos & ix i .~ posij else pos & ix i .~ (props!!posij)
      | otherwise = pos & ix i .~ posij
    e'
      | props!!posij > posij = if e!!i then e & ix i .~ False else e
      | props!!posij == E = e & ix i .~ True
      | otherwise = e
    a'
      | props!!posij < posij = if a!!i then a & ix i .~ False else a
      | props!!posij == A = a & ix i .~ True
      | otherwise = a
    d' = if (props!!posij) == D then (d & ix i .~ True) else (d & ix i .~ False)

instance Show Game where
  show game@(G rows cols nplayers pos e a d drolls props turn) = go game 0

build :: [String] -> Game
build (l:ls) = build' (G 0 0 0 [] [] [] [] [] [] 0) (l:ls) 
  where
    build' game (l:ls) = build' (update game l) ls
    build' game [] = game

update :: Game -> String -> Game
update (G rows cols nplayers pos e a d drolls props turn) s = case (words s) of
    "board":l -> G (nums!!0) (nums!!1) nplayers pos e a d drolls [i | i <- [0..(nums!!0)*(nums!!1)]] turn
    "players":l -> G rows cols (nums!!0) [0 | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] [False | _ <- [1..(nums!!0)]] drolls props turn
    "dice":l -> G rows cols nplayers pos e a d (cycle nums) props turn
    "ladder":l -> G rows cols nplayers pos e a d drolls (props & ix (nums!!0) .~ (nums!!1)) turn
    "snake":l -> G rows cols nplayers pos e a d drolls (props & ix (nums!!0) .~ (nums!!1)) turn
    "powerup":"escalator":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const E) props) turn
    "powerup":"antivenom":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const A) props) turn
    "powerup":"double":l -> G rows cols nplayers pos e a d drolls (over (elements (flip elem nums)) (const D) props) turn
    "turns":l -> G rows cols nplayers pos e a d nums props (turn + (nums!!0))
    where
      nums = map read l :: [Int]

readFrom :: String -> Game
readFrom input = build (lines input)

main :: IO ()
main = do
  input <- getContents
  putStr $ show $ readFrom input

您的错误是由导入Data.ListData.Sequence引起的,这两个函数都提供了与Prelude中的函数名称相同的函数,因此它们存在名称冲突和模糊名称。

从这里开始工作,如果遇到任何问题,请更新具体问题,并确保包含您尝试解决问题的内容。