System.Posix.File.Whence

Definitions

data Whence : Type

Totality: total
Visibility: public export
Constructors:

SEEK_SET : Whence

SEEK_CUR : Whence

SEEK_END : Whence

Hints:

Eq Whence

Finite Whence

Ord Whence

Show Whence

whenceCode : Whence -> Bits8

Totality: total
Visibility: export