Hoogle Search
Within Stackage Nightly 2026-06-22 (ghc-9.12.4)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
setField :: forall (f :: Symbol) s a . HasField' f s a => a -> s -> sgeneric-lens Data.Generics.Product.Fields >>> setField @"age" 60 human Human {name = "Tunyasz", age = 60, address = "London", other = False}setPosition :: forall (i :: Nat) s a . HasPosition' i s a => a -> s -> sgeneric-lens Data.Generics.Product.Positions >>> setPosition @2 60 human Human {name = "Tunyasz", age = 60, address = "London"}setTyped :: HasType a s => a -> s -> sgeneric-lens Data.Generics.Product.Typed Set field at type.
setComp :: Strategy r => Comp -> Array r ix e -> Array r ix emassiv Data.Massiv.Array Set computation strategy for this array
Example
>>> :set -XTypeApplications >>> import Data.Massiv.Array >>> a = singleton @DL @Ix1 @Int 0 >>> a Array DL Seq (Sz1 1) [ 0 ] >>> setComp (ParN 6) a -- use 6 capabilities Array DL (ParN 6) (Sz1 1) [ 0 ]
setComp :: Strategy r => Comp -> Array r ix e -> Array r ix emassiv Data.Massiv.Core Set computation strategy for this array
Example
>>> :set -XTypeApplications >>> import Data.Massiv.Array >>> a = singleton @DL @Ix1 @Int 0 >>> a Array DL Seq (Sz1 1) [ 0 ] >>> setComp (ParN 6) a -- use 6 capabilities Array DL (ParN 6) (Sz1 1) [ 0 ]
setDim' :: (HasCallStack, Index ix) => ix -> Dim -> Int -> ixmassiv Data.Massiv.Core.Index Change the value of a specific dimension within the index. See setDimM for a safer version and setDimension for a type safe version.
Examples
>>> setDim' (2 :> 3 :> 4 :. 5) 3 10 2 :> 10 :> 4 :. 5
setDimM :: (Index ix, MonadThrow m) => ix -> Dim -> Int -> m ixmassiv Data.Massiv.Core.Index Set the value for an index at specified dimension.
setDimension :: forall ix (n :: Natural) . IsIndexDimension ix n => ix -> Dimension n -> Int -> ixmassiv Data.Massiv.Core.Index Type safe way to set value of index at a particular dimension.
Examples
>>> setDimension (2 :> 3 :> 4 :. 5) Dim4 10 10 :> 3 :> 4 :. 5
setSzM :: (MonadThrow m, Index ix) => Sz ix -> Dim -> Sz Int -> m (Sz ix)massiv Data.Massiv.Core.Index Example
>>> import Data.Massiv.Core.Index >>> setSzM (Sz2 2 3) 2 (Sz1 1) :: IO Sz2 Sz (1 :. 3) >>> setSzM (Sz2 2 3) 3 (Sz1 1) :: IO Sz2 *** Exception: IndexDimensionException: (Dim 3) for (2 :. 3)
-
primitive-unlifted Data.Primitive.Unlifted.Array No documentation available.