Idris2Doc : Bindings.RtlSdr.Device

Bindings.RtlSdr.Device

Reexports

importpublic Bindings.RtlSdr.Raw.Device

Definitions

rtlsdr_open : Int->IO (Maybe (PtrRtlSdrHandle))
Totality: total
Visibility: export
rtlsdr_close : PtrRtlSdrHandle->IO (EitherRTLSDR_ERROR ())
Totality: total
Visibility: export
recordDeviceUSBStrings : Type
Totality: total
Visibility: public export
Constructor: 
MkDeviceUSBStrings : String->String->String->DeviceUSBStrings

Projections:
.manufact : DeviceUSBStrings->String
.product : DeviceUSBStrings->String
.serial : DeviceUSBStrings->String

Hint: 
ShowDeviceUSBStrings
.manufact : DeviceUSBStrings->String
Totality: total
Visibility: public export
manufact : DeviceUSBStrings->String
Totality: total
Visibility: public export
.product : DeviceUSBStrings->String
Totality: total
Visibility: public export
product : DeviceUSBStrings->String
Totality: total
Visibility: public export
.serial : DeviceUSBStrings->String
Totality: total
Visibility: public export
serial : DeviceUSBStrings->String
Totality: total
Visibility: public export
getDeviceUSBStrings : Int->IO (EitherRTLSDR_ERRORDeviceUSBStrings)
  Get USB device strings.

@i is the the device index

Totality: total
Visibility: export
getDeviceIndexBySerial : String->EitherRTLSDR_ERRORInt
  Get device index by USB serial string descriptor.

Returns the device index of first device where the name matched

@s is the serial string of the device

Totality: total
Visibility: export