A name glob which matches all names with the prefix, including itself.
Equations
Instances For
A name glob which matches all names with the prefix, but not the prefix itself.
Equations
Instances For
@[inline]
def
Lake.Glob.forEachModuleIn
{m : Type → Type u_1}
[Monad m]
[MonadLiftT IO m]
(dir : System.FilePath)
(f : Lean.Name → m PUnit)
(self : Glob)
:
m PUnit