Generics.Putlenses.Examples.Graph
type Vertex
type Edges
type Graph
genGraph
genGraph'
genEdges
genEdge
deleteVertex
testDelete
genGraphPut
edgesPut
lengthEdgesFromPut
verticesPut
lengthVerticesPut
sumEdgesPut
exg
testGraph
testSum
anyint
positiveint