5

Data.Map.Map上にFunctorfmapを実装しようとしていますが、エラーが発生します。これを機能させるためにマップをリストに変換したり、リストから変換したりする必要はないと確信していますが、これは私がこれまでに思いついた中で最高です。

class Functor' f where
    fmap' :: (a -> b) -> f a -> f b

instance Functor' (Map.Map k) where
    fmap' f m
        | Map.null m = Map.empty
        | otherwise = let x:xs = Map.toList m
                          mtail = Map.fromList xs
                          a = fst x
                          b = snd x
                      in  Map.insert a (f b) (fmap f mtail)

エラー：

No instance for (Ord k)
  arising from a use of `Map.fromList'
In the expression: Map.fromList xs
In an equation for `mtail': mtail = Map.fromList xs
In the expression:
  let
    x : xs = Map.toList m
    mtail = Map.fromList xs
    a = fst x
    ....
  in Map.insert a (f b) (fmap f mtail)

何か案は？

4

1 に答える 1

2

このエラーは、型変数 k に Ord 述語が割り当てられていないことが原因です。これを行うだけです：

instance Ord k => Functor' (Map.Map k) where
于 2012-06-29T03:17:00.133 に答える