@[reducible, inline]

abbrev Lake.InputFile : Type

An input file -- its package plus its configuration.

Equations

• Lake.InputFile = Lake.ConfigTarget Lake.InputFile.configKind

@[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

@[inline]

def Lake.InputFile.text (self : InputFile) : Bool

Whether this is a text file.

Equations

• self.text = self.config.text

@[reducible, inline]

abbrev Lake.InputDir : Type

An input directory -- its package plus its configuration.

Equations

• Lake.InputDir = Lake.ConfigTarget Lake.InputDir.configKind

@[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

@[inline]

def Lake.InputDir.text (self : InputDir) : Bool

Whether this directory contains text files.

Equations

• self.text = self.config.text

@[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