@[reducible, inline]

abbrev Lake.InputFile : Type

An input file -- its package plus its configuration.

Equations

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

Instances For

• Lake.instDataKindInputFile
• Lake.instFamilyDefNameDataTypeMkStr1InputFile

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

Instances For

• Lake.instDataKindInputDir
• Lake.instFamilyDefNameDataTypeMkStr1InputDir

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