mirror of
https://code.sup39.dev/repos/Wqawg
synced 2025-03-20 04:46:22 +09:00
Ticket tree view page
This commit is contained in:
parent
b5014a0f5f
commit
dc54a89503
7 changed files with 92 additions and 2 deletions
src/Data/Graph/DirectedAcyclic/View
|
@ -87,8 +87,8 @@ edgeView
|
|||
-- ^ New edge label. For a full edge, 'Nothing'. For a link edge, 'Just' an
|
||||
-- updated choice map that chooses this edge as the new full edge for the
|
||||
-- child.
|
||||
edgeView _ (_, _, False) = Nothing
|
||||
edgeView choices (child, parent, True) = Just $ M.insert child parent choices
|
||||
edgeView _ (_, _, True) = Nothing
|
||||
edgeView choices (child, parent, False) = Just $ M.insert child parent choices
|
||||
|
||||
reverseEdge :: (n, n, a) -> (n, n, a)
|
||||
reverseEdge (x, y, l) = (y, x, l)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue