filesize -package:basement -package:ghc-lib -package:pantry -package:LibZip -package:http-client -package:koofr-client package:hackage-security -is:exact -is:exact -is:exact

data FileSize
hackage-security Hackage.Security.Client.Repository.Remote
fileSizeWithinBounds :: Int54 -> FileSize -> Bool
hackage-security Hackage.Security.Client.Repository.Remote
FileSizeBound :: Int54 -> FileSize
hackage-security Hackage.Security.Client.Repository.Remote
For some files we might not know the size beforehand, but we might be able to provide an upper bound (timestamp, root info)
FileSizeExact :: Int54 -> FileSize
hackage-security Hackage.Security.Client.Repository.Remote
For most files we download we know the exact size beforehand (because this information comes from the snapshot or delegated info)
hFileSize :: Handle -> IO Integer
hackage-security Hackage.Security.Util.Path
For a handle hdl which attached to a physical file, hFileSize hdl returns the size of that file in 8-bit bytes.