Verites/verigraph

View on GitHub
src/library/Data/TypedGraph/Morphism.hs

Summary

Maintainability
Test Coverage

TODO found
Open

  -- TODO: write export list explicitly

Avoid restricted qualification
Open

import qualified Data.Graphs          as Untyped

Found

import qualified Data.Graphs as Untyped

Perhaps

import qualified Data.Graphs as Graph

Applying this change:

  • may break the code

There are no issues that match your filters.

Category
Status