acquisition-0.1: Generic interface for digital multimeters and data loggers Source code Contents Index

System.Hardware.Acquisition

Synopsis

type Value = Double data Measurement = Whatever | VoltageAC | VoltageDC | CurrentAC | CurrentDC | Resistance | Capacitance | Inductance | Temperature | DCGain | DutyCycle | Frequency | Length | Illuminance | Mass | Force | Time data Sample = Sample { measurement :: Measurement value :: Value } data Channel = Channel { getSample :: (Error e, MonadError e m, MonadIO m) => m Sample close :: MonadIO m => m () } ioChannel :: IO Sample -> Channel constChannel :: Sample -> Channel data Protocol = Protocol { initialise :: MonadIO m => m [Channel] destroy :: MonadIO m => m () } data Connection = Connection { getWord8 :: (Error e, MonadError e m, MonadIO m) => m Word8 disconnect :: MonadIO m => m () } type Adaptor m = Channel -> m Channel (=>>=) :: Monad m => Adaptor m -> Adaptor m -> Adaptor m

Documentation

type Value = Double Source

Base type for all measurements; Double seems a reasonable choice.

data Measurement Source

All measurements normalised to SI units; base units are preferred over derived units. Constructors Whatever no frackin' clue whatsoever VoltageAC Volts RMS VoltageDC Volts CurrentAC Amperes RMS CurrentDC Amperes Resistance Ohms Capacitance Farads Inductance Henries Temperature Kelvins DCGain Ratio, hFE for bipolar transistors DutyCycle Ratio, not percentage! Frequency Hertz Length Metres Illuminance Lux Mass Kilograms Force Newtons Time Seconds Instances Eq Measurement Show Measurement

data Sample Source

Constructors Sample measurement :: Measurement value :: Value Overload shows up as NaN; infinite values ought to show up as ±Infinity. Instances Eq Sample Floating Sample Fractional Sample Num Sample Show Sample

data Channel Source

Constructors Channel getSample :: (Error e, MonadError e m, MonadIO m) => m Sample close :: MonadIO m => m () Instances Eq Channel Floating Channel Fractional Channel Num Channel Show Channel

ioChannel :: IO Sample -> Channel Source

constChannel :: Sample -> Channel Source

data Protocol Source

Constructors Protocol initialise :: MonadIO m => m [Channel] destroy :: MonadIO m => m ()

data Connection Source

Constructors Connection getWord8 :: (Error e, MonadError e m, MonadIO m) => m Word8 disconnect :: MonadIO m => m ()

type Adaptor m = Channel -> m Channel Source

(=>>=) :: Monad m => Adaptor m -> Adaptor m -> Adaptor m Source

Produced by Haddock version 2.3.0