{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE TypeFamilies #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.RAVec.NonEmpty.Optics (
ix, ix',
) where
import Data.BinP.PosP (PosP (..), PosP' (..))
import Prelude ()
import qualified Optics.Core as L
import Data.RAVec.NonEmpty
import Data.RAVec.NonEmpty.Optics.Internal
ix :: PosP b -> L.Lens' (NERAVec b a) a
ix :: forall (b :: BinP) a. PosP b -> Lens' (NERAVec b a) a
ix PosP b
i = LensVL (NERAVec b a) (NERAVec b a) a a
-> Lens (NERAVec b a) (NERAVec b a) a a
forall s t a b. LensVL s t a b -> Lens s t a b
L.lensVL (PosP b -> LensLikeVL' f (NERAVec b a) a
forall (f :: * -> *) (b :: BinP) a.
Functor f =>
PosP b -> LensLikeVL' f (NERAVec b a) a
ixVL PosP b
i)
ix' :: PosP' n b -> L.Lens' (NERAVec' n b a) a
ix' :: forall (n :: Nat) (b :: BinP) a.
PosP' n b -> Lens' (NERAVec' n b a) a
ix' PosP' n b
i = LensVL (NERAVec' n b a) (NERAVec' n b a) a a
-> Lens (NERAVec' n b a) (NERAVec' n b a) a a
forall s t a b. LensVL s t a b -> Lens s t a b
L.lensVL (PosP' n b -> LensLikeVL' f (NERAVec' n b a) a
forall (f :: * -> *) (n :: Nat) (b :: BinP) a.
Functor f =>
PosP' n b -> LensLikeVL' f (NERAVec' n b a) a
ixVL' PosP' n b
i)
instance L.Each (PosP n) (NERAVec n a) (NERAVec n b) a b where
instance L.Each (PosP' n m) (NERAVec' n m a) (NERAVec' n m b) a b where
type instance L.Index (NERAVec b a) = PosP b
type instance L.IxValue (NERAVec b a) = a
type instance L.Index (NERAVec' n b a) = PosP' n b
type instance L.IxValue (NERAVec' n b a) = a
instance L.Ixed (NERAVec b a) where
type IxKind (NERAVec b a) = L.A_Lens
ix :: Index (NERAVec b a)
-> Optic'
(IxKind (NERAVec b a)) NoIx (NERAVec b a) (IxValue (NERAVec b a))
ix = PosP b -> Lens' (NERAVec b a) a
Index (NERAVec b a)
-> Optic'
(IxKind (NERAVec b a)) NoIx (NERAVec b a) (IxValue (NERAVec b a))
forall (b :: BinP) a. PosP b -> Lens' (NERAVec b a) a
ix
instance L.Ixed (NERAVec' n b a) where
type IxKind (NERAVec' n b a) = L.A_Lens
ix :: Index (NERAVec' n b a)
-> Optic'
(IxKind (NERAVec' n b a))
NoIx
(NERAVec' n b a)
(IxValue (NERAVec' n b a))
ix = PosP' n b -> Lens' (NERAVec' n b a) a
Index (NERAVec' n b a)
-> Optic'
(IxKind (NERAVec' n b a))
NoIx
(NERAVec' n b a)
(IxValue (NERAVec' n b a))
forall (n :: Nat) (b :: BinP) a.
PosP' n b -> Lens' (NERAVec' n b a) a
ix'