String 从Int到特定字符串的列表

如果我想将[1,2,3]之类的int列表转换为[∧,∨,→] 因此，如果存在“1”，则将其转换为“1”∧' 等等。

我可能会分两步来做：

conv :: Int -> String
conv 1 = "∧"
conv 2 = "∨"
conv 3 = "→"

然后映射到：

change :: [Int] -> [String]
change = map conv

change [1,2,3] -- returns ["∧","∨","→"]

您甚至可以嵌入：

change = map conv
  where
    conv 1 = "∧"
    ...

---

我可能会分两步来做：

conv :: Int -> String
conv 1 = "∧"
conv 2 = "∨"
conv 3 = "→"

然后映射到：

change :: [Int] -> [String]
change = map conv

change [1,2,3] -- returns ["∧","∨","→"]

您甚至可以嵌入：

change = map conv
  where
    conv 1 = "∧"
    ...