p
ну а вообще я делаю так
func = let
a = 10
b = 20 in
a + b
func = let
a = 10
b = 20 in
a + b
whileM' : (Monad m, Monad f, Alternative f) => (a -> Bool) -> m a -> m (f a)
whileM' p f = go
where go = do
x <- f
if p x
then do
xs <- go
pure (pure x <|> xs)
else pure emptyType checking .\.\test.idr
.\.\test.idr:15:9:
|
15 | x <- f
| ^
end of block
