Data.Graph.Connectivity

isConnected

isDisconnected

areConnected

areDisconnected

unreachableVertices

isWeaklyConnected

connected component

strong components

vertex cut

vertex connectivity

bridge

edge-connectivity

maximally connected

maximally edge-connected

super-connectivity

hyper-connectivity

Menger's theorem