Не в области: конструктор данных `Движение ' - PullRequest
Новая
       19

Не в области: конструктор данных `Движение '

1 голос
/ 14 января 2020

Я хочу создать функцию, которая меняет определенное значение в соответствии с переданной буквой. (Это в основном данные направления: Восток, Запад ....)

Код: 

data Movement  = N Int | S Int | E Int | W Int deriving (Eq, Show)

step :: Movement -> (Int, Int) -> (Int, Int)
step (Movement x h) (y, z) 
    | x == N = (y, z+h)
    | x == S = (y, z-h)
    | x == W = (y-h, z)
    | x == E = (y+h, z)

Пример: 

step (N 1) (239, 578) == (239, 579)
step (S 1) (240, 578) == (240, 577)
step (W 1) (239, 578) == (238, 578)
step (E 1) (239, 577) == (240, 577)
step (N 61) (239, 578) == (239,639)
step (N 2) (-4, 0) == (-4, 2)
step (E 1) (-4, 0) == (-3, 0)
step (S (-61)) (239, 578) == (239,639)

Я продолжаю получать

Не в области: конструктор данных `Движение '

сообщение об ошибке.

1 Ответ

8 голосов
/ 14 января 2020

Movement - это тип, а не значение. Вы не можете использовать это в шаблонах.

Далее, N и другие конструкторы являются функциями, и вы не можете == функций.

Вместо этого вам нужно использовать сопоставление с шаблоном, и забудь охранников. 

step :: Movement -> (Int, Int) -> (Int, Int)
step (N h) (y,z) = ...
step (S h) (y,z) = ...
step (W h) (y,z) = ...
step (E h) (y,z) = ...

Кроме того, можно изменить рефакторинг вашего типа: 

data Direction = N | S | E | W deriving (Eq, Show)
data Movement  = Movement Direction Int deriving (Eq, Show)

step :: Movement -> (Int, Int) -> (Int, Int)
step (Movement x h) (y,z) 
    | x == N = (y, z+h)
    | x == S = (y, z-h)
    | x == W = (y-h, z)
    | x == E = (y+h, z)

Теперь ваш код работает, поскольку Movement также является конструктором данных, а N и его друзья больше не работает. Я все же предпочел бы избегать охранников и использовать 

step :: Movement -> (Int, Int) -> (Int, Int)
step (Movement N h) (y,z) = (y, z+h)
step (Movement S h) (y,z) = (y, z-h)
step (Movement W h) (y,z) = (y-h, z)
step (Movement E h) (y,z) = (y+h, z)
...