exchange package:vector-sized

exchange :: forall v n m a . (PrimMonad m, MVector v a) => MVector v n (PrimState m) a -> Finite n -> a -> m a
vector-sized Data.Vector.Generic.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange :: forall n m a . PrimMonad m => MVector n (PrimState m) a -> Finite n -> a -> m a
vector-sized Data.Vector.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange :: forall n m a . (PrimMonad m, Prim a) => MVector n (PrimState m) a -> Finite n -> a -> m a
vector-sized Data.Vector.Primitive.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange :: forall n m a . (PrimMonad m, Storable a) => MVector n (PrimState m) a -> Finite n -> a -> m a
vector-sized Data.Vector.Storable.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange :: forall n m a . (PrimMonad m, Unbox a) => MVector n (PrimState m) a -> Finite n -> a -> m a
vector-sized Data.Vector.Unboxed.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange' :: forall v n k a m p . (KnownNat k, PrimMonad m, MVector v a) => MVector v ((n + k) + 1) (PrimState m) a -> p k -> a -> m a
vector-sized Data.Vector.Generic.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange' :: forall n k a m p . (KnownNat k, PrimMonad m) => MVector ((n + k) + 1) (PrimState m) a -> p k -> a -> m a
vector-sized Data.Vector.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange' :: forall n k a m p . (KnownNat k, PrimMonad m, Prim a) => MVector ((n + k) + 1) (PrimState m) a -> p k -> a -> m a
vector-sized Data.Vector.Primitive.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange' :: forall n k a m p . (KnownNat k, PrimMonad m, Storable a) => MVector ((n + k) + 1) (PrimState m) a -> p k -> a -> m a
vector-sized Data.Vector.Storable.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
exchange' :: forall n k a m p . (KnownNat k, PrimMonad m, Unbox a) => MVector ((n + k) + 1) (PrimState m) a -> p k -> a -> m a
vector-sized Data.Vector.Unboxed.Mutable.Sized
O(1) Replace the element at a given type-safe position and return the old element, using Finite.
unsafeExchange :: forall v n m a . (PrimMonad m, MVector v a) => MVector v n (PrimState m) a -> Int -> a -> m a
vector-sized Data.Vector.Generic.Mutable.Sized
O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.
unsafeExchange :: forall n m a . PrimMonad m => MVector n (PrimState m) a -> Int -> a -> m a
vector-sized Data.Vector.Mutable.Sized
O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.
unsafeExchange :: forall n m a . (PrimMonad m, Prim a) => MVector n (PrimState m) a -> Int -> a -> m a
vector-sized Data.Vector.Primitive.Mutable.Sized
O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.
unsafeExchange :: forall n m a . (PrimMonad m, Storable a) => MVector n (PrimState m) a -> Int -> a -> m a
vector-sized Data.Vector.Storable.Mutable.Sized
O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.
unsafeExchange :: forall n m a . (PrimMonad m, Unbox a) => MVector n (PrimState m) a -> Int -> a -> m a
vector-sized Data.Vector.Unboxed.Mutable.Sized
O(1) Replace the element at a given Int position and return the old element. No bounds checks are performed.