Injection17.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DefaultSignatures #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# OPTIONS_GHC -Wall #-}

-- | The seventeenth injection of a sum type, as a prism. The sum-type dual of 'Control.Lens.Field17'.
module Data.Lens.Injection.Injection17 (
  Injection17 (..),
) where

import Control.Lens (Prism)
import Data.Lens.Injection.Generic (GInjection, injection)
import Data.Proxy (Proxy (..))
import GHC.Generics (Generic, Rep)

{- $setup
>>> :set -XDeriveGeneric -XMultiParamTypeClasses -XFlexibleInstances
>>> import Control.Lens((^?), (#))
>>> import GHC.Generics(Generic)
-}

{- | Access the seventeenth constructor of a sum type.

Where 'Control.Lens._17' is the seventeenth projection out of a product, '_I17' is the seventeenth
injection into a sum.

The default implementation is the prism to the seventeenth constructor of a
'Generic' type, @'injection' (Proxy :: Proxy 16)@.

>>> data T = C1 | C2 | C3 | C4 | C5 | C6 | C7 | C8 | C9 | C10 | C11 | C12 | C13 | C14 | C15 | C16 | C17 Int | C18 deriving (Show, Generic)
>>> instance Injection17 T T Int Int
>>> C17 1 ^? _I17
Just 1

>>> C18 ^? _I17
Nothing

>>> _I17 # 1 :: T
C17 1
-}
class Injection17 s t a b | s -> a, t -> b, s b -> t, t a -> s where
  _I17 :: Prism s t a b
  default _I17 :: (Generic s, Generic t, GInjection 16 (Rep s) (Rep t) a b) => Prism s t a b
  _I17 =
    injection (Proxy :: Proxy 16)
  {-# INLINE _I17 #-}