Ismorphismen für unidirektionales Muster-Synonym manuell eingeben

Question

Es gibt wahrscheinlich keinen Weg, dies zu tun, aber ich wollte nur für den Fall fragen.

Ich habe einen Datentyp, der ein einfaches Tupel wie folgt ist:

data Tup a = T a a 

ich ein Muster Synonym wie diese:

pattern (:?) ::() => Floating a => a -> a -> Tup a 
pattern (x :? y) <- T x (sqrt->y) 

Die auf T x y paßt, gibt aber y verwurzelt Platz entfernt. so:

let (_ :? y) = T 1 4 in y 

ist

2.0 

Ich würde auch verwenden :? als Konstrukteur gerne in der Lage sein, so würde ich coole Dinge tun können wie:

1 :? 2 

Auswertung zu

T 1.0 4.0 

natürlich Ich müsste den Isomorphismus manuell angeben, aber gibt es irgendeine Syntax- oder Sprachfunktion, die es mir ermöglichen würde, dieses Verhalten zu erhalten?

Answer 1

Ab GHC 7.10 können Sie

pattern (:?) ::() => Floating a => a -> a -> Tup a 
pattern (x :? y) <- T x (sqrt->y) where 
    x :? y = T x (y^2) 

Meine größte Sorge verwenden ist, dass sqrt und ^2 sind nicht ganz Umkehrungen, da sowohl negative Zahlen haben keine wirkliche Quadratwurzeln und weil Gleitpunktarithmetik ungenau .