"타입 변수가 모호합니다"예 : Hastock에서 지속됨 Yesod

Question

Yesst와 함께 Persistent를 사용하여 데이터베이스의 테이블에서 모든 필드 키 목록을 가져 오려고합니다. 다음과 같이 내 접근 코드는 다음과 같습니다 여기되지 하스켈 의미에서, 게임 감각의지도입니다 "지도":이 게임이다

getMapList :: Handler [Text] 
getMapList = runDB $ do 
    dbList <- selectList [] [] 
    return (map getMapName dbList) 
    where getMapName (Entity (Key (PersistText mapName)) _) = mapName 

하는 것으로.

내가 사용하는 데이터베이스 백엔드를 기반으로 유형 유추 엔진이 내 유형을 파악할 수 없다는 것을 나타내는 다음 오류가 발생합니다.

Handler/Create.hs:101:13: 
Couldn't match type `PersistEntityBackend t0' 
       with `persistent-1.2.3.0:Database.Persist.Sql.Types.SqlBackend' 
The type variable `t0' is ambiguous 
Possible fix: add a type signature that fixes these type variable(s) 
Expected type: PersistMonadBackend (SqlPersistT (HandlerT App IO)) 
    Actual type: PersistEntityBackend t0 
In a stmt of a 'do' block: dbList <- selectList [] [] 
In the second argument of `($)', namely 
    `do { dbList <- selectList [] []; 
     return (map getMapName dbList) }' 
In the expression: 
    runDB 
    $ do { dbList <- selectList [] []; 
     return (map getMapName dbList) } 

아무도이 문제를 해결하는 방법을 알고 있습니까? 이 형식 검사를 올바르게 수행하려면 형식 서명에 무엇을 추가해야합니까? 감사!

편집 : 내 모델이 같은 정의 : 내가 생각

GameMap 
    mapName Text 
    mapCode Text 
    UniqueGameMap mapName 
    deriving Typeable 

Answer 1

당신이 다른 곳에서 정의 된 테이블을 기반으로 필터 유형 서명을 추가해야합니다 (난 당신이 피하려고한다면 확실하지 않다 비록 어딘가에 컬럼 이름을 입력 할 필요가있다. ... 이것이 가능한지 확실하지 않다.).

이 기능이 유용합니까? 테이블이

share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase| 
KingsLadiesInWaiting 
    name String 
    skillLevel Int 
    deriving Show 
|] 

된 직후 정의되면 내가 한 때 단지 애드온

getMapList :: Handler [T.Text] 
getMapList = runDB $ do 
    dbList <- selectList ([]::[Filter (KingsLadiesInWaitingGeneric backend)]) [] 
    return (map getMapName dbList) 
    where getMapName (Entity (Key (PersistText mapName)) _) = mapName 

이 그것을 컴파일.

재미있는 게임을 만들어야합니다!