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.
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. 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