Idris2Doc : Bindings.RtlSdr.Raw.Device

Bindings.RtlSdr.Raw.Device

Definitions

data RtlSdrHandle : Type
Totality: total
Visibility: export
librtlsdr : String -> String
Totality: total
Visibility: public export
get_device_usb_strings : Int -> Ptr String -> Ptr String -> Ptr String -> Int
get_device_count : Int
get_device_name : Int -> String
get_index_by_serial : String -> Int
open_prim : Ptr RtlSdrHandle -> Int -> PrimIO Int
close : Ptr RtlSdrHandle -> PrimIO Int