Return core () for mapDepGenM_

This commit is contained in:
Niels G. W. Serup 2024-09-24 22:23:43 +02:00
parent 5b0a6f1236
commit 2b5f4f8b1e
No known key found for this signature in database
GPG Key ID: 38EEEBCE67324F19
1 changed files with 2 additions and 2 deletions

View File

@ -81,10 +81,10 @@ mapDepGenM f input = genDependencyM $ \target -> do
put top' put top'
pure (makeDependency input (MapComp res) target) pure (makeDependency input (MapComp res) target)
mapDepGenM_ :: (Token a -> DepGenM ()) -> Token [a] -> DepGenM () mapDepGenM_ :: (Token a -> DepGenM ()) -> Token [a] -> DepGenM' ()
mapDepGenM_ f input = do mapDepGenM_ f input = do
_ <- mapDepGenM f input _ <- mapDepGenM f input
pure NoToken pure ()
filterDepGenM :: (Token a -> DepGenM Bool) -> Token [a] -> DepGenM [a] filterDepGenM :: (Token a -> DepGenM Bool) -> Token [a] -> DepGenM [a]
filterDepGenM f input = do filterDepGenM f input = do