@[reducible, inline]

abbrev Lake.InputFile : Type

An input file -- its package plus its configuration.

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

@[inline]

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

Whether this is a text file.

@[reducible, inline]

abbrev Lake.InputDir : Type

An input directory -- its package plus its configuration.

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

@[inline]

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

Whether this directory contains text files.

@[inline]

def Lake.InputDir.filter (self : InputDir) : System.FilePath → Bool

The file inclusion filter function for the input directory.