Basic
📁 Source: Batteries/Data/MLList/Basic.lean
Statistics
| Metric | Count |
|---|---|
Definitionsappend, asArray, bind, cases, casesM, chunk, concat, cons, drop, enum, enumFrom, filter, filterM, filterMap, filterMapM, fin, first, firstM, fix, fix?, fix?', fixl, fixlWith, fold, foldM, folds, foldsM, forIn, force, getLast!, getLast?, head, head?, instAlternativeMonadOfMonad, instEmptyCollection, instForInOfMonadOfMonadLiftT, instInhabited, instMonadLiftOfMonad, isEmpty, iterate, join, liftM, map, mapM, monadLift, nil, ofArray, ofList, ofListM, range, runReader, runState, runState', runStateRef, singleton, singletonM, squash, take, takeAsArray, takeAsList, takeUpToFirst, takeUpToFirstM, takeWhile, takeWhileM, thunk, uncons, uncons?, zip | 68 |
| Theorems | 0 |
| Total | 68 |
MLList
Definitions
| Name | Category | Theorems |
|---|---|---|
append 📖 | CompOp | — |
asArray 📖 | CompOp | — |
bind 📖 | CompOp | — |
cases 📖 | CompOp | — |
casesM 📖 | CompOp | — |
chunk 📖 | CompOp | — |
concat 📖 | CompOp | — |
cons 📖 | CompOp | — |
drop 📖 | CompOp | — |
enum 📖 | CompOp | — |
enumFrom 📖 | CompOp | — |
filter 📖 | CompOp | — |
filterM 📖 | CompOp | — |
filterMap 📖 | CompOp | — |
filterMapM 📖 | CompOp | — |
fin 📖 | CompOp | — |
first 📖 | CompOp | — |
firstM 📖 | CompOp | — |
fix 📖 | CompOp | — |
fix? 📖 | CompOp | — |
fix?' 📖 | CompOp | — |
fixl 📖 | CompOp | — |
fixlWith 📖 | CompOp | — |
fold 📖 | CompOp | — |
foldM 📖 | CompOp | — |
folds 📖 | CompOp | — |
foldsM 📖 | CompOp | — |
forIn 📖 | CompOp | — |
force 📖 | CompOp | — |
getLast! 📖 | CompOp | — |
getLast? 📖 | CompOp | — |
head 📖 | CompOp | — |
head? 📖 | CompOp | — |
instAlternativeMonadOfMonad 📖 | CompOp | — |
instEmptyCollection 📖 | CompOp | — |
instForInOfMonadOfMonadLiftT 📖 | CompOp | — |
instInhabited 📖 | CompOp | — |
instMonadLiftOfMonad 📖 | CompOp | — |
isEmpty 📖 | CompOp | — |
iterate 📖 | CompOp | — |
join 📖 | CompOp | — |
liftM 📖 | CompOp | — |
map 📖 | CompOp | — |
mapM 📖 | CompOp | — |
monadLift 📖 | CompOp | — |
nil 📖 | CompOp | — |
ofArray 📖 | CompOp | — |
ofList 📖 | CompOp | — |
ofListM 📖 | CompOp | — |
range 📖 | CompOp | — |
runReader 📖 | CompOp | — |
runState 📖 | CompOp | — |
runState' 📖 | CompOp | — |
runStateRef 📖 | CompOp | — |
singleton 📖 | CompOp | — |
singletonM 📖 | CompOp | — |
squash 📖 | CompOp | — |
take 📖 | CompOp | — |
takeAsArray 📖 | CompOp | — |
takeAsList 📖 | CompOp | — |
takeUpToFirst 📖 | CompOp | — |
takeUpToFirstM 📖 | CompOp | — |
takeWhile 📖 | CompOp | — |
takeWhileM 📖 | CompOp | — |
thunk 📖 | CompOp | — |
uncons 📖 | CompOp | — |
uncons? 📖 | CompOp | — |
zip 📖 | CompOp | — |
---