Applicative, Alternative instances for Cayley.

CHANGELOG.markdown

@@ -1,5 +1,6 @@
 6 [unreleased]
 --------------
+* `Applicative`, `Alternative` instances for `Cayley`
 * Removed support for GHC < 8.6
 * Inverted dependency between `distributive` v1 and `profunctors` v6
 * `Data.Profunctor.Mapping`, `Data.Profunctor.Closed`, `Data.Profunctor.Rep`

src/Data/Profunctor/Cayley.hs

@@ -1,7 +1,11 @@
-{-# LANGUAGE DeriveTraversable #-}
-{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE CPP #-}
 {-# LANGUAGE DeriveDataTypeable #-}
+{-# LANGUAGE DeriveGeneric #-}
+{-# LANGUAGE DeriveTraversable #-}
+#if __GLASGOW_HASKELL__ < 900
 {-# LANGUAGE DerivingStrategies #-}
+#endif
+{-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE RankNTypes #-}
 {-# LANGUAGE StandaloneDeriving #-}
@@ -21,11 +25,13 @@ import Control.Arrow as A
 import Control.Category
 import Control.Comonad
 import Data.Biapplicative
+import Data.Bifoldable
 import Data.Bifunctor as B
 import Data.Bifunctor.Functor
-import Data.Bifoldable
 import Data.Bitraversable
 import Data.Data
+import Data.Functor.Compose
+import Data.Kind
 import Data.Profunctor
 import Data.Profunctor.Functor
 import Data.Profunctor.Monad
@@ -45,6 +51,10 @@ newtype Cayley f p a b = Cayley { runCayley :: f (p a b) }
 deriving stock instance (Functor f, Functor (p a)) => Functor (Cayley f p a)
 deriving stock instance (Foldable f, Foldable (p a)) => Foldable (Cayley f p a)
 deriving stock instance (Traversable f, Traversable (p a)) => Traversable (Cayley f p a)
+deriving via Compose f (p a :: Type -> Type)
+  instance (Applicative f, Applicative (p a)) => Applicative (Cayley f p a)
+deriving via Compose f (p a :: Type -> Type)
+  instance (Alternative f, Applicative (p a)) => Alternative (Cayley f p a)
 
 instance Functor f => ProfunctorFunctor (Cayley f) where
   promap = \f -> Cayley #. fmap f .# runCayley