Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit b2c9e89

Browse files
committedAug 3, 2023
Back to Maybe.map
1 parent e5bed9f commit b2c9e89

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎src/Data/List/Base.agda

+1-1
Original file line numberDiff line numberDiff line change
@@ -404,7 +404,7 @@ findIndexᵇ : (A → Bool) → (x : List A) → Maybe $ Fin (length x)
404404
findIndexᵇ p [] = nothing
405405
findIndexᵇ p (x ∷ xs) = if p x
406406
then just zero
407-
else mapMaybe suc (findIndexᵇ p xs)
407+
else Maybe.map suc (findIndexᵇ p xs)
408408

409409
findIndicesᵇ : (A Bool) List A List ℕ
410410
findIndicesᵇ {A = A} p = h 0 where

0 commit comments

Comments
 (0)
Please sign in to comment.