Automatische Haskell Ableiten Erklärung, dass

Question

hebt Gibt es eine Möglichkeit, den Compiler zu haben, leitet die Funktionalität, die ich manuell schreiben würde:

instance Class c => Class (Trans c) where 
    foo1 = lift foo1 
    foo2 = lift foo2 
    ... 
    foo999 = lift foo999 
    bar1 = \a b c -> lift $ bar1 a b c 
    ... 
    baz1 = lift . baz1 
    ... 

das heißt, wenn eine Art von Klasse Class in Trans gewickelt wird, ist es möglich, eine kostenlose Instanz von Class für Trans automatisch zu bekommen, ohne das schwere Heben zu tun :)?

Answer 1

Wenn lift selbst eine Typklassenfunktion ist, können Sie eine allgemeine Definition für alle Instanzen der Typklasse schreiben. Etwas wie:

instance (Class c, Trans t) => Class (t c)

Darauf achten, dass diese nicht mit anderen Fällen nicht überlappt, und ist das, was Sie für alle diese Typen wollen.

Als ein vollständigeres Beispiel funktioniert dieser Code, obwohl seine Ergebnisse manchmal überraschend sind.

{-# LANGUAGE FlexibleInstances #-} 

module Inst where 

import Control.Applicative (liftA2) 

instance (Applicative f, Num n) => Num (f n) where 
    (+) = liftA2 (+) 
    (*) = liftA2 (*) 
    abs = fmap abs 
    signum = fmap signum 
    fromInteger = pure . fromInteger 
    negate = fmap negate