System.Posix.File.Type

Definitions

data FileType : Type

Totality: total
Visibility: public export
Constructors:

Regular : FileType

Directory : FileType

CharDevice : FileType

BlockDevice : FileType

Pipe : FileType

Socket : FileType

Link : FileType

Other : FileType

Hints:

Eq FileType

Finite FileType

Ord FileType

Show FileType

fromMode : ModeT -> FileType

Totality: total
Visibility: public export

statvfs_size : Bits32

Totality: total
Visibility: public export

stat_size : Bits32

Totality: total
Visibility: public export