module Data.Digit.Enum
  ( -- * Binary
    enumBinaryNoZero
  , enumBinary
    -- * Octal
  , enumOctalNoZero
  , enumOctal
    -- * Decimal
  , enumDecimalNoZero
  , enumDecimal
    -- * Hexadecimal
  , enumHexadecimalNoZero
  , enumHexadecimal
    -- * HEXADECIMAL
  , enumHEXADECIMALNoZero
  , enumHEXADECIMAL
  )
where

import Control.Lens.Review ((#))
import Data.Digit.Binary
import Data.Digit.Decimal
import Data.Digit.Hexadecimal.LowerCase
import Data.Digit.Hexadecimal.UpperCase
import Data.Digit.Octal

-- | @[1]@
enumBinaryNoZero :: BinaryNoZero d => [d]
enumBinaryNoZero :: [d]
enumBinaryNoZero = [Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()]

-- | @[0, 1]@
enumBinary :: Binary d => [d]
enumBinary :: [d]
enumBinary = [Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D0 d => Prism' d ()
d0 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# (), Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()]

-- | @[1..7]@
enumOctalNoZero :: OctalNoZero d => [d]
enumOctalNoZero :: [d]
enumOctalNoZero =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[0..7]@
enumOctal :: Octal d => [d]
enumOctal :: [d]
enumOctal =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D0 d => Prism' d ()
d0 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[1..9]@
enumDecimalNoZero :: DecimalNoZero d => [d]
enumDecimalNoZero :: [d]
enumDecimalNoZero =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[0..9]@
enumDecimal :: Decimal d => [d]
enumDecimal :: [d]
enumDecimal =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D0 d => Prism' d ()
d0 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[1..9] ++ [a..f]@
enumHexadecimalNoZero :: HexadecimalNoZero d => [d]
enumHexadecimalNoZero :: [d]
enumHexadecimalNoZero =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Da d => Prism' d ()
da (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Db d => Prism' d ()
db (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Dc d => Prism' d ()
dc (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Dd d => Prism' d ()
dd (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. De d => Prism' d ()
de (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Df d => Prism' d ()
df (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[0..9] ++ [a..f]@
enumHexadecimal :: Hexadecimal d => [d]
enumHexadecimal :: [d]
enumHexadecimal =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D0 d => Prism' d ()
d0 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Da d => Prism' d ()
da (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Db d => Prism' d ()
db (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Dc d => Prism' d ()
dc (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Dd d => Prism' d ()
dd (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. De d => Prism' d ()
de (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. Df d => Prism' d ()
df (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[1..9] ++ [A..F]@
enumHEXADECIMALNoZero :: HEXADECIMALNoZero d => [d]
enumHEXADECIMALNoZero :: [d]
enumHEXADECIMALNoZero =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DA d => Prism' d ()
dA (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DB d => Prism' d ()
dB (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DC d => Prism' d ()
dC (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DD d => Prism' d ()
dD (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DE d => Prism' d ()
dE (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DF d => Prism' d ()
dF (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]

-- | @[0..9] ++ [A..F]@
enumHEXADECIMAL :: HEXADECIMAL d => [d]
enumHEXADECIMAL :: [d]
enumHEXADECIMAL =
  [ Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D0 d => Prism' d ()
d0 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D1 d => Prism' d ()
d1 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D2 d => Prism' d ()
d2 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D3 d => Prism' d ()
d3 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D4 d => Prism' d ()
d4 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D5 d => Prism' d ()
d5 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D6 d => Prism' d ()
d6 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D7 d => Prism' d ()
d7 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D8 d => Prism' d ()
d8 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. D9 d => Prism' d ()
d9 (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DA d => Prism' d ()
dA (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DB d => Prism' d ()
dB (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DC d => Prism' d ()
dC (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DD d => Prism' d ()
dD (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DE d => Prism' d ()
dE (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  , Tagged () (Identity ()) -> Tagged d (Identity d)
forall d. DF d => Prism' d ()
dF (Tagged () (Identity ()) -> Tagged d (Identity d)) -> () -> d
forall t b. AReview t b -> b -> t
# ()
  ]