diff options
| author | Henning Thielemann <git@henning-thielemann.de> | 2018-03-29 21:37:22 +0200 |
|---|---|---|
| committer | Henning Thielemann <git@henning-thielemann.de> | 2018-03-29 21:37:22 +0200 |
| commit | 9c1f355e4dfc1ae745b4b22471a103a3754a6278 (patch) | |
| tree | dd64d14c729e31ae23b651db8c21434c257cab04 /packages/base/src/Internal | |
| parent | d83b17190029c11e3ab8b504e5cdc917f5863120 (diff) | |
base:Internal.Numeric.ComplexOf: turn from type function to type synonym
Now it is obvious for GHC that (ComplexOf a) is always a Complex type.
Diffstat (limited to 'packages/base/src/Internal')
| -rw-r--r-- | packages/base/src/Internal/Numeric.hs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/packages/base/src/Internal/Numeric.hs b/packages/base/src/Internal/Numeric.hs index c9ef0c5..d478984 100644 --- a/packages/base/src/Internal/Numeric.hs +++ b/packages/base/src/Internal/Numeric.hs | |||
| @@ -788,13 +788,7 @@ type instance RealOf (Complex Float) = Float | |||
| 788 | type instance RealOf I = I | 788 | type instance RealOf I = I |
| 789 | type instance RealOf Z = Z | 789 | type instance RealOf Z = Z |
| 790 | 790 | ||
| 791 | type family ComplexOf x | 791 | type ComplexOf x = Complex (RealOf x) |
| 792 | |||
| 793 | type instance ComplexOf Double = Complex Double | ||
| 794 | type instance ComplexOf (Complex Double) = Complex Double | ||
| 795 | |||
| 796 | type instance ComplexOf Float = Complex Float | ||
| 797 | type instance ComplexOf (Complex Float) = Complex Float | ||
| 798 | 792 | ||
| 799 | type family SingleOf x | 793 | type family SingleOf x |
| 800 | 794 | ||