Copyright | Will Thompson Iñaki García Etxebarria and Jonas Platte |
---|---|
License | LGPL-2.1 |
Maintainer | Iñaki García Etxebarria (garetxe@gmail.com) |
Safe Haskell | None |
Language | Haskell2010 |
NetworkMonitor
provides an easy-to-use cross-platform API
for monitoring network connectivity. On Linux, the implementation
is based on the kernel's netlink interface.
- newtype NetworkMonitor = NetworkMonitor (ManagedPtr NetworkMonitor)
- noNetworkMonitor :: Maybe NetworkMonitor
- class GObject o => IsNetworkMonitor o
- toNetworkMonitor :: (MonadIO m, IsNetworkMonitor o) => o -> m NetworkMonitor
- networkMonitorCanReach :: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsSocketConnectable b, IsCancellable c) => a -> b -> Maybe c -> m ()
- networkMonitorCanReachAsync :: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsSocketConnectable b, IsCancellable c) => a -> b -> Maybe c -> Maybe AsyncReadyCallback -> m ()
- networkMonitorCanReachFinish :: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsAsyncResult b) => a -> b -> m ()
- networkMonitorGetConnectivity :: (HasCallStack, MonadIO m, IsNetworkMonitor a) => a -> m NetworkConnectivity
- networkMonitorGetDefault :: (HasCallStack, MonadIO m) => m NetworkMonitor
- networkMonitorGetNetworkAvailable :: (HasCallStack, MonadIO m, IsNetworkMonitor a) => a -> m Bool
- networkMonitorGetNetworkMetered :: (HasCallStack, MonadIO m, IsNetworkMonitor a) => a -> m Bool
- getNetworkMonitorConnectivity :: (MonadIO m, IsNetworkMonitor o) => o -> m NetworkConnectivity
- getNetworkMonitorNetworkAvailable :: (MonadIO m, IsNetworkMonitor o) => o -> m Bool
- getNetworkMonitorNetworkMetered :: (MonadIO m, IsNetworkMonitor o) => o -> m Bool
- type C_NetworkMonitorNetworkChangedCallback = Ptr () -> CInt -> Ptr () -> IO ()
- type NetworkMonitorNetworkChangedCallback = Bool -> IO ()
- afterNetworkMonitorNetworkChanged :: (IsNetworkMonitor a, MonadIO m) => a -> NetworkMonitorNetworkChangedCallback -> m SignalHandlerId
- genClosure_NetworkMonitorNetworkChanged :: NetworkMonitorNetworkChangedCallback -> IO Closure
- mk_NetworkMonitorNetworkChangedCallback :: C_NetworkMonitorNetworkChangedCallback -> IO (FunPtr C_NetworkMonitorNetworkChangedCallback)
- noNetworkMonitorNetworkChangedCallback :: Maybe NetworkMonitorNetworkChangedCallback
- onNetworkMonitorNetworkChanged :: (IsNetworkMonitor a, MonadIO m) => a -> NetworkMonitorNetworkChangedCallback -> m SignalHandlerId
- wrap_NetworkMonitorNetworkChangedCallback :: NetworkMonitorNetworkChangedCallback -> Ptr () -> CInt -> Ptr () -> IO ()
Exported types
newtype NetworkMonitor Source #
class GObject o => IsNetworkMonitor o Source #
toNetworkMonitor :: (MonadIO m, IsNetworkMonitor o) => o -> m NetworkMonitor Source #
Methods
canReach
networkMonitorCanReach Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsSocketConnectable b, IsCancellable c) | |
=> a |
|
-> b |
|
-> Maybe c |
|
-> m () | (Can throw |
Attempts to determine whether or not the host pointed to by
connectable
can be reached, without actually trying to connect to
it.
This may return True
even when NetworkMonitor
:network-available
is False
, if, for example, monitor
can determine that
connectable
refers to a host on a local network.
If monitor
believes that an attempt to connect to connectable
will succeed, it will return True
. Otherwise, it will return
False
and set error
to an appropriate error (such as
IOErrorEnumHostUnreachable
).
Note that although this does not attempt to connect to
connectable
, it may still block for a brief period of time (eg,
trying to do multicast DNS on the local network), so if you do not
want to block, you should use networkMonitorCanReachAsync
.
Since: 2.32
canReachAsync
networkMonitorCanReachAsync Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsSocketConnectable b, IsCancellable c) | |
=> a |
|
-> b |
|
-> Maybe c |
|
-> Maybe AsyncReadyCallback |
|
-> m () |
Asynchronously attempts to determine whether or not the host
pointed to by connectable
can be reached, without actually
trying to connect to it.
For more details, see networkMonitorCanReach
.
When the operation is finished, callback
will be called.
You can then call networkMonitorCanReachFinish
to get the result of the operation.
canReachFinish
networkMonitorCanReachFinish Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a, IsAsyncResult b) | |
=> a |
|
-> b |
|
-> m () | (Can throw |
Finishes an async network connectivity test.
See networkMonitorCanReachAsync
.
getConnectivity
networkMonitorGetConnectivity Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a) | |
=> a |
|
-> m NetworkConnectivity | Returns: the network connectivity state |
Gets a more detailed networking state than
networkMonitorGetNetworkAvailable
.
If NetworkMonitor
:network-available
is False
, then the
connectivity state will be NetworkConnectivityLocal
.
If NetworkMonitor
:network-available
is True
, then the
connectivity state will be NetworkConnectivityFull
(if there
is full Internet connectivity), NetworkConnectivityLimited
(if
the host has a default route, but appears to be unable to actually
reach the full Internet), or NetworkConnectivityPortal
(if the
host is trapped behind a "captive portal" that requires some sort
of login or acknowledgement before allowing full Internet access).
Note that in the case of NetworkConnectivityLimited
and
NetworkConnectivityPortal
, it is possible that some sites are
reachable but others are not. In this case, applications can
attempt to connect to remote servers, but should gracefully fall
back to their "offline" behavior if the connection attempt fails.
Since: 2.44
getDefault
networkMonitorGetDefault Source #
:: (HasCallStack, MonadIO m) | |
=> m NetworkMonitor | Returns: a |
Gets the default NetworkMonitor
for the system.
Since: 2.32
getNetworkAvailable
networkMonitorGetNetworkAvailable Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a) | |
=> a |
|
-> m Bool | Returns: whether the network is available |
Checks if the network is available. "Available" here means that the
system has a default route available for at least one of IPv4 or
IPv6. It does not necessarily imply that the public Internet is
reachable. See NetworkMonitor
:network-available
for more details.
Since: 2.32
getNetworkMetered
networkMonitorGetNetworkMetered Source #
:: (HasCallStack, MonadIO m, IsNetworkMonitor a) | |
=> a |
|
-> m Bool | Returns: whether the connection is metered |
Checks if the network is metered.
See NetworkMonitor
:network-metered
for more details.
Since: 2.46
Properties
connectivity
getNetworkMonitorConnectivity :: (MonadIO m, IsNetworkMonitor o) => o -> m NetworkConnectivity Source #
networkAvailable
getNetworkMonitorNetworkAvailable :: (MonadIO m, IsNetworkMonitor o) => o -> m Bool Source #
networkMetered
getNetworkMonitorNetworkMetered :: (MonadIO m, IsNetworkMonitor o) => o -> m Bool Source #
Signals
networkChanged
type NetworkMonitorNetworkChangedCallback = Bool -> IO () Source #
afterNetworkMonitorNetworkChanged :: (IsNetworkMonitor a, MonadIO m) => a -> NetworkMonitorNetworkChangedCallback -> m SignalHandlerId Source #
genClosure_NetworkMonitorNetworkChanged :: NetworkMonitorNetworkChangedCallback -> IO Closure Source #
mk_NetworkMonitorNetworkChangedCallback :: C_NetworkMonitorNetworkChangedCallback -> IO (FunPtr C_NetworkMonitorNetworkChangedCallback) Source #
onNetworkMonitorNetworkChanged :: (IsNetworkMonitor a, MonadIO m) => a -> NetworkMonitorNetworkChangedCallback -> m SignalHandlerId Source #
wrap_NetworkMonitorNetworkChangedCallback :: NetworkMonitorNetworkChangedCallback -> Ptr () -> CInt -> Ptr () -> IO () Source #