Sign upLogin

Verites/verigraph

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

Summary

Maintainability
Test Coverage

TODO found
Open

-- TODO: FORCE NODE MAPPINGS (VERIFY IF IT IS NECESSARY)
Severity: Minor
Found in src/library/Category/TypedGraph/FindMorphism.hs by fixme

Use .
Open

    then Just $ buildTypedGraphMorphism d c $ GM.updateNodes n1 n2 m
Severity: Minor
Found in src/library/Category/TypedGraph/FindMorphism.hs by hlint

Found

Just $ buildTypedGraphMorphism d c $ GM.updateNodes n1 n2 m

Perhaps

Just . buildTypedGraphMorphism d c $ GM.updateNodes n1 n2 m

Avoid restricted qualification
Open

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

Found

import qualified Data.Graphs as G

Perhaps

import qualified Data.Graphs as Graph

Applying this change:

  • may break the code

There are no issues that match your filters.

Category
Status