filesize -package:basement -package:ghc -package:directory -package:turtle -package:filemanip
Size of the file in bytes. If this file is a symbolic link the size is
the length of the pathname it contains.
Set to 0 if unknown or a directory
Get size of a file in the archive.
File size in bytes.
attribute represented as a Natural
Get size of a file in the archive (by index).
For some files we might not know the size beforehand, but we might be
able to provide an upper bound (timestamp, root info)
For most files we download we know the exact size beforehand (because
this information comes from the snapshot or delegated info)
For a handle hdl
which attached to a physical file,
returns the size of that file in 8-bit
hSetFileSize hdl size
truncates the physical
file with handle hdl