vertex is:exact

Construct the graph comprising a single isolated vertex. An alias for the constructor Vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
size        (vertex x) == 1
Construct the graph comprising a single isolated vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex.
vertex . Left  == leftVertex
vertex . Right == rightVertex
Construct the graph with a single vertex.
Construct the graph comprising a single isolated vertex. An alias for pure.
Construct the graph comprising a single isolated vertex. An alias for the constructor Vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex. An alias for the constructor Vertex.
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
size        (vertex x) == 1
Construct the graph comprising a single isolated vertex.
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
Construct the graph comprising a single isolated vertex.
isEmpty     (vertex x) == False
hasVertex x (vertex y) == (x == y)
vertexCount (vertex x) == 1
edgeCount   (vertex x) == 0
size        (vertex x) == 1