@[deprecated Subarray.start_le_stop]
@[deprecated Subarray.stop_le_array_size]
@[inline]
unsafe def
Subarray.forInUnsafe
{α : Type u}
{β : Type v}
{m : Type v → Type w}
[Monad m]
(s : Subarray α)
(b : β)
(f : α → β → m (ForInStep β))
:
m β
Equations
- s.forInUnsafe b f = let sz := USize.ofNat s.stop; Subarray.forInUnsafe.loop s f sz (USize.ofNat s.start) b
Instances For
@[inline]
def
Subarray.foldlM
{α : Type u}
{β : Type v}
{m : Type v → Type w}
[Monad m]
(f : β → α → m β)
(init : β)
(as : Subarray α)
:
m β
Equations
- Subarray.foldlM f init as = Array.foldlM f init as.array as.start as.stop
Instances For
@[inline]
def
Subarray.foldrM
{α : Type u}
{β : Type v}
{m : Type v → Type w}
[Monad m]
(f : α → β → m β)
(init : β)
(as : Subarray α)
:
m β
Equations
- Subarray.foldrM f init as = Array.foldrM f init as.array as.stop as.start
Instances For
@[inline]
def
Subarray.anyM
{α : Type u}
{m : Type → Type w}
[Monad m]
(p : α → m Bool)
(as : Subarray α)
:
m Bool
Equations
- Subarray.anyM p as = Array.anyM p as.array as.start as.stop
Instances For
@[inline]
def
Subarray.allM
{α : Type u}
{m : Type → Type w}
[Monad m]
(p : α → m Bool)
(as : Subarray α)
:
m Bool
Equations
- Subarray.allM p as = Array.allM p as.array as.start as.stop
Instances For
@[inline]
def
Subarray.forM
{α : Type u}
{m : Type v → Type w}
[Monad m]
(f : α → m PUnit)
(as : Subarray α)
:
m PUnit
Equations
- Subarray.forM f as = Array.forM f as.array as.start as.stop
Instances For
@[inline]
def
Subarray.forRevM
{α : Type u}
{m : Type v → Type w}
[Monad m]
(f : α → m PUnit)
(as : Subarray α)
:
m PUnit
Equations
- Subarray.forRevM f as = Array.forRevM f as.array as.stop as.start
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.
Instances For
Equations
- One or more equations did not get rendered due to their size.