Node.FS.Stats

Definitions

data StatsReturnType : Type

Totality: total
Visibility: public export
Constructors:

StatsBigInt : StatsReturnType

StatsInt : StatsReturnType

statsReturnType : StatsReturnType -> Type

Visibility: public export

isBigInt : StatsReturnType -> Bool

Visibility: public export

isInt : StatsReturnType -> Bool

Visibility: public export

data Stats : StatsReturnType -> Type

Totality: total
Visibility: export

.isBlockDevice : Stats r -> Bool

Visibility: export

.isCharacterDevice : Stats r -> Bool

Visibility: export

.isDirectory : Stats r -> Bool

Visibility: export

.isFIFO : Stats r -> Bool

Visibility: export

.isFile : Stats r -> Bool

Visibility: export

.isSocket : Stats r -> Bool

Visibility: export

.isSymbolicLink : Stats r -> Bool

Visibility: export

size : Stats r -> statsReturnType r

Visibility: export

dev : Stats r -> statsReturnType r

Visibility: export

ino : Stats r -> statsReturnType r

Visibility: export

mode : Stats r -> statsReturnType r

Visibility: export

nlink : Stats r -> statsReturnType r

Visibility: export

uid : Stats r -> statsReturnType r

Visibility: export

gid : Stats r -> statsReturnType r

Visibility: export

rdev : Stats r -> statsReturnType r

Visibility: export

blksize : Stats r -> statsReturnType r

Visibility: export

blocks : Stats r -> statsReturnType r

Visibility: export

atimeMs : Stats r -> statsReturnType r

Visibility: export

mtimeMs : Stats r -> statsReturnType r

Visibility: export

ctimeMs : Stats r -> statsReturnType r

Visibility: export

birthtimeMs : Stats r -> statsReturnType r

Visibility: export

atimeNs : Stats r -> statsReturnType r

Visibility: export

mtimeNs : Stats r -> statsReturnType r

Visibility: export

ctimeNs : Stats r -> statsReturnType r

Visibility: export

birthtimeNs : Stats r -> statsReturnType r

Visibility: export