下面定义的函数 mapRightR 仅更改 map 的设置内容,而不更改键并生成有效的关系类型。
是真的不能使用这个高级函数来定义 Functor Relation 实例,还是我的实现有误。
{-# LANGUAGE GADTs #-}
import Data.Map as M
import Data.Set as S
data Relation a b where
R :: (Ord a, Ord b) => Map a (Set b) -> Relation a b
instance Functor Relation where
fmap f r = mapRightR f r
mapRightR :: Ord b1 => (b2 -> b1) -> Relation a b2 -> Relation a b1
mapRightR f (R r) = R $ M.map (S.map f) r
谢谢,chepner。
我尝试了关系的另一种定义,使用 List 而不是 Set,它起作用了!
data Relation a b where
R :: (Ord a) => Map a [b] -> Relation a b
instance Functor (Relation a) where
fmap f r = mapRightR f r
mapRightR :: (b2 -> b1) -> Relation a b2 -> Relation a b1
mapRightR f (R r) = R $ M.map (L.map f) r
最佳答案
mapRightR
受到限制,它不适用于 任何 类型 b
,因为 fmap
要求:
-- Specialized for f ~ Relation c
fmap :: (a -> b) -> Relation c a -> Relation c b
但是
mapRightR :: Ord b => (a -> b) -> Relation c a -> Relation c b
用更明确的术语来说,Relation c
不是将 Hask 映射到 Hask 的内仿函数(Functor
typeclass represents),而是一个仿函数,它将 Hask 的子类别映射到 Hask,该子类别仅包含具有 Ord
实例的类型。 (我想我的描述是正确的;欢迎指正。)
关于haskell - 为什么在这个函数的类实例中不能接受这个保留结构的 "fmap"?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56281416/