Hedgehog.Internal.State: Add instance Applicative Concrete

hedgehogqa · Jun 16, 2023 · 1ea0603 · 1ea0603
1 parent 2fd068c
commit 1ea0603
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,6 @@
 ## Version 1.2.1 (unreleased)
 
+* Add `instance Applicative Concrete` ([#493][493], [@endgame][endgame])
 * Export `Hedgehog.Internal.Seed.seed` ([#477][477], [@sol][sol])
 
 ## Version 1.2 (2022-08-28)
@@ -271,6 +272,8 @@
   https://github.com/jhrcek
 
 
+[493]:
+  https://github.com/hedgehogqa/haskell-hedgehog/pull/493
 [462]:
   https://github.com/hedgehogqa/haskell-hedgehog/pull/462
 [461]:

diff --git a/hedgehog/src/Hedgehog/Internal/State.hs b/hedgehog/src/Hedgehog/Internal/State.hs
@@ -135,6 +135,11 @@ newtype Concrete a where
   Concrete :: a -> Concrete a
   deriving (Eq, Ord, Functor, Foldable, Traversable)
 
+-- | @since 1.2.1
+instance Applicative Concrete where
+  pure = Concrete
+  Concrete f <*> Concrete x = Concrete $ f x
+
 instance Show a => Show (Concrete a) where
   showsPrec =
     showsPrec1