HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Moduleeither-n-0.1.0.0Haskell2010

Data.Lens.Injection.Injection5

The fifth injection of a sum type, as a prism. The sum-type dual of Control.Lens.Field5.

  • 1 class
  • Packageeither-n-0.1.0.0
  • Exports1
  • LanguageHaskell2010
  • LicenceBSD-3-Clause
  • SourceInjection5.hs
classclass Injection5 s t a b | s -> a, t -> b, s b -> t, t a -> s where
#

Access the fifth constructor of a sum type.

Where Control.Lens._5 is the fifth projection out of a product, _I5 is the fifth injection into a sum.

The default implementation is the prism to the fifth constructor of a Generic type, injection (Proxy :: Proxy 4).

Example3 expressions
data T = C1 | C2 | C3 | C4 | C5 Int | C6 deriving (Show, Generic)instance Injection5 T T Int IntC5 1 ^? _I5Just 1
Example1 expression
C6 ^? _I5Nothing
Example1 expression
_I5 # 1 :: TC5 1

Methods