Sign upLogin

Verites/verigraph

View on GitHub
Star
src/library/Category/TypedGraph/FinalPullbackComplement.hs

Summary

Maintainability
Test Coverage

Avoid restricted qualification
Open

import           Data.Graphs                        as G
Severity: Minor
Found in src/library/Category/TypedGraph/FinalPullbackComplement.hs by hlint

Found

import Data.Graphs as G

Perhaps

import Data.Graphs as Graph

Applying this change:

  • may break the code

Move guards forward
Open

          edgesFromA = [(edgeId e, u, v) |
                         e <- orphanTypedEdges m,
                         u <- nodeIdsFromDomain edgesL',
                         v <- nodeIdsFromDomain edgesL',
                         sourceId e == applyNodeIdUnsafe edgesL' u,
Severity: Minor
Found in src/library/Category/TypedGraph/FinalPullbackComplement.hs by hlint

Found

[(edgeId e, u, v) | e <- orphanTypedEdges m,
 u <- nodeIdsFromDomain edgesL', v <- nodeIdsFromDomain edgesL',
 sourceId e == applyNodeIdUnsafe edgesL' u,
 targetId e == applyNodeIdUnsafe edgesL' v]

Perhaps

[(edgeId e, u, v) | e <- orphanTypedEdges m,
 u <- nodeIdsFromDomain edgesL',
 sourceId e == applyNodeIdUnsafe edgesL' u,
 v <- nodeIdsFromDomain edgesL',
 targetId e == applyNodeIdUnsafe edgesL' v]

There are no issues that match your filters.

Category
Status