Typ Unterschrift braucht einen Typ, der nicht von der Bibliothek exportiert wird

Question

Also ich die Aeson Bibliothek wurde unter Verwendung, und dachte, es wäre sehr nützlich sein, die folgende Funktion zu haben:

v .:! f = liftM (fromMaybe mempty) (v .:? f) 

Als ich GHCi für die fragen Typ, erhalte ich:

(.:!) 
    :: (Monoid r, FromJSON r) => 
    Object 
    -> T.Text -> aeson-0.7.0.6:Data.Aeson.Types.Internal.Parser r 

jedoch Parser selbst werden jedoch nicht exportiert entweder durch Data.Aeson oder Data.Aeson.Types. Muss ich keine Typ-Signatur für die von mir definierte Funktion haben?

Alternativ, wenn jemand einen besseren Weg zu erreichen, was ich versuche zu tun, würde ich an Ihren Vorschlägen interessiert sein.

Answer 1

Gegenwärtig ist es in Haskell durchaus möglich, Code zu schreiben, der einen abgeleiteten Typ hat, den Sie wegen nicht exportierter Symbole nicht selbst schreiben können. Es gab eine discussion about this auf der Haskell-Bibliotheks-Mailingliste im April 2014, wo keine feste Schlussfolgerung erreicht wurde, aber der allgemeine Sinn war, das aktuelle Verhalten beizubehalten. Die allgemeine Regel besagt, dass wenn eine Spracherweiterung erforderlich wäre, um die Typunterschrift zu schreiben, die abgeleitet werden würde, müssen Sie diese Erweiterung aktivieren, auch wenn Sie die Signatur nicht explizit einschließen.