Idris2Doc : Bindings.RtlSdr.Raw.Support

Bindings.RtlSdr.Raw.Support

Definitions
idris_rtlsdr_open : Int -> Ptr Int -> PrimIO AnyPtr
readBufPtr : Ptr Int -> Int -> IO (List Int)
  Totality: total
  Visibility: export
readBufPtr' : Ptr Bits8 -> Int -> IO (List Bits8)
  Totality: total
  Visibility: export
peekInt : Ptr Int -> Int
  Totality: total
  Visibility: export
idris_rtlsdr_getstring : Ptr String -> String