Merge pull request #53 from thomashoneyman/master

garyb · web-flow · commit 8d6b4367c229 · 2018-06-12T14:17:27.000-06:00
Add DivisionRing instance for ApproxNumber
diff --git a/src/Test/StrongCheck/Data/ApproxNumber.purs b/src/Test/StrongCheck/Data/ApproxNumber.purs
@@ -39,6 +39,9 @@ instance ringApproxNumber :: Ring ApproxNumber where
 
 instance commutativeRingApproxNumber :: CommutativeRing ApproxNumber
 
+instance divisionRingApproxNumber :: DivisionRing ApproxNumber where
+  recip (ApproxNumber x) = ApproxNumber (1.0 / x)
+
 instance euclideanRingApproxNumber :: EuclideanRing ApproxNumber where
   degree (ApproxNumber x) = degree x
   div (ApproxNumber x) (ApproxNumber y) = ApproxNumber (x / y)
