Idris2Doc : System.Linux.Inotify.Inotify

System.Linux.Inotify.Inotify

(source)
Definitions
record Inotify : Type
  An `inotify` file descriptor.

  Totality: total
  Visibility: export
  Constructor: 
I : Bits32 -> Inotify

  Projection: 
.fd : Inotify -> Bits32

  Hints:
  
Cast Inotify Fd
  
Cast CInt Inotify
  
Eq Inotify
  
Ord Inotify
  
Show Inotify
record Watch : Type
  An `inotify` file descriptor.

  Totality: total
  Visibility: export
  Constructor: 
W : Bits32 -> Watch

  Projection: 
.wd : Watch -> Bits32

  Hints:
  
Cast CInt Watch
  
Cast Watch Bits32
  
Eq Watch
  
Interpolation Watch
  
Ord Watch
  
Show Watch
record InotifyRes : Type
  Totality: total
  Visibility: public export
  Constructor: 
IR : Watch -> InotifyMask -> Bits32 -> String -> InotifyRes

  Projections:
  
.cookie : InotifyRes -> Bits32
  
.mask : InotifyRes -> InotifyMask
  
.name : InotifyRes -> String
  
.watch : InotifyRes -> Watch

  Hints:
  
Eq InotifyRes
  
FromBuf (List InotifyRes)
  
FromPtr (List InotifyRes)
  
Show InotifyRes
.watch : InotifyRes -> Watch
  Totality: total
  Visibility: public export
watch : InotifyRes -> Watch
  Totality: total
  Visibility: public export
.mask : InotifyRes -> InotifyMask
  Totality: total
  Visibility: public export
mask : InotifyRes -> InotifyMask
  Totality: total
  Visibility: public export
.cookie : InotifyRes -> Bits32
  Totality: total
  Visibility: public export
cookie : InotifyRes -> Bits32
  Totality: total
  Visibility: public export
.name : InotifyRes -> String
  Totality: total
  Visibility: public export
name : InotifyRes -> String
  Totality: total
  Visibility: public export
results : SnocList InotifyRes -> AnyPtr -> AnyPtr -> Bits32 -> List InotifyRes
  Totality: total
  Visibility: export