В Haskell, какова область применения where при работе с охранниками?

Question

Я знаю, что они не выдерживают совпадения шаблонов (т. Е. Вам нужно переписать предложение «где» для каждого шаблона), но как работает обзор для охранников?

например. Это работает?

myFunction x1 x2 
    | x1 > x2 = addOne x1 
    | x1 < x2 = addOne x2 
    | otherwise = x1 
     where addOne = (1+) 

Или это должно быть так?

myFunction x1 x2 
    | x1 > x2 = addOne x1 
     where addOne = (1+) 
    | x1 < x2 = addOne x2 
     where addOne = (1+) 
    | otherwise = x1 

Answer 1

Первый правильный. Я бы посоветовал вам взглянуть на страницу let vs where на wiki haskell, это хорошее чтение (и в нем также объясняется, как справляться с областью обзора). Как примечание, вы никогда не должны повторять одни и те же определения ... это знак того, что ваш код должен быть структурирован по-другому.

Answer 2

Объем предложения where - это все уравнение, поэтому ваш первый пример работает.