к
Size: a a a
2021 June 01
YS
так теперь оно однозначное
YS
AllowAmbiguousTypes можно убрать кажется
YS
Но кмк лучше AllowAmbiguousTypes и тайп параметры
OS
```
```
Not in scope: type variable ‘db’
Perhaps you meant type constructor or class ‘Db’ (line 10)
|
29 | id1 <- (runDb @db) $ nextId db```
YS
forall db .
YS
надо в сигнатуру
YS
и ScopedTypeVariables
YS
или как-то так расширение(
OS
вот так работает:
{-# LANGUAGE TypeFamilies, ScopedTypeVariables, TypeApplications, AllowAmbiguousTypes #-}
...
run :: forall db . Db db => db -> IO ()
run db = do
id1 <- (runDb @db) $ nextId db
print id1
{-# LANGUAGE TypeFamilies, ScopedTypeVariables, TypeApplications, AllowAmbiguousTypes #-}
...
run :: forall db . Db db => db -> IO ()
run db = do
id1 <- (runDb @db) $ nextId db
print id1
OS
но всё равно хочется избавиться от TypeApplications, чтобы просто писать runDb. Если я правильно помню, вы говорили, что это можно решить, прописав в класс фандепы? Как это сделать?
OS
```
```
не поделитесть статьей или вики на эту тему?
parse error on input ‘|’
|
12 | type M a = result :: Type -> Type | result -> a
| ^```
не поделитесть статьей или вики на эту тему?
OS
благодарю @kana_sama @Ordinary_man
[
ну, видимо, да