@[inline]

unsafe def FloatArray.mapMUnsafe {m : Type → Type u_1} [Monad m] (a : FloatArray) (f : Float → m Float) : m FloatArray

Unsafe optimized implementation of mapM.

This function is unsafe because it relies on the implementation limit that the size of an array is always less than USize.size.

@[specialize #[]]

unsafe def FloatArray.mapMUnsafe.loop {m : Type → Type u_1} [Monad m] (f : Float → m Float) (a : FloatArray) (k : USize) (s : USize) : m FloatArray

Inner loop for mapMUnsafe.

@[implemented_by FloatArray.mapMUnsafe]

def FloatArray.mapM {m : Type → Type u_1} [Monad m] (a : FloatArray) (f : Float → m Float) : m FloatArray

mapM f a applies the monadic function f to each element of the array.

Equations

• One or more equations did not get rendered due to their size.

@[inline]

def FloatArray.map (a : FloatArray) (f : Float → Float) : FloatArray

map f a applies the function f to each element of the array.

Equations

• a.map f = a.mapM f