getAllModulesSorted

Mathlib.Util.GetAllModules

URI: https://scilib.ai/kg/mathlib#getAllModulesSorted

Lean4

/-- Like `getAllFiles`, but return an array of *module* names instead,
i.e. names of the form `Mathlib/Algebra/Algebra/Basic.lean`.
In addition, these names are sorted in a platform-independent order. -/
def getAllModulesSorted (git : Bool) (ml : String) : IO (Array String) := do
  let files ← getAllFiles git ml
  let names :=
    ←
      files.mapM fun f => do
        return (← moduleNameOfFileName f none).toString
  return names.qsort (· < ·)

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

MathLib Explorer
Graph RAG
Лаборатория
Блог
О проекте
Команда

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru