Haskell表格功能使用Foldmap“超出范围”

问题描述

我正在尝试编写“制表”的定义，该函数可生成给定Map中值的单项式摘要， 对应给定Foldable集合中的键。

这是我的代码：

module Foldables where

import Prelude hiding (Applicative(..),any,concat)
import Data.Foldable
import Data.Semigroup

import qualified Data.Map as Map
import Data.Map (Map)
import Data.Map.Append (AppendMap(..))
import Data.List (intersperse)
import Data.Maybe (maybe)
import Data.Monoid (Any(..),Sum(..))
import GHC.Generics (Generic)

tabulate :: (Ord k,Foldable f,Monoid a) => (v -> a) -> Map k v -> f k -> a
tabulate t m = foldMap (tabulate . k v)

我收到此错误：

src/Foldables.lhs:295:27: error:
    • Data constructor not in scope: Tabulate :: b0 -> a
    • Perhaps you meant variable ‘tabulate’ (line 295)

src/Foldables.lhs:295:38: error:
    Variable not in scope: k :: t0 -> k -> b0

除了第二行括号中的内容外，请勿进行其他任何更改

更新：我想我更了解这一点。这是我的新代码。我意识到它不完整，但至少可以编译。

tabulate :: (Ord k,Monoid a) => (v -> a) -> Map k v -> f k -> a
tabulate t m = foldMap (\x -> mempty maybe [m] maybe map [t])

现在，它无法通过阴谋测试：

   Falsified (after 2 tests):
     <fun>
     fromList [(False,'\DC4'),(True,'\1054302')]
     [True,True]

无论我做什么似乎都会有所改变

我假设我需要的是某种条件，以防制表的第三个参数不是虚空的？

解决方法

这是一个提示（这是没有foldMap的解决方案，我认为这是问题的对象）：

如果我正确理解了您，您想要写下这样的内容：

tabulate :: (Ord k,Foldable t,Monoid a) => (v -> a) -> Map k v -> t k -> a
tabulate t m ks = let
                    c k x = (t <$> Data.Map.Strict.lookup k m) <> x
                  in case Prelude.foldr c Nothing ks of
                          Just s  -> s
                          Nothing -> mempty

我写下的案例是当ks的交集时起作用的（顺便说一句，使用foldMap的解决方案不需要此参数-如您所愿，它将被删除） post），其中地图的键（m）为空（即仅收集Nothings）。

在其他情况下，我们仅将键的容器折叠起来，类似于mappend的{​​{1}}-它首先尝试在地图中查找给定的键。如果成功，则将结果放入Maybe中，然后Just将转换fmap（给我们一个类半体）放入其中。如果不是，则返回t。在Nothing的{​​{1}}序列中，所有mappend被丢弃，并且Maybe内的结果与Nothing并置。请参见Just对mappend的定义（<>是Maybe的方法，它是<>的基础，因为Semigroup是mappend的子类）：

Monoid

---

我对Semigroup的解决方案：

-- | @since 4.9.0.0
instance Semigroup a => Semigroup (Maybe a) where
    Nothing <> b       = b
    a       <> Nothing = a
    Just a  <> Just b  = Just (a <> b)
    ...

它执行以下操作：foldMap的功能参数采用键tabulate :: (Ord k,Monoid a) => (v -> a) -> Map k v -> t k -> a tabulate t m = foldMap (\ k -> maybe mempty t (Data.Map.Strict.lookup k m)) 。如果不在地图中，则返回foldMap。否则-它返回k，其中mempty是t x得到的。