Tesla.Car

Access of car-specific APIs.

Car Monad and related types.

type Car = ReaderT CarEnv

Car Monad for accessing car-specific things.

runCar :: MonadIO m => IO AuthInfo -> VehicleID -> Car m a -> m a

Run a Car Monad with the given Vehicle ID

runNamedCar :: MonadIO m => Text -> IO AuthInfo -> Car m a -> m a

Run a Car Monad by looking up a car by name.

type VehicleID = Text

A VehicleID.

Requests

vehicleData :: MonadIO m => Car m VehicleData

Fetch the VehicleData.

nearbyChargers :: MonadIO m => Car m [Charger]

Get the nearby chargers.

Convenience functions for examining VehicleData

type VehicleData = ByteString

Giant blob of VehicleData describing all known state of the vehicle.

This is not separated into discrete A VehicleIDfields because that's easy enough to do with Aeson and Lens when you need it but some convenience methods for common | A VehicleIDaccesses are available in this module.

isUserPresent :: VehicleData -> Bool

True if a user is present in the vehicle.

isCharging :: VehicleData -> Bool

True of the vehicle is currently charging.

teslaTS :: VehicleData -> UTCTime

Get the timestamp from this VehicleData or error if there isn't one.

maybeTeslaTS :: VehicleData -> Maybe UTCTime

Get the timestamp from this VehicleData if present.

data Door

The various doors.

Constructors

DriverFront

DriverRear

PassengerFront

PassengerRear

FrontTrunk

RearTrunk

Instances

Bounded Door

Defined in Tesla.Car

Methods

minBound :: Door

maxBound :: Door

Enum Door

Defined in Tesla.Car

Methods

succ :: Door -> Door

pred :: Door -> Door

toEnum :: Int -> Door

fromEnum :: Door -> Int

enumFrom :: Door -> [Door]

enumFromThen :: Door -> Door -> [Door]

enumFromTo :: Door -> Door -> [Door]

enumFromThenTo :: Door -> Door -> Door -> [Door]

Eq Door

Defined in Tesla.Car

Methods

(==) :: Door -> Door -> Bool

(/=) :: Door -> Door -> Bool

Show Door

Defined in Tesla.Car

Methods

showsPrec :: Int -> Door -> ShowS

show :: Door -> String

showList :: [Door] -> ShowS

data OpenState a

Constructors

Closed a

Open a

Instances

Eq a => Eq (OpenState a)

Defined in Tesla.Car

Methods

(==) :: OpenState a -> OpenState a -> Bool

(/=) :: OpenState a -> OpenState a -> Bool

Show a => Show (OpenState a)

Defined in Tesla.Car

Methods

showsPrec :: Int -> OpenState a -> ShowS

show :: OpenState a -> String

showList :: [OpenState a] -> ShowS

doors :: VehicleData -> Maybe [OpenState Door]

Return a list of doors and their OpenState.

openDoors :: VehicleData -> [Door]

Return a list of open doors.

Charger Info

data Location

Location, Location, Location.

Constructors

Location

Fields

• _lat :: Double
• _lon :: Double

Instances

Show Location

Defined in Tesla.Car

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

Generic Location

Defined in Tesla.Car

Associated Types

type Rep Location :: Type -> Type

Methods

from :: Location -> Rep Location x

to :: Rep Location x -> Location

FromJSON Location

Defined in Tesla.Car

Methods

parseJSON :: Value -> Parser Location

parseJSONList :: Value -> Parser [Location]

type Rep Location

Defined in Tesla.Car

type Rep Location = D1 (MetaData "Location" "Tesla.Car" "tesla-0.1.0.1-LtDpkbt2h5lFKecjI1fkpO" False) (C1 (MetaCons "Location" PrefixI True) (S1 (MetaSel (Just "_lat") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double) :*: S1 (MetaSel (Just "_lon") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double)))

data DestinationCharger

A destination charger (provided by nearbyChargers).

Constructors

DestinationCharger

Fields

• _location :: Location
• _name :: Text
• _distance_miles :: Double

Instances

Show DestinationCharger

Defined in Tesla.Car

Methods

showsPrec :: Int -> DestinationCharger -> ShowS

show :: DestinationCharger -> String

showList :: [DestinationCharger] -> ShowS

Generic DestinationCharger

Defined in Tesla.Car

Associated Types

type Rep DestinationCharger :: Type -> Type

Methods

from :: DestinationCharger -> Rep DestinationCharger x

to :: Rep DestinationCharger x -> DestinationCharger

FromJSON DestinationCharger

Defined in Tesla.Car

Methods

parseJSON :: Value -> Parser DestinationCharger

parseJSONList :: Value -> Parser [DestinationCharger]

type Rep DestinationCharger

Defined in Tesla.Car

type Rep DestinationCharger = D1 (MetaData "DestinationCharger" "Tesla.Car" "tesla-0.1.0.1-LtDpkbt2h5lFKecjI1fkpO" False) (C1 (MetaCons "DestinationCharger" PrefixI True) (S1 (MetaSel (Just "_location") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Location) :*: (S1 (MetaSel (Just "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "_distance_miles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))))

data Supercharger

A supercharger (provided by nearbyChargers).

Constructors

Supercharger

Fields

• _location :: Location
• _name :: Text
• _distance_miles :: Double
• _available_stalls :: Int
• _total_stalls :: Int
• _site_closed :: Bool

Instances

Show Supercharger

Defined in Tesla.Car

Methods

showsPrec :: Int -> Supercharger -> ShowS

show :: Supercharger -> String

showList :: [Supercharger] -> ShowS

Generic Supercharger

Defined in Tesla.Car

Associated Types

type Rep Supercharger :: Type -> Type

Methods

from :: Supercharger -> Rep Supercharger x

to :: Rep Supercharger x -> Supercharger

FromJSON Supercharger

Defined in Tesla.Car

Methods

parseJSON :: Value -> Parser Supercharger

parseJSONList :: Value -> Parser [Supercharger]

type Rep Supercharger

Defined in Tesla.Car

type Rep Supercharger = D1 (MetaData "Supercharger" "Tesla.Car" "tesla-0.1.0.1-LtDpkbt2h5lFKecjI1fkpO" False) (C1 (MetaCons "Supercharger" PrefixI True) ((S1 (MetaSel (Just "_location") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Location) :*: (S1 (MetaSel (Just "_name") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text) :*: S1 (MetaSel (Just "_distance_miles") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Double))) :*: (S1 (MetaSel (Just "_available_stalls") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: (S1 (MetaSel (Just "_total_stalls") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Int) :*: S1 (MetaSel (Just "_site_closed") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool)))))

data Charger

Eitehr a Supercharger or Destination charger.

Constructors

SC Supercharger

DC DestinationCharger

Instances

Show Charger

Defined in Tesla.Car

Methods

showsPrec :: Int -> Charger -> ShowS

show :: Charger -> String

showList :: [Charger] -> ShowS

superchargers :: [Charger] -> [Supercharger]

Return only the superchargers from a Charger list.

destinationChargers :: [Charger] -> [DestinationCharger]

Return only the destination chargers from a Charger list.

Lenses

lat :: Lens' Location Double

lon :: Lens' Location Double

_SC :: Prism' Charger Supercharger

_DC :: Prism' Charger DestinationCharger

name :: HasName s a => Lens' s a

location :: HasLocation s a => Lens' s a

distance_miles :: HasDistance_miles s a => Lens' s a

available_stalls :: HasAvailable_stalls s a => Lens' s a

total_stalls :: HasTotal_stalls s a => Lens' s a

site_closed :: HasSite_closed s a => Lens' s a

Probably uninteresting internals

vehicleURL :: VehicleID -> String -> String

Get the URL for a named endpoint for a given vehicle.

authInfo :: MonadIO m => Car m AuthInfo

Get authInfo from the Car Monad.

vehicleID :: Monad m => Car m VehicleID

Get the current vehicle ID from the Car Monad.