0 | ||| RtlSdr turns your Realtek RTL2832 based DVB dongle into a SDR receiver. 1 | ||| 2 | ||| Idris2 bindings to librtl-sdr allows for both low-level thin-bindings 3 | ||| as well as high-level fat-bindings. 4 | module Bindings.RtlSdr 5 | 6 | import public Bindings.RtlSdr.Buffer as Buffer 7 | import public Bindings.RtlSdr.Device as Device 8 | import public Bindings.RtlSdr.EEProm as EEProm 9 | import public Bindings.RtlSdr.Error as Error 10 | import public Bindings.RtlSdr.Frequency as Frequency 11 | import public Bindings.RtlSdr.Gain as Gain 12 | import public Bindings.RtlSdr.Sampling as Sampling 13 | import public Bindings.RtlSdr.Misc as Misc 14 |