Data.Graph.Connectivity

areConnected

areDisconnected

isIsolated

isConnected

isBridgeless

isOrientable

isWeaklyConnected

isStronglyConnected

connected component

strong components

vertex cut

vertex connectivity

bridge

edge-connectivity

maximally connected

maximally edge-connected

super-connectivity

hyper-connectivity

Menger's theorem