Function whileSomeVoid

whileSomeVoid<M>(
monad: TypeClass.Monad.Monad<M>,
): <A>(
pred: Get1<M, Option.Option<A>>,
) => <B>(body: (a: A) => Get1<M, B>) => Get1<M, never[]>
Executes the action body repeatedly while the condition pred returns Some value. body will be called with the value contained in the Some but the result will be discarded .
Type Parameters
- M
Parameters
- monad: TypeClass.Monad.Monad<M>
Returns <A>(
pred: Get1<M, Option.Option<A>>,
) => <B>(body: (a: A) => Get1<M, B>) => Get1<M, never[]>
- Defined in src/type-class/monad-plus.ts:75