2

一部のライブラリのマルチパラメータ型クラスを型シノニムに置き換える作業を行っています。型コンストラクターを使用する必要が生じるまで、すべてが順調に進んでいました。このコードの最後の 2 行はコンパイルされません。

{-# LANGUAGE TypeFamilies, FlexibleContexts #-}

import qualified Data.Map as M

-- | A regular arrangement of tiles.
class Eq (Index g) => Grid g where
  type Index g
  -- | Returns the indices of all tiles in a grid.
  indices :: g -> [Index g]
  -- plus other functions


-- | A map from tile positions in a grid to values. 
data LGridMap g v = LGridMap { toGrid :: g, toMap :: M.Map (Index g) v }

instance Grid g => Grid (LGridMap g v) where
  type Index (LGridMap g v) = Index g
  indices = indices . toGrid


class GridMap gm where
  type BaseGrid gm
  type Value gm

instance GridMap (LGridMap g v) where
  BaseGrid gm = g -- line 26
  Value = v       -- line 27

私が得るコンパイルエラーは次のとおりです。

../Amy.hs:26:3:
    Pattern bindings (except simple variables) not allowed in instance declarations
      BaseGrid gm = g

../Amy.hs:27:3:
    Pattern bindings (except simple variables) not allowed in instance declarations
      Value = v
Failed, modules loaded: none.

を定義するより良い方法はありますLGridMapか? LGridMapのインスタンスであることを指定する方法はありますGridMapか?

4

1 に答える 1

5

これはいけませんか？

instance GridMap (LGridMap g v) where
  type BaseGrid (LGridMap g v) = g
  type Value (LGridMap g v) = v
于 2013-02-27T17:51:26.523 に答える