Как присвоить значение из монады IO квалифицированному конструктору RankNType
(ОБНОВЛЕНО)
Я сделал интерфейс, используяСвободная Монада в хранилище общих данных. Я хочу поместить определенный интерпретатор (:: DataStore a -> IO a), выбранный пользователем во время выполнения, в монаду состояния вместе с некоторой другой информацией. Я не могу ничего положить в это поле в структуре данных.
Как поместить значение в поле, определенное как тип более высокого ранга?
Ниже приведен минимальный пример:
{-# LANGUAGE RankNTypes, DeriveFunctor #-}
data ProgramState = PS { -- line 3
[...]
, storageInterface :: (forall a. DataStore a -> IO a)
}
data DataStoreF next =
Create Asset ( String -> next)
| Read String ( Asset -> next)
| Update Asset ( Bool -> next)
| UpdateAll [Asset] ( Bool -> next)
| [...]
deriving Functor
type DataStore = Free DataStoreF
runMemory :: (IORef (Map String Asset)) -> DataStore a -> IO a
runMemory ms (Pure a) = return a
runMemory ms (Free Create asset next) = [...]
runMemory ms (Free Read str next) = [...]
[...]
pickStorageInterface :: IO (DataStore a -> IO a)
pickStorageInterface = do
opts <- parseOptions
case (storage opts) of
MemoryStorage ->
ms <- readAssetsFromDisk
return $ runMemory ms
SomeOtherStorage -> [...]
restOfProgram :: StateT ProgramState IO
restOfProgram = [...]
main = do
si <- pickStorageInterface
let programState = PS { storageInterface = si} -- line 21
evalState restOfProgram programState
Когда я пытаюсь сделать это, GHC жалуется, что:
Main.hs: << Line 21 >>
Couldn't match type `a0' with `a'
because type variable `a' would escape its scope
This (rigid, skolem) type variable is bound by
a type expected by the context: DataStore a -> IO a
at Main.hs <<line 3>>
Expected type: DataStore a -> IO a
Actual type: DataStore a0 -> IO a0
In the `storageInterface' field of a record
[...]
ОБНОВИТЬ
Мой оригинальный минимальный пример был минимальным. Некоторые дальнейшие эксперименты показывают, что проблема возникает, когда мне нужно загрузить интерфейс в монаду ввода-вывода, чтобы я мог прочитать параметры командной строки. Я обновил пример, чтобы включить эту проблему. Зная это, я смогу обойти это.
Интересный GHCI говорит мне, что результаты функции типаIO (DataStore a -> IO a)
являетсяDataStore GHC.Prim.Any -> IO GHC.Prim.Any
это не то, что я ожидал.