
  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.Linux.Eventfd.Flags
  9 | 
 10 | import Data.Bits
 11 | import Derive.Prelude
 12 | 
 13 | %default total
 14 | %language ElabReflection
 15 | 
 16 | public export
 17 | record EventfdFlags where
 18 |   constructor F
 19 |   flags : Bits32
 20 | 
 21 | %runElab derive "EventfdFlags" [Show,Eq,Ord,FromInteger]
 22 | 
 23 | public export
 24 | Semigroup EventfdFlags where
 25 |   F x <+> F y = F $ x .|. y
 26 | 
 27 | public export
 28 | Monoid EventfdFlags where neutral = F 0
 29 | 
 30 | public export
 31 | EFD_CLOEXEC : EventfdFlags
 32 | EFD_CLOEXEC = 524288
 33 | 
 34 | public export
 35 | EFD_NONBLOCK : EventfdFlags
 36 | EFD_NONBLOCK = 2048
 37 | 
 38 | public export
 39 | EFD_SEMAPHORE : EventfdFlags
 40 | EFD_SEMAPHORE = 1
 41 |