Function whileSome

whileSome<M, F>(
    monad: TypeClass.Monad.Monad<M>,
    plus: TypeClass.MonadPlus.MonadPlus<F>,
): <A>(
    pred: Get1<M, Option.Option<A>>,
) => <B>(body: (a: A) => Get1<M, B>) => Get1<M, Get1<F, B>>
Executes the action body repeatedly while the condition pred returns Some value. body will be called with the value contained in the Some.
Type Parameters
- M
- F
Parameters
- monad: TypeClass.Monad.Monad<M>
- plus: TypeClass.MonadPlus.MonadPlus<F>
Returns <A>(
pred: Get1<M, Option.Option<A>>,
) => <B>(body: (a: A) => Get1<M, B>) => Get1<M, Get1<F, B>>
- Defined in src/type-class/monad-plus.ts:54