Idris2Doc : Bindings.RtlSdr.Device

Bindings.RtlSdr.Device

Reexports

import public Bindings.RtlSdr.Raw.Device

Definitions

rtlsdr_open : Int -> IO (Maybe (Ptr RtlSdrHandle))
Totality: total
Visibility: export
rtlsdr_close : Ptr RtlSdrHandle -> IO (Either RTLSDR_ERROR ())
Totality: total
Visibility: export
record DeviceUSBStrings : Type
Totality: total
Visibility: public export
Constructor: 
MkDeviceUSBStrings : String -> String -> String -> DeviceUSBStrings

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

Hint: 
Show DeviceUSBStrings
.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 (Either RTLSDR_ERROR DeviceUSBStrings)
  Get USB device strings.

@i is the the device index

Totality: total
Visibility: export
getDeviceIndexBySerial : String -> Either RTLSDR_ERROR Int
  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