синтаксис в выражении - Haskell

Question

Im new to Haskell !! Я написал этот код:

import Data.List 
inputIndex :: [String] -> [String] -> Bool 
inputIndex listx input = and [x `elem` listx |x <- input] 
inputIndex = if inputIndex == true 
       then putStrLn ("ok") 

Это прекрасно работает без if заявления, но когда я ставлю if заявление следующее сообщение об ошибке показано ниже:

Синтаксическая ошибка в выражении (неожиданный `}», возможно, из-за плохой компоновки)

Что я здесь делаю неправильно?

Благодаря

Answer 1

Несколько вещей, которые здесь не так:

• Вы будете потребность клаузула еще.
• True должен быть капитализирован.
• inputIndex должен всегда принимать два аргумента (сейчас это не так, в последнем случае).

Я думаю, вы хотите что-то вроде этого ...

inputIndex :: [String] -> [String] -> IO() 
inputIndex listx input = if inputIndex' listx input 
          then putStrLn ("ok") 
          else putStrLn ("not ok") 
    where 
    inputIndex' :: [String] -> [String] -> Bool 
    inputIndex' listx input = and [x `elem` listx |x <- input] 

(Здесь я определил новую функцию с почти идентичным названием, путем добавления премьера/апострофа. Определяя его в where , это видно только для внешней функции inputIndex. Вы можете называть это вспомогательной функцией, если хотите, я мог бы также выбрать совершенно другое имя, но я не могущественный.)

Вы также можете конденсировать это к следующему (что также более общее):

allPresent :: (Eq t) => [t] -> [t] -> IO() 
allPresent xs ys = putStrLn (if and [y `elem` xs | y <- ys] then "ok" else "not ok") 

Answer 2

1. Это "True", а не "истина".
2. Ваша вторая реализация inputIndex несовместима с первой. Все ваши шаблоны для функции должны иметь одну и ту же подпись ([String] -> [String] -> Bool)
3. Ошибка, которую вы видите здесь, не генерируется этим кодом, так как здесь нет '}'.
4. putStrLn имеет подпись String -> IO(), в то время как ваш inputIndex выглядит так, будто он должен быть чистым - просто верните значение и распечатайте его в другом месте.