hydra.encode.file module

Term encoders for hydra.file.

hydra.encode.file.file_extension(x: FileExtension) → Term

Encoder for hydra.file.FileExtension.

hydra.encode.file.file_path(x: FilePath) → Term

Encoder for hydra.file.FilePath.

hydra.encode.file.file_status(x: FileStatus) → Term

Encoder for hydra.file.FileStatus.

hydra.encode.file.file_type(v1: FileType) → Term

Encoder for hydra.file.FileType.