Sign upLogin

Verites/verigraph

View on GitHub
Star
src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs

Summary

Maintainability
Test Coverage

TODO found
Open

    originalRulesWithMatches = calculateRulesColimit sequence -- TODO: unify this two functions
Severity: Minor
Found in src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs by fixme

Use .
Open

    doubleType = codomain $ getMatch $ head originalRulesWithMatches
Severity: Minor
Found in src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs by hlint

Found

codomain $ getMatch $ head originalRulesWithMatches

Perhaps

codomain . getMatch $ head originalRulesWithMatches

Use .
Open

    creationAndDeletion = S.filter isRuleAndElement $ S.unions $ L.map creationAndDeletionRelation productions
Severity: Minor
Found in src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs by hlint

Found

S.filter isRuleAndElement $
  S.unions $ L.map creationAndDeletionRelation productions

Perhaps

S.filter isRuleAndElement . S.unions $
  L.map creationAndDeletionRelation productions

There are no issues that match your filters.

Category
Status