Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- hvacOn :: forall {m}. MonadIO m => Car m CommandResponse
- hvacOff :: forall {m}. MonadIO m => Car m CommandResponse
- data ClimateKeeper
- climateKeeper :: MonadIO m => ClimateKeeper -> Car m CommandResponse
- seatClimate :: MonadIO m => Seat -> Maybe SeatClimate -> Car m CommandResponse
- data Seat
- data SeatLevel
- data SeatClimate = SeatClimate SeatMode SeatLevel
- data SeatMode
- 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
- 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
data ClimateKeeper Source #
Instances
climateKeeper :: MonadIO m => ClimateKeeper -> Car m CommandResponse Source #
Configure the climate keeper.
seatClimate :: MonadIO m => Seat -> Maybe SeatClimate -> Car m CommandResponse Source #
Adjust the climate control settings for a seat.
Which seat to control.
For seat climate control, how much heating or cooling to apply.
Instances
ToJSON SeatLevel Source # | |
Defined in Tesla.Car.Command.Climate toEncoding :: SeatLevel -> Encoding toJSONList :: [SeatLevel] -> Value toEncodingList :: [SeatLevel] -> Encoding | |
Bounded SeatLevel Source # | |
Enum SeatLevel Source # | |
Defined in Tesla.Car.Command.Climate succ :: SeatLevel -> SeatLevel # pred :: SeatLevel -> SeatLevel # fromEnum :: SeatLevel -> Int # enumFrom :: SeatLevel -> [SeatLevel] # enumFromThen :: SeatLevel -> SeatLevel -> [SeatLevel] # enumFromTo :: SeatLevel -> SeatLevel -> [SeatLevel] # enumFromThenTo :: SeatLevel -> SeatLevel -> SeatLevel -> [SeatLevel] # | |
Show SeatLevel Source # | |
Eq SeatLevel Source # | |
data SeatClimate Source #
Instances
Show SeatClimate Source # | |
Defined in Tesla.Car.Command.Climate showsPrec :: Int -> SeatClimate -> ShowS # show :: SeatClimate -> String # showList :: [SeatClimate] -> ShowS # | |
Eq SeatClimate Source # | |
Defined in Tesla.Car.Command.Climate (==) :: SeatClimate -> SeatClimate -> Bool # (/=) :: SeatClimate -> SeatClimate -> Bool # |
For seat climate control, whether to heat or cool.
Instances
Bounded SeatMode Source # | |
Enum SeatMode Source # | |
Defined in Tesla.Car.Command.Climate | |
Show SeatMode Source # | |
Eq SeatMode Source # | |
setTemps :: MonadIO m => (Double, Double) -> Car m CommandResponse Source #
Set the main HVAC temperatures (driver and passenger).
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.
Instances
Bounded Sometimes Source # | |
Enum Sometimes Source # | |
Defined in Tesla.Car.Command.Climate succ :: Sometimes -> Sometimes # pred :: Sometimes -> Sometimes # fromEnum :: Sometimes -> Int # enumFrom :: Sometimes -> [Sometimes] # enumFromThen :: Sometimes -> Sometimes -> [Sometimes] # enumFromTo :: Sometimes -> Sometimes -> [Sometimes] # enumFromThenTo :: Sometimes -> Sometimes -> Sometimes -> [Sometimes] # | |
Show Sometimes Source # | |
Eq Sometimes Source # | |
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
.