generic-random 1.1.0.1 → 1.1.0.2

raw patch · 4 files changed

+28/−6 lines, 4 filesdep ~basePVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: base

API changes (from Hackage documentation)

Files

• CHANGELOG.md +4/−0
• generic-random.cabal +3/−1
• src/Generic/Random.hs +1/−0
• src/Generic/Random/Internal/Generic.hs +20/−5

@@ -1,5 +1,9 @@ https://github.com/Lysxia/generic-random/blob/master/changelog.md +# 1.1.0.2++- Improved performance+ # 1.1.0.1  - Fix build for GHC<8

@@ -1,10 +1,12 @@ name:                generic-random-version:             1.1.0.1+version:             1.1.0.2 synopsis:            Generic random generators description:     For more information     .     - "Generic.Random.Tutorial"+    .+    - http://blog.poisson.chat/posts/2018-01-05-generic-random-tour.html     .     - https://byorgey.wordpress.com/2016/09/20/the-generic-random-library-part-1-simple-generic-arbitrary-instances/ 

@@ -3,6 +3,7 @@ -- For more information: -- -- - "Generic.Random.Tutorial"+-- - http://blog.poisson.chat/posts/2018-01-05-generic-random-tour.html -- - https://byorgey.wordpress.com/2016/09/20/the-generic-random-library-part-1-simple-generic-arbitrary-instances/  {-# LANGUAGE CPP #-}

@@ -1,6 +1,5 @@ {-# OPTIONS_HADDOCK not-home #-} -{-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE CPP #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE DeriveFunctor #-}@@ -271,7 +270,7 @@   -- | Type-level options for 'GArbitrary'.-data Options (s :: Sizing) (g :: [Type]) = Options+newtype Options (s :: Sizing) (g :: [Type]) = Options   { _generators :: GenList g   } @@ -346,17 +345,21 @@  instance GA opts f => GA opts (M1 D c f) where   ga z w n = fmap M1 (ga z w n)+  {-# INLINE ga #-}  instance (GASum opts f, GASum opts g) => GA opts (f :+: g) where   ga = gaSum'+  {-# INLINE ga #-}  instance GAProduct (SizingOf opts) opts f => GA opts (M1 C c f) where   ga z _ _ = fmap M1 (gaProduct (proxySizing z) z)+  {-# INLINE ga #-}  gaSum' :: GASum opts f => opts -> Weights_ f -> Int -> Gen (f p) gaSum' z w n = do   i <- choose (0, n-1)   gaSum z i w+{-# INLINE gaSum' #-}  class GASum opts f where   gaSum :: opts -> Int -> Weights_ f -> Gen (f p)@@ -365,9 +368,11 @@   gaSum z i (N a n b)     | i < n = fmap L1 (gaSum z i a)     | otherwise = fmap R1 (gaSum z (i - n) b)+  {-# INLINE gaSum #-}  instance GAProduct (SizingOf opts) opts f => GASum opts (M1 i c f) where   gaSum z _ _ = fmap M1 (gaProduct (proxySizing z) z)+  {-# INLINE gaSum #-}   class GAProduct (s :: Sizing) opts f where@@ -375,14 +380,17 @@  instance GAProduct' opts f => GAProduct 'Unsized opts f where   gaProduct _ = gaProduct'+  {-# INLINE gaProduct #-}  instance (GAProduct' opts f, KnownNat (Arity f)) => GAProduct 'Sized opts f where   gaProduct _ opts = sized $ \n -> resize (n `div` arity) (gaProduct' opts)     where       arity = fromInteger (natVal (Proxy :: Proxy (Arity f)))+  {-# INLINE gaProduct #-}  instance {-# OVERLAPPING #-} GAProduct 'Sized opts U1 where   gaProduct _ _ = pure U1+  {-# INLINE gaProduct #-}   class GAProduct' opts f where@@ -390,15 +398,18 @@  instance GAProduct' opts U1 where   gaProduct' _ = pure U1-+  {-# INLINE gaProduct' #-}  instance (HasGenerators opts, ArbitraryOr (GeneratorsOf opts) (SelectorName d) c)   => GAProduct' opts (S1 d (K1 i c)) where   gaProduct' opts = fmap (M1 . K1) (arbitraryOr sel (generators opts))     where sel = Proxy :: Proxy (SelectorName d)+  {-# INLINE gaProduct' #-}  instance (GAProduct' opts f, GAProduct' opts g) => GAProduct' opts (f :*: g) where-  gaProduct' = (liftA2 . liftA2) (:*:) gaProduct' gaProduct'+  -- TODO: Why does this inline better than eta-reducing? (GHC-8.2)+  gaProduct' opts = (liftA2 . liftA2) (:*:) gaProduct' gaProduct' opts+  {-# INLINE gaProduct' #-}   type family Arity f :: Nat where@@ -411,16 +422,20 @@  instance {-# INCOHERENT #-} ArbitraryOr (a ': g) sel a where   arbitraryOr _ (gen :@ _) = gen+  {-# INLINE arbitraryOr #-}  instance {-# OVERLAPPABLE #-} ArbitraryOr g sel a => ArbitraryOr (b ': g) sel a where   arbitraryOr sel (_ :@ gens) = arbitraryOr sel gens+  {-# INLINE arbitraryOr #-}  instance Arbitrary a => ArbitraryOr '[] sel a where-  arbitraryOr _ Nil = arbitrary+  arbitraryOr _ _ = arbitrary+  {-# INLINE arbitraryOr #-}  #if __GLASGOW_HASKELL__ >= 800 instance {-# INCOHERENT #-} ArbitraryOr (Field n a ': g) ('Just n) a where   arbitraryOr _ (gen :@ _) = coerce gen+  {-# INLINE arbitraryOr #-}  type family SelectorName (d :: Meta) :: Maybe Symbol type instance SelectorName (MetaSel mn su ss ds) = mn