"Nessuna istanza per" l'errore - ma esiste l'istanza (tipo non corrisponde)

Question

ottengo il seguente errore dalla GHC per la mia biblioteca servo:

No instance for (GetEndpoint 
         (Verb 'GET 200 '[JSON] Position) 
         (Verb 'GET 200 '[JSON] Position) 
         'True) 
arising from a use of `callServer3' 

ma ho un esempio nel campo di applicazione, che sembra quello:

instance GetEndpoint (Verb n s ct a) (Verb n s ct a) 'True where 
    getEndpoint _ _ _ _ server = server 

che sembra esattamente come quello che un ghc non riesce a trovare. Sono un po 'confuso adesso.

codice completo può essere trovato qui:

• Instance definition - proprio alla fine del file.
• File triggering the error - codice pertinente anche nella parte inferiore.

Eventuali indizi? Grazie mille per ogni suggerimento!

Answer 1

L'istanza data ha tipo predefinito '*' per n s ct e a. O utilizzare tipi poli come per n oi tipi di cemento a destra:

(Verb (n :: k1) (s :: Nat) (ct :: [*]) a) 

la correttezza esempio sarebbe simile a questa:

instance GetEndpoint (Verb (n :: k1) (s :: Nat) (ct :: [*]) a) (Verb n s ct a) 'True where 
    getEndpoint _ _ _ _ server = server 

Se non si desidera attivare PolyKinds (ha introdotto una serie di altri errori), è possibile utilizzare il più ristretto StdMethod per n:

instance GetEndpoint (Verb (n :: StdMethod) (s :: Nat) (ct :: [*]) a) (Verb n s ct a) 'True where 
    getEndpoint _ _ _ _ server = server 

codice completo (compilazione e anche di lavoro come previsto), si possono trovare here.

Grazie ancora Carsten per questo aiuto davvero veloce!