Idris2Doc : System.UV.Data.File

System.UV.Data.File

(source)

Definitions

dataDirentType : Type
Totality: total
Visibility: public export
Constructors:
DirentUnknown : DirentType
DirentFile : DirentType
DirentDir : DirentType
DirentFifo : DirentType
DirentSocket : DirentType
DirentChar : DirentType
DirentBlock : DirentType

Hints:
EqDirentType
ShowDirentType
recordFlags : Type
Totality: total
Visibility: public export
Constructor: 
MkFlags : Bits32->Flags

Projection: 
.flags : Flags->Bits32

Hints:
EqFlags
MonoidFlags
NumFlags
OrdFlags
SemigroupFlags
ShowFlags
.flags : Flags->Bits32
Totality: total
Visibility: public export
flags : Flags->Bits32
Totality: total
Visibility: public export
recordMode : Type
Totality: total
Visibility: public export
Constructor: 
MkMode : Bits32->Mode

Projection: 
.mode : Mode->Bits32

Hints:
EqMode
MonoidMode
NumMode
OrdMode
SemigroupMode
ShowMode
.mode : Mode->Bits32
Totality: total
Visibility: public export
mode : Mode->Bits32
Totality: total
Visibility: public export
direntCode : DirentType->Bits32
Totality: total
Visibility: public export
direntFromCode : Bits32->DirentType
Totality: total
Visibility: public export
APPEND : Flags
Totality: total
Visibility: export
CREAT : Flags
Totality: total
Visibility: export
DIRECT : Flags
Totality: total
Visibility: export
DIRECTORY : Flags
Totality: total
Visibility: export
NOATIME : Flags
Totality: total
Visibility: export
NOCTTY : Flags
Totality: total
Visibility: export
NOFOLLOW : Flags
Totality: total
Visibility: export
NONBLOCK : Flags
Totality: total
Visibility: export
RANDOM : Flags
Totality: total
Visibility: export
RDONLY : Flags
Totality: total
Visibility: export
RDWR : Flags
Totality: total
Visibility: export
SEQUENTIAL : Flags
Totality: total
Visibility: export
SHORT_LIVED : Flags
Totality: total
Visibility: export
Totality: total
Visibility: export
SYNC : Flags
Totality: total
Visibility: export
TEMPORARY : Flags
Totality: total
Visibility: export
TRUNC : Flags
Totality: total
Visibility: export
WRONLY : Flags
Totality: total
Visibility: export
RWXU : Mode
Totality: total
Visibility: export
RUSR : Mode
Totality: total
Visibility: export
WUSR : Mode
Totality: total
Visibility: export
XUSR : Mode
Totality: total
Visibility: export
RWXG : Mode
Totality: total
Visibility: export
RGRP : Mode
Totality: total
Visibility: export
WGRP : Mode
Totality: total
Visibility: export
XGRP : Mode
Totality: total
Visibility: export
RWXO : Mode
Totality: total
Visibility: export
ROTH : Mode
Totality: total
Visibility: export
WOTH : Mode
Totality: total
Visibility: export
XOTH : Mode
Totality: total
Visibility: export