Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-11-06 08:48
51a712fe
View on Github →
feat: port Init.Control.Combinators (
#530
)
TODO: check if List.mfirst align is correct
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/Init/Control/Combinators.lean
added
def
Monad.cond
added
def
Monad.filter
added
def
Monad.foldl
added
def
Monad.join
added
def
Monad.mapM'
added
def
Monad.mapM
added
def
Monad.sequence'
added
def
Monad.sequence
added
def
Monad.unlessb
added
def
Monad.whenb
added
def
condM
added
def
joinM
added
def
when
added
def
whenM
Modified
scripts/nolints.json