Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- hvacOn :: forall {m}. MonadIO m => Car m CommandResponse
- hvacOff :: forall {m}. MonadIO m => Car m CommandResponse
- heatSeat :: MonadIO m => Seat -> Int -> Car m CommandResponse
- data Seat
- setTemps :: MonadIO m => (Double, Double) -> Car m CommandResponse
- wheelHeater :: MonadIO m => Bool -> Car m CommandResponse
- wheelHeaterOff :: MonadIO m => Car m CommandResponse
- wheelHeaterOn :: MonadIO m => Car m CommandResponse
- maxDefrost :: MonadIO m => Bool -> Car m CommandResponse
- wakeUp :: forall {m}. MonadIO m => Car m CommandResponse
- bioweaponMode :: MonadIO m => Bool -> Car m CommandResponse
- data Sometimes
- = Never
- | Always
- | WeekdaysOnly
- data OffPeakConfig = OffPeakConfig {}
- type Preconditioning = Sometimes
- scheduledDepartureOff :: MonadIO m => Car m CommandResponse
- scheduleDeparture :: MonadIO m => Time -> Preconditioning -> Maybe OffPeakConfig -> Car m CommandResponse
Documentation
heatSeat :: MonadIO m => Seat -> Int -> Car m CommandResponse Source #
Set heating levels for various seats.
setTemps :: MonadIO m => (Double, Double) -> Car m CommandResponse Source #
Set the main HVAC temperatures.
wheelHeater :: MonadIO m => Bool -> Car m CommandResponse Source #
Turn on the steering wheel heater
wheelHeaterOff :: MonadIO m => Car m CommandResponse Source #
wheelHeaterOn :: MonadIO m => Car m CommandResponse Source #
maxDefrost :: MonadIO m => Bool -> Car m CommandResponse Source #
bioweaponMode :: MonadIO m => Bool -> Car m CommandResponse Source #
Turn on or off bioweapon defense mode.
If HVAC is off, turning on bioweapon defense mode will also turn on HVAC.
When configuring scheduled departure, preconditioning and off-peak charging both have weekday only options.
data OffPeakConfig Source #
Configuration for off-peak charging for a schedule departure.
type Preconditioning = Sometimes Source #
Type alias to make scheduleDeparture
more readable.
scheduledDepartureOff :: MonadIO m => Car m CommandResponse Source #
scheduleDeparture :: MonadIO m => Time -> Preconditioning -> Maybe OffPeakConfig -> Car m CommandResponse Source #
Schedule a departure.
For this to do anything useful, you need to specify at least one of
Preconditioning
and/or OffPeakConfig
.