Idris2Doc : System.Posix.File.Whence

System.Posix.File.Whence

(source)

Definitions

dataWhence : Type
Totality: total
Visibility: public export
Constructors:
SEEK_SET : Whence
SEEK_CUR : Whence
SEEK_END : Whence

Hints:
EqWhence
FiniteWhence
OrdWhence
ShowWhence
whenceCode : Whence->Bits8
Totality: total
Visibility: export