[vinyl-handle]: split methods between providers

diff --git a/vinyl-handle/domain/TemperatureProvider.hs b/vinyl-handle/domain/TemperatureProvider.hs
index 8a2eec5ff548c83c94cb8daa9846571fc5315d75..8dacb91a067ad2f65d9192693846787e46841220 100644 (file)
--- a/vinyl-handle/domain/TemperatureProvider.hs
+++ b/vinyl-handle/domain/TemperatureProvider.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
 
 module TemperatureProvider where
 
@@ -11,3 +12,6 @@ type Temperature = Int
 type Methods = '[ '("getTemperatureData", (Location -> Day -> IO Temperature)) ]
 
 type Handle = HandleRec Methods
+
+getTemperatureData :: Handle -> Location -> Day -> IO Temperature
+getTemperatureData = getMethod @"getTemperatureData"

diff --git a/vinyl-handle/domain/WeatherProvider.hs b/vinyl-handle/domain/WeatherProvider.hs
index 90da6964240c31e4673daa47307c26e388f36350..6dd72458a1fe2c4e3a32a77dd3fb43fdd7384d53 100644 (file)
--- a/vinyl-handle/domain/WeatherProvider.hs
+++ b/vinyl-handle/domain/WeatherProvider.hs
@@ -22,8 +22,5 @@ type Handle = HandleRec Methods
 getWeatherData :: Handle -> Location -> Day -> IO WeatherData
 getWeatherData = getMethod @"getWeatherData"
 
-getTemperatureData :: Handle -> Location -> Day -> IO T.Temperature
-getTemperatureData = getMethod @"getTemperatureData"
-
 getWindData :: Handle -> Location -> Day -> IO W.WindSpeed
 getWindData = getMethod @"getWindData"

diff --git a/vinyl-handle/domain/WindProvider.hs b/vinyl-handle/domain/WindProvider.hs
index bab1fb7b89eab6707ac8f5193f13424d47f55b97..01f2a62b5417a7112067ee5915d6954f9af9f4b9 100644 (file)
--- a/vinyl-handle/domain/WindProvider.hs
+++ b/vinyl-handle/domain/WindProvider.hs
@@ -1,5 +1,6 @@
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE OverloadedStrings #-}
+{-# LANGUAGE TypeApplications #-}
 
 module WindProvider where
 
@@ -12,3 +13,5 @@ type Methods = '[ '("getWindData", (Location -> Day -> IO WindSpeed)) ]
 
 type Handle = HandleRec Methods
 
+getWindData :: Handle -> Location -> Day -> IO WindSpeed
+getWindData = getMethod @"getWindData"