
  0 | -- Note: This module is automatically generated when Idris builds
  1 | -- the library and the constants will be replaced with values
  2 | -- matching the system this is generated on.
  3 | --
  4 | -- The placeholders are here so that it works with tools like the LSP
  5 | -- without first compiling the library. They were generated on an x86_64
  6 | -- GNU/Linux system with GCC. If you are on a similar system, your numbers
  7 | -- might very well be identical.
  8 | module System.Posix.File.Whence
  9 | 
 10 | import Data.C.Integer
 11 | import Derive.Finite
 12 | import Derive.Prelude
 13 | 
 14 | %default total
 15 | %language ElabReflection
 16 | 
 17 | public export
 18 | data Whence = SEEK_SET | SEEK_CUR | SEEK_END
 19 | 
 20 | %runElab derive "Whence" [Show,Eq,Ord,Finite]
 21 | 
 22 | export
 23 | whenceCode : Whence -> Bits8
 24 | whenceCode SEEK_SET = 0
 25 | whenceCode SEEK_CUR = 1
 26 | whenceCode SEEK_END = 2
 27 |