Idris2Doc : Bindings.RtlSdr.Raw.Device

Bindings.RtlSdr.Raw.Device

Definitions

dataRtlSdrHandle : Type
Totality: total
Visibility: export
librtlsdr : String->String
Totality: total
Visibility: public export
get_device_usb_strings : Int->PtrString->PtrString->PtrString->Int
get_device_count : Int
get_device_name : Int->String
get_index_by_serial : String->Int
open_prim : PtrRtlSdrHandle->Int->PrimIOInt
close : PtrRtlSdrHandle->PrimIOInt