source
@[reducible, inline]
abbrev Lake.InputFile :
Type

An input file -- its package plus its configuration.

Equations

- Lake.InputFile = Lake.ConfigTarget Lake.InputFile.configKind

Instances For

source
@[inline]
def Lake.InputFile.path (self : InputFile) :
System.FilePath

The full path to the input file. That is, the package's `dir` joined with the file's `path`.

Equations

- self.path = self.pkg.dir / self.config.path

Instances For

source
@[inline]
def Lake.InputFile.text (self : InputFile) :
Bool

Whether this is a text file.

Equations

- self.text = self.config.text

Instances For

source
@[reducible, inline]
abbrev Lake.InputDir :
Type

An input directory -- its package plus its configuration.

Equations

- Lake.InputDir = Lake.ConfigTarget Lake.InputDir.configKind

Instances For

source
@[inline]
def Lake.InputDir.path (self : InputDir) :
System.FilePath

The full path to the input file. That is, the package's `dir` joined with the file's `path`.

Equations

- self.path = self.pkg.dir / self.config.path

Instances For

source
@[inline]
def Lake.InputDir.text (self : InputDir) :
Bool

Whether this directory contains text files.

Equations

- self.text = self.config.text

Instances For

source
@[inline]
def Lake.InputDir.filter (self : InputDir) :
System.FilePath → Bool

The file inclusion filter function for the input directory.

Equations

- self.filter a = Lake.Pattern.matches a self.config.filter

Instances For