如何在PureScript列表中显示每个项目

时间:2018-02-13 22:53:11

标签: purescript

purescript列表中是否有foreach方法? foreach方法获取列表中的每个项目并返回一个单元。

是打印列表中每个项目的好方法。

编辑:我正在尝试下面建议的遍历方法,但我收到错误

import Data.Traversable (traverse)
removeDuplicate :: AddressBook -> AddressBook 
removeDuplicate = nubBy (\a b -> a.firstName == b.firstName && a.lastName == b.lastName)    
let dedup = removeDuplicate addressBook  
traverse (\a -> log (showEntry a)) dedup

Compiling Main
Error found:
in module Main
at src/Main.purs line 73, column 3 - line 73, column 49

  Could not match type

    List Unit

  with type

    Unit


while trying to match type Eff
                             ( console :: CONSOLE
                             | t1
                             )
                             t2
  with type Eff
              ( console :: CONSOLE
              | e0
              )
              Unit
while checking that expression (discard (logShow ((...) addressBook))) (\__unused ->
                                                                          (discard (...)) (\__unused ->
                                                                                             ...
                                                                                          )
                                                                       )
  has type Eff
             ( console :: CONSOLE
             | e0
             )
             Unit
in value declaration main

where e0 is a rigid type variable
        bound at line 63, column 8 - line 78, column 38
      t2 is an unknown type
      t1 is an unknown type

See https://github.com/purescript/documentation/blob/master/errors/TypesDoNotUnify.md for more information,
or to contribute content related to this error.

2 个答案:

答案 0 :(得分:3)

当然,它存在。它被称为map。您当然可以使用它将函数a -> unit应用于数组的每个元素:

arr = [1, 2, 3]
map (\a -> unit) arr

然而,你的帖子的第二部分 - “它是一个打印列表的每个项目的好方法” - 不是真的。获取项目并返回单位的功能肯定无法打印任何内容。 PureScript是一种纯语言,纯函数不能在其中产生效果。

要打印某些内容,您需要一个返回EffAff的函数,例如log。要在数组(或其他容器)上应用此类函数,请使用traverse

arr = [1, 2, 3]
traverse (\a -> log $ show a) arr

traverse将函数应用于每个元素,并按元素的顺序执行生成的效果。

答案 1 :(得分:3)

您可以使用for_来执行"应用操作"在FoldableListArray拥有Foldable个实例)的每个项目上,忽略此操作结果:

module Main where

import Control.Monad.Eff.Console (logShow)
import Data.Foldable (for_)
import Prelude

main = do
  -- I'm using an Array here for simplicity, but the same goes for List
  let l = [1, 2, 3, 4]

  for_ l \i → logShow i

List还有Show个实例(second on the instances list)(和数组也 -  last on the instances list)因此,如果logShow包含Show个实例的类型值,则可以直接使用new Promise进行打印。