如何創建類型

Question

我工作的圖書館查詢Google Maps Web Services之間的映射。

我有一個類型類

class GoogleMapsRequest a 

限定構建URL和一個功能

queryAPI :: (FromJSON x, GoogleMapsRequest r) => r -> GoogleMaps x 

需要一些功能（GoogleMaps是一個簡單的MonadStack得到一些配置值等）。現在我只需要爲每個Web服務定義一些數據類型和實例。例如，我創建的地理編碼服務：

data GeocodeRequest = GeocodeAddress Text 

data GeocodeResponse = ... 

instance GoogleMapsRequest GeocodeRequest where 
    ... 

geocode :: GeocodeRequest -> GoogleMaps GeocodeResponse 
geocode = queryAPI 

我在這裏的問題是，我需要包裝queryAPI或指定響應類型明確，雖然響應類型基本上是清楚的，我可以做的東西，如：

geocode :: GeocodeRequest -> GoogleMaps Text 

，編譯，但總是失敗。

所以在這裏我的問題是：是否有任何很酷的功能或者也許這我沒有看到獲得請求和響應類型之間的這種映射一個顯而易見的解決方案？

我試圖讓一個MultiParamTypeClass：

class GoogleMapsRequest a b 
queryAPI :: (FromJSON x, GoogleMapsRequest r x) => r -> GoogleMaps x 

，但我不知道這是正確的做法，我總是得到一些「無法演繹出」錯誤形成使用該功能來構建網址。

謝謝！

Answer 1

如果我瞭解你，你想有一個功能queryAPI :: a -> M b其中類型a和b是相關的。你想有一個單獨的類型之間的「映射」列表。換句話說：

queryAPI :: MapsRequest -> M MapsResponse 
queryAPI :: GeocodeRequest -> M GeocodeResponse 
... 

有辦法做到這一點。但是他們會讓你的用戶感到困惑。特別是Haddock不會指出每個重載函數的實際類型。

你能簡單地爲每個API不同的功能？

queryMaps :: MapsRequest -> M MapsResponse 
queryGeocode :: GeocodeRequest -> M GeocodeResponse 
... 

換句話說，完全拋棄了類型類。包括我在內的許多人不鼓勵使用類型類來簡單地重載函數名稱。 （人們談論「法律」之類的Functor法律;也有像FromJSON，你需要使用類型類來處理遞歸類型的情況。）

編輯：正如你正確地指出，這主要是關於點用戶界面，即導出的API。你如何實施它取決於你;包裝通用queryAPI功能是慣用的。沒有太多有關於它的思想，你的使用情況似乎並沒有哭出來的類型類中實現，而是使用，正如你所指出的，通用的數據類型在內部（「stringly類型化」，爲雙關語去; queryAPI可能是ApiRequest -> M ByteString），然後導出更強類型的公共API。

Answer 2

在GHC中，多參數類型類或相關的（類型/數據）族將按照您的要求進行操作。如果您決定不使用類型類，那麼您仍然可以使用（類型/數據）族。

對於你這樣做MPTCs：

class GMR req resp | req -> resp where 
    queryAPI :: req -> GoogleMaps resp 

instance GMR GeocodeRequest GeocodeResponse where 
    ... 

對於相關類型的家庭，你會做這樣的事情：

class GoogleMapsRequest req where 
    type Response req 

queryApi :: (GoogleMapsRequest req, FromJSON (Response req)) => req -> GoogleMaps (Response req) 

instance GoogleMapsRequest GeocodeRequest where 
    type Response GoogleMapsRequest = GeocodeResponse