Idris2Doc : System.UV.Data.File

System.UV.Data.File

(source)
Definitions
data DirentType : Type
  Totality: total
  Visibility: public export
  Constructors:
  
DirentUnknown : DirentType
  
DirentFile : DirentType
  
DirentDir : DirentType
    
DirentFifo : DirentType
  
DirentSocket : DirentType
  
DirentChar : DirentType
  
DirentBlock : DirentType

  Hints:
  
Eq DirentType
  
Show DirentType
record Flags : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkFlags : Bits32 -> Flags

  Projection: 
.flags : Flags -> Bits32

  Hints:
  
Eq Flags
  
Monoid Flags
  
Num Flags
  
Ord Flags
  
Semigroup Flags
  
Show Flags
.flags : Flags -> Bits32
  Totality: total
  Visibility: public export
flags : Flags -> Bits32
  Totality: total
  Visibility: public export
record Mode : Type
  Totality: total
  Visibility: public export
  Constructor: 
MkMode : Bits32 -> Mode

  Projection: 
.mode : Mode -> Bits32

  Hints:
  
Eq Mode
  
Monoid Mode
  
Num Mode
  
Ord Mode
  
Semigroup Mode
  
Show Mode
.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