如何解决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
得到的。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。