fraport/fradrive
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(workflow-types): derive Show for Graph and Edge

Browse Source
This commit is contained in:
Sarah Vaupel 2020-04-06 10:41:47 +02:00 committed by Gregor Kleen
parent 99c0bfe8bf
commit c65bc7bda8
1 changed files with 2 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/Model/Types/Workflow.hs
View File

@ -120,9 +120,7 @@ data WorkflowGraphEdge userid fileid = WGE
, wgeTarget :: WorkflowGraphNodeLabel , wgeTarget :: WorkflowGraphNodeLabel
, wgeForm :: Map WorkflowEdgePayloadLabel (NonNull (Set (WorkflowEdgePayloadSpecification fileid userid))) , wgeForm :: Map WorkflowEdgePayloadLabel (NonNull (Set (WorkflowEdgePayloadSpecification fileid userid)))
} }
deriving Show
instance (Show userid, Show fileid) => Show (WorkflowGraphEdge userid fileid) where
show WGE{..} = "WGE {wgeActors = " ++ show wgeActors ++ ", wgeTarget = " ++ show wgeTarget ++ ", wgeForm = " ++ show wgeForm ++ "}"
instance (Eq userid, Eq fileid) => Eq (WorkflowGraphEdge userid fileid) where instance (Eq userid, Eq fileid) => Eq (WorkflowGraphEdge userid fileid) where
e1@WGE{} == e2@WGE{} = wgeActors e1 == wgeActors e2 && wgeTarget e1 == wgeTarget e2 && wgeForm e1 == wgeForm e2 e1@WGE{} == e2@WGE{} = wgeActors e1 == wgeActors e2 && wgeTarget e1 == wgeTarget e2 && wgeForm e1 == wgeForm e2
@ -133,9 +131,7 @@ instance (Ord userid, Ord fileid) => Ord (WorkflowGraphEdge userid fileid) where
data WorkflowGraph userid fileid = WorkflowGraph data WorkflowGraph userid fileid = WorkflowGraph
{ wgNodes :: Map WorkflowGraphNodeLabel (WorkflowGraphNode, Set (WorkflowGraphEdge userid fileid)) { wgNodes :: Map WorkflowGraphNodeLabel (WorkflowGraphNode, Set (WorkflowGraphEdge userid fileid))
} }
deriving Show
instance (Show userid, Show fileid) => Show (WorkflowGraph userid fileid) where
show (WorkflowGraph m) = show m
instance (Eq userid, Eq fileid) => Eq (WorkflowGraph userid fileid) where instance (Eq userid, Eq fileid) => Eq (WorkflowGraph userid fileid) where
WorkflowGraph m1 == WorkflowGraph m2 = m1 == m2 WorkflowGraph m1 == WorkflowGraph m2 = m1 == m2