Feldspar.DSL.Network
data Out role
data In role
data Connection edge node role a
type Network edge node
class EdgeInfo a
class MultiEdge a node edge
prop_edge1
prop_edge2
undoEdge
edgeCast
mapEdge
listEdge
matchPath
countEdges
isMatch
traceVar
isNode
isEdge