base: documentation for Nat HasResolution

libraries/base/Data/Fixed.hs

@@ -83,6 +83,7 @@ instance (Typeable k,Typeable a) => Data (Fixed (a :: k)) where
 class HasResolution (a :: k) where
     resolution :: p a -> Integer
 
+-- | For example, @Fixed 1000@ will give you a 'Fixed' with a resolution of 1000.
 instance KnownNat n => HasResolution n where
     resolution _ = natVal (Proxy :: Proxy n)
 

libraries/base/changelog.md

@@ -5,6 +5,8 @@
 
   * Add a `TestEquality` instance for the `Compose` newtype.
 
+  * Add `HasResolution` instances for `Nat`s.
+
 ## 4.13.0.0 *TBA*
   * Bundled with GHC *TBA*