小编Tie*_* Ho的帖子

我正在尝试为具有空地图的newtype创建模式同义词.

{-# Language PatternSynonyms #-}

import qualified Data.Map as Map

newtype StoreEnv = StoreEnv (Map.Map Int String)
   deriving (Eq, Show)

pattern EmptyStore :: StoreEnv
pattern EmptyStore = StoreEnv Map.empty

编译时我收到错误说"绑定位置的合格名称:Map.empty".我相信"Map.empty"应该属于我在newtype中声明的"Map.Map Int String"类型.

我的问题是是否有办法正确地为空地图添加别名.

我将不胜感激任何反馈.