GeneralizedNewtypeDeriving PersistFieldSql

Question

Ben Markdown newtype tanımlamaya çalışıyor ve otomatik olarak yeni örneklerini tanımlamak için GeneralizedNewtypeDeriving kullanıyorum başarısız Bu, GHC 7.8.2'nin yeni roles özelliklerine bağlı mı? Bu durumda, ne yapacağımı bilmiyorum, çünkü Markdown kendisi Metin üzerinde bir yeni tip ...

Veya bunun ile ilgili bir forallsqlType? Diğer tüm örnekler başarıyla otomatik olarak oluşturulduğunda bu hatanın nedeni nedir?

Teşekkür

Bu örneklerden bazıları çok benziyor

Answer 1

(özellikle Vector bir) ne yazık ki, şimdiki rol sistemiyle çalışmayan şeylerin GHC wiki Roles2 sayfasında.

Temelde sorun

class PersistField a => PersistFieldSql a where 
    sqlType :: Monad m => m a -> SqlType 

yılında monad m, kimin argüman, nominal role sahip bir tür kurucusu ile başlatılamaz ihtimalidir böylece m Markdown ve m MarkdownNewTolduklarını değil aynı temsil hatta Markdown ve MarkdownNewT eğer kendileri - ve mevcut rol sistemi, bu tür kuruculara izin vermemek için m'u kısıtlama yoluna sahip değildir.