Documentation

Lake.Config.Glob

inductive Lake.Glob :

A specification of a set of module names.

Instances For
    Equations

    A name glob which matches all names with the prefix, including itself.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      A name glob which matches all names with the prefix, but not the prefix itself.

      Equations
      • One or more equations did not get rendered due to their size.
      Instances For
        Equations
        Instances For
          Equations
          Instances For
            @[inline]
            def Lake.Glob.forEachModuleIn {m : TypeType u_1} [Monad m] [MonadLiftT IO m] (dir : Lake.FilePath) (f : Lake.Namem PUnit) (self : Lake.Glob) :
            Equations
            • One or more equations did not get rendered due to their size.
            Instances For