Idris2Doc : System.Posix.File.Stats

System.Posix.File.Stats

(source)
Definitions
record SStatvfs : Type -> Type
  Totality: total
  Visibility: export
  Constructor: 
SSF : AnyPtr -> SStatvfs s

  Projection: 
.ptr : SStatvfs s -> AnyPtr

  Hints:
  
SizeOf (SStatvfs s)
  
Struct SStatvfs
record Statvfs : Type
  Totality: total
  Visibility: public export
  Constructor: 
SF : ULong -> ULong -> FsBlkCntT -> FsBlkCntT -> FsBlkCntT -> FsFilCntT -> FsFilCntT -> FsFilCntT -> ULong -> ULong -> ULong -> Statvfs

  Projections:
  
.availableBlocks : Statvfs -> FsBlkCntT
  
.availableFiles : Statvfs -> FsFilCntT
  
.blockSize : Statvfs -> ULong
  
.blocks : Statvfs -> FsBlkCntT
  
.files : Statvfs -> FsFilCntT
  
.flags : Statvfs -> ULong
  
.freeBlocks : Statvfs -> FsBlkCntT
  
.freeFiles : Statvfs -> FsFilCntT
  
.fsID : Statvfs -> ULong
  
.fundamentalBlockSize : Statvfs -> ULong
  
.namemax : Statvfs -> ULong

  Hints:
  
Convert Statvfs
  
Eq Statvfs
  
Show Statvfs
.blockSize : Statvfs -> ULong
  Totality: total
  Visibility: public export
blockSize : Statvfs -> ULong
  Totality: total
  Visibility: public export
.fundamentalBlockSize : Statvfs -> ULong
  Totality: total
  Visibility: public export
fundamentalBlockSize : Statvfs -> ULong
  Totality: total
  Visibility: public export
.blocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
blocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
.freeBlocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
freeBlocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
.availableBlocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
availableBlocks : Statvfs -> FsBlkCntT
  Totality: total
  Visibility: public export
.files : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
files : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
.freeFiles : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
freeFiles : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
.availableFiles : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
availableFiles : Statvfs -> FsFilCntT
  Totality: total
  Visibility: public export
.fsID : Statvfs -> ULong
  Totality: total
  Visibility: public export
fsID : Statvfs -> ULong
  Totality: total
  Visibility: public export
.flags : Statvfs -> ULong
  Totality: total
  Visibility: public export
flags : Statvfs -> ULong
  Totality: total
  Visibility: public export
.namemax : Statvfs -> ULong
  Totality: total
  Visibility: public export
namemax : Statvfs -> ULong
  Totality: total
  Visibility: public export
toStatvfs : SStatvfs s -> F1 s Statvfs
  Totality: total
  Visibility: export
convertStatvfs : Convert Statvfs
  Totality: total
  Visibility: export
record SFileStats : Type -> Type
  Totality: total
  Visibility: export
  Constructor: 
SFS : AnyPtr -> SFileStats s

  Projection: 
.ptr : SFileStats s -> AnyPtr

  Hints:
  
SizeOf (SFileStats s)
  
Struct SFileStats
record FileStats : Type
  Totality: total
  Visibility: public export
  Constructor: 
FS : DevT -> InoT -> ModeT -> NlinkT -> UidT -> GidT -> DevT -> SizeT -> BlkSizeT -> BlkCntT -> Clock UTC -> Clock UTC -> Clock UTC -> FileStats

  Projections:
  
.atime : FileStats -> Clock UTC
  
.blksize : FileStats -> BlkSizeT
  
.blocks : FileStats -> BlkCntT
  
.ctime : FileStats -> Clock UTC
  
.dev : FileStats -> DevT
  
.gid : FileStats -> GidT
  
.ino : FileStats -> InoT
  
.mode : FileStats -> ModeT
  
.mtime : FileStats -> Clock UTC
  
.nlink : FileStats -> NlinkT
  
.rdev : FileStats -> DevT
  
.size : FileStats -> SizeT
  
.uid : FileStats -> UidT

  Hints:
  
Convert FileStats
  
Eq FileStats
  
Show FileStats
.dev : FileStats -> DevT
  Totality: total
  Visibility: public export
dev : FileStats -> DevT
  Totality: total
  Visibility: public export
.ino : FileStats -> InoT
  Totality: total
  Visibility: public export
ino : FileStats -> InoT
  Totality: total
  Visibility: public export
.mode : FileStats -> ModeT
  Totality: total
  Visibility: public export
mode : FileStats -> ModeT
  Totality: total
  Visibility: public export
.nlink : FileStats -> NlinkT
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
.uid : FileStats -> UidT
  Totality: total
  Visibility: public export
uid : FileStats -> UidT
  Totality: total
  Visibility: public export
.gid : FileStats -> GidT
  Totality: total
  Visibility: public export
gid : FileStats -> GidT
  Totality: total
  Visibility: public export
.rdev : FileStats -> DevT
  Totality: total
  Visibility: public export
rdev : FileStats -> DevT
  Totality: total
  Visibility: public export
.size : FileStats -> SizeT
  Totality: total
  Visibility: public export
size : FileStats -> SizeT
  Totality: total
  Visibility: public export
.blksize : FileStats -> BlkSizeT
  Totality: total
  Visibility: public export
blksize : FileStats -> BlkSizeT
  Totality: total
  Visibility: public export
.blocks : FileStats -> BlkCntT
  Totality: total
  Visibility: public export
blocks : FileStats -> BlkCntT
  Totality: total
  Visibility: public export
.atime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
atime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
.mtime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
mtime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
.ctime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
ctime : FileStats -> Clock UTC
  Totality: total
  Visibility: public export
fileStats : SFileStats s -> F1 s FileStats
  Totality: total
  Visibility: export
convertFileStats : Convert FileStats
  Totality: total
  Visibility: export
statvfs : String -> EPrim Statvfs
  Totality: total
  Visibility: export
fstatvfs : FileDesc a => a -> EPrim Statvfs
  Totality: total
  Visibility: export
stat : String -> EPrim FileStats
  Totality: total
  Visibility: export
lstat : String -> EPrim FileStats
  Totality: total
  Visibility: export
fstat : FileDesc a => a -> EPrim FileStats
  Totality: total
  Visibility: export