-- | Adds to the DGNodeType list style options for each type
nodeTypes :: HetcatsOpts
          -> [( DGNodeType -- Nodetype
              , Shape GA.NodeValue -- Shape
              , String -- Color
              )]
nodeTypes opts = map
  ((\ (n, s) -> if isProvenNode n then -- Add color
      if isProvenCons n
      then (n, s, getColor opts Green True False)
      else (n, s, getColor opts Yellow False True)
     else (n, s, getColor opts Coral False $ isProvenCons n))
  . \ n -> (n, if isRefType n then Box else Ellipse) -- Add shape
  ) listDGNodeTypes
nodeTypes :: HetcatsOpts
          -> [( DGNodeType -- Nodetype
              , Shape GA.NodeValue -- Shape
              , String -- Color
              )]
nodeTypes opts = map
  ((\ (n, s) -> if isProvenNode n then -- Add color
      if isProvenCons n
      then (n, s, getColor opts Green True False)
      else (n, s, getColor opts Yellow False True)
     else (n, s, getColor opts Coral False $ isProvenCons n))
  . \ n -> (n, if isRefType n then Box else Ellipse) -- Add shape
  ) listDGNodeTypes
nodeTypes opts = map
  ((\ (n, s) -> if isProvenNode n then -- Add color
      if isProvenCons n
      then (n, s, getColor opts Green True False)
      else (n, s, getColor opts Yellow False True)
     else (n, s, getColor opts Coral False $ isProvenCons n))
  . \ n -> (n, if isRefType n then Box else Ellipse) -- Add shape
  ) listDGNodeTypes