Idris2Doc : System.Linux.Inotify.Flags

System.Linux.Inotify.Flags

(source)
Definitions
record InotifyFlags : Type
  Totality: total
  Visibility: public export
  Constructor: 
IF : Bits32 -> InotifyFlags

  Projection: 
.flags : InotifyFlags -> Bits32

  Hints:
  
Eq InotifyFlags
  
Monoid InotifyFlags
  
Ord InotifyFlags
  
Semigroup InotifyFlags
  
Show InotifyFlags
.flags : InotifyFlags -> Bits32
  Totality: total
  Visibility: public export
flags : InotifyFlags -> Bits32
  Totality: total
  Visibility: public export
record InotifyMask : Type
  Totality: total
  Visibility: public export
  Constructor: 
IM : Bits32 -> InotifyMask

  Projection: 
.mask : InotifyMask -> Bits32

  Hints:
  
Eq InotifyMask
  
Monoid InotifyMask
  
Ord InotifyMask
  
Semigroup InotifyMask
  
Show InotifyMask
.mask : InotifyMask -> Bits32
  Totality: total
  Visibility: public export
mask : InotifyMask -> Bits32
  Totality: total
  Visibility: public export
has : InotifyMask -> InotifyMask -> Bool
  Checks if an inotify event mask holds the given event.

  Totality: total
  Visibility: export
IN_NONBLOCK : InotifyFlags
  Totality: total
  Visibility: public export
IN_CLOEXEC : InotifyFlags
  Totality: total
  Visibility: public export
IN_ACCESS : InotifyMask
  Totality: total
  Visibility: public export
IN_ATTRIB : InotifyMask
  Totality: total
  Visibility: public export
IN_CLOSE_WRITE : InotifyMask
  Totality: total
  Visibility: public export
IN_CLOSE_NOWRITE : InotifyMask
  Totality: total
  Visibility: public export
IN_CREATE : InotifyMask
  Totality: total
  Visibility: public export
IN_DELETE : InotifyMask
  Totality: total
  Visibility: public export
IN_DELETE_SELF : InotifyMask
  Totality: total
  Visibility: public export
IN_MODIFY : InotifyMask
  Totality: total
  Visibility: public export
IN_MOVE_SELF : InotifyMask
  Totality: total
  Visibility: public export
IN_MOVED_FROM : InotifyMask
  Totality: total
  Visibility: public export
IN_MOVED_TO : InotifyMask
  Totality: total
  Visibility: public export
IN_OPEN : InotifyMask
  Totality: total
  Visibility: public export
IN_ALL_EVENTS : InotifyMask
  Totality: total
  Visibility: public export
IN_MOVE : InotifyMask
  Totality: total
  Visibility: public export
IN_CLOSE : InotifyMask
  Totality: total
  Visibility: public export
IN_DONT_FOLLOW : InotifyMask
  Totality: total
  Visibility: public export
  Totality: total
  Visibility: public export
IN_MASK_ADD : InotifyMask
  Totality: total
  Visibility: public export
IN_ONESHOT : InotifyMask
  Totality: total
  Visibility: public export
IN_ONLYDIR : InotifyMask
  Totality: total
  Visibility: public export
IN_MASK_CREATE : InotifyMask
  Totality: total
  Visibility: public export
IN_IGNORED : InotifyMask
  Totality: total
  Visibility: public export
IN_ISDIR : InotifyMask
  Totality: total
  Visibility: public export
IN_Q_OVERFLOW : InotifyMask
  Totality: total
  Visibility: public export
IN_UNMOUNT : InotifyMask
  Totality: total
  Visibility: public export