Tesla.Car

Access of car-specific APIs.

Car Monad and related types.

data Car m a

Car Monad for accessing car-specific things.

Instances

Monad m => Monad (Car m)

Defined in Tesla.Car

Methods

(>>=) :: Car m a -> (a -> Car m b) -> Car m b

(>>) :: Car m a -> Car m b -> Car m b

return :: a -> Car m a

Functor m => Functor (Car m)

Defined in Tesla.Car

Methods

fmap :: (a -> b) -> Car m a -> Car m b

(<$) :: a -> Car m b -> Car m a

MonadFail m => MonadFail (Car m)

Defined in Tesla.Car

Methods

fail :: String -> Car m a

Applicative m => Applicative (Car m)

Defined in Tesla.Car

Methods

pure :: a -> Car m a

(<*>) :: Car m (a -> b) -> Car m a -> Car m b

liftA2 :: (a -> b -> c) -> Car m a -> Car m b -> Car m c

(*>) :: Car m a -> Car m b -> Car m b

(<*) :: Car m a -> Car m b -> Car m a

MonadIO m => MonadIO (Car m)

Defined in Tesla.Car

Methods

liftIO :: IO a -> Car m a

MonadUnliftIO m => MonadUnliftIO (Car m)

Defined in Tesla.Car

Methods

withRunInIO :: ((forall a. Car m a -> IO a) -> IO b) -> Car m b

MonadThrow m => MonadThrow (Car m)

Defined in Tesla.Car

Methods

throwM :: Exception e => e -> Car m a

MonadCatch m => MonadCatch (Car m)

Defined in Tesla.Car

Methods

catch :: Exception e => Car m a -> (e -> Car m a) -> Car m a

MonadMask m => MonadMask (Car m)

Defined in Tesla.Car

Methods

mask :: ((forall a. Car m a -> Car m a) -> Car m b) -> Car m b

uninterruptibleMask :: ((forall a. Car m a -> Car m a) -> Car m b) -> Car m b

generalBracket :: Car m a -> (a -> ExitCase b -> Car m c) -> (a -> Car m b) -> Car m (b, c)

MonadLogger m => MonadLogger (Car m)

Defined in Tesla.Car

Methods

monadLoggerLog :: ToLogStr msg => Loc -> LogSource -> LogLevel -> msg -> Car m ()

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.

vehicleStatus :: MonadIO m => Car m VehicleState

vehicleStatus returns the current status of the current vehicle.

isAwake :: MonadIO m => Car m Bool

isAwake returns true if the current vehicle is awake and online.

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 fields because that's easy enough to do with Aeson and Lens when you need it but some convenience methods for common accesses 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

_Open :: forall a. Prism' (OpenState a) a

_Closed :: forall a. Prism' (OpenState a) a

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.4.1.3-62vmA8hxh5j6i2fNUCQCEE" '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.4.1.3-62vmA8hxh5j6i2fNUCQCEE" '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.4.1.3-62vmA8hxh5j6i2fNUCQCEE" '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.

currentVehicleID :: MonadReader CarEnv m => m VehicleID

Get the current vehicle ID from the Car Monad.

Orphan instances

(Monad m, MonadIO m, MonadReader CarEnv m) => HasTeslaAuth m

Methods

teslaAuth :: m AuthInfo