Safe Haskell	None
Language	Haskell2010

Network.SocketCAN

Synopsis

withSocketCAN :: Int -> (Socket -> IO a) -> IO a
sendCANMessage :: Socket -> CANMessage -> IO ()
recvCANMessage :: Socket -> IO CANMessage
ifNameToIndex :: String -> IO (Maybe Int)
data SocketCANT (m :: Type -> Type) a
data CANInterface
mkCANInterface :: String -> CANInterface
data NoSuchInterface = NoSuchInterface
runSocketCAN :: (MonadIO m, MonadUnliftIO m) => CANInterface -> SocketCANT m a -> m a

Documentation

withSocketCAN :: Int -> (Socket -> IO a) -> IO a Source #

sendCANMessage :: Socket -> CANMessage -> IO () Source #

recvCANMessage :: Socket -> IO CANMessage Source #

ifNameToIndex :: String -> IO (Maybe Int) #

Returns the index corresponding to the interface name.

Since 2.7.0.0.

data SocketCANT (m :: Type -> Type) a Source #

Instances

Instances details

MonadTrans SocketCANT Source #
Instance details Defined in Network.SocketCAN Methods lift :: Monad m => m a -> SocketCANT m a #
Monad m => MonadReader Socket (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods ask :: SocketCANT m Socket # local :: (Socket -> Socket) -> SocketCANT m a -> SocketCANT m a # reader :: (Socket -> a) -> SocketCANT m a #
MonadIO m => MonadIO (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods liftIO :: IO a -> SocketCANT m a #
Applicative m => Applicative (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods pure :: a -> SocketCANT m a # (<>) :: SocketCANT m (a -> b) -> SocketCANT m a -> SocketCANT m b # liftA2 :: (a -> b -> c) -> SocketCANT m a -> SocketCANT m b -> SocketCANT m c # (>) :: SocketCANT m a -> SocketCANT m b -> SocketCANT m b # (<*) :: SocketCANT m a -> SocketCANT m b -> SocketCANT m a #
Functor m => Functor (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods fmap :: (a -> b) -> SocketCANT m a -> SocketCANT m b # (<$) :: a -> SocketCANT m b -> SocketCANT m a #
Monad m => Monad (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods (>>=) :: SocketCANT m a -> (a -> SocketCANT m b) -> SocketCANT m b # (>>) :: SocketCANT m a -> SocketCANT m b -> SocketCANT m b # return :: a -> SocketCANT m a #
MonadIO m => MonadCAN (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods send :: CANMessage -> SocketCANT m () Source # recv :: SocketCANT m CANMessage Source #
MonadUnliftIO m => MonadUnliftIO (SocketCANT m) Source #
Instance details Defined in Network.SocketCAN Methods withRunInIO :: ((forall a. SocketCANT m a -> IO a) -> IO b) -> SocketCANT m b #

data CANInterface Source #

Instances

Instances details

Show CANInterface Source #
Instance details Defined in Network.SocketCAN Methods showsPrec :: Int -> CANInterface -> ShowS # show :: CANInterface -> String # showList :: [CANInterface] -> ShowS #
Eq CANInterface Source #
Instance details Defined in Network.SocketCAN Methods (==) :: CANInterface -> CANInterface -> Bool # (/=) :: CANInterface -> CANInterface -> Bool #

mkCANInterface :: String -> CANInterface Source #

data NoSuchInterface Source #

Constructors

NoSuchInterface

Instances

Instances details

Exception NoSuchInterface Source #
Instance details Defined in Network.SocketCAN Methods toException :: NoSuchInterface -> SomeException # fromException :: SomeException -> Maybe NoSuchInterface # displayException :: NoSuchInterface -> String #
Show NoSuchInterface Source #
Instance details Defined in Network.SocketCAN Methods showsPrec :: Int -> NoSuchInterface -> ShowS # show :: NoSuchInterface -> String # showList :: [NoSuchInterface] -> ShowS #

runSocketCAN :: (MonadIO m, MonadUnliftIO m) => CANInterface -> SocketCANT m a -> m a Source #