hydra.dsl.file module

DSL functions for hydra.file.

hydra.dsl.file.file_extension(x: TypedTerm[str]) → TypedTerm[FileExtension]

DSL constructor for the hydra.file.FileExtension wrapper.

hydra.dsl.file.file_path(x: TypedTerm[str]) → TypedTerm[FilePath]

DSL constructor for the hydra.file.FilePath wrapper.

hydra.dsl.file.file_status(file_type: TypedTerm[FileType], size: TypedTerm[int], modification_time: TypedTerm[Timespec], access_time: TypedTerm[object], status_change_time: TypedTerm[object]) → TypedTerm[FileStatus]

DSL constructor for hydra.file.FileStatus.

hydra.dsl.file.file_status_access_time(x: TypedTerm[FileStatus]) → TypedTerm[object]

DSL accessor for the accessTime field of hydra.file.FileStatus.

hydra.dsl.file.file_status_file_type(x: TypedTerm[FileStatus]) → TypedTerm[FileType]

DSL accessor for the fileType field of hydra.file.FileStatus.

hydra.dsl.file.file_status_modification_time(x: TypedTerm[FileStatus]) → TypedTerm[Timespec]

DSL accessor for the modificationTime field of hydra.file.FileStatus.

hydra.dsl.file.file_status_size(x: TypedTerm[FileStatus]) → TypedTerm[int]

DSL accessor for the size field of hydra.file.FileStatus.

hydra.dsl.file.file_status_status_change_time(x: TypedTerm[FileStatus]) → TypedTerm[object]

DSL accessor for the statusChangeTime field of hydra.file.FileStatus.

hydra.dsl.file.file_status_with_access_time(original: TypedTerm[FileStatus], new_val: TypedTerm[object]) → TypedTerm[FileStatus]

DSL updater for the accessTime field of hydra.file.FileStatus.

hydra.dsl.file.file_status_with_file_type(original: TypedTerm[FileStatus], new_val: TypedTerm[FileType]) → TypedTerm[FileStatus]

DSL updater for the fileType field of hydra.file.FileStatus.

hydra.dsl.file.file_status_with_modification_time(original: TypedTerm[FileStatus], new_val: TypedTerm[Timespec]) → TypedTerm[FileStatus]

DSL updater for the modificationTime field of hydra.file.FileStatus.

hydra.dsl.file.file_status_with_size(original: TypedTerm[FileStatus], new_val: TypedTerm[int]) → TypedTerm[FileStatus]

DSL updater for the size field of hydra.file.FileStatus.

hydra.dsl.file.file_status_with_status_change_time(original: TypedTerm[FileStatus], new_val: TypedTerm[object]) → TypedTerm[FileStatus]

DSL updater for the statusChangeTime field of hydra.file.FileStatus.

hydra.dsl.file.un_file_extension(x: TypedTerm[FileExtension]) → TypedTerm[str]

DSL accessor for the body of hydra.file.FileExtension.

hydra.dsl.file.un_file_path(x: TypedTerm[FilePath]) → TypedTerm[str]

DSL accessor for the body of hydra.file.FilePath.