Sign upLogin

Verites/verigraph

View on GitHub
Star
src/library/Logic/Ctl/Parser.hs

Summary

Maintainability
Test Coverage

Use $>
Open

  <|> (reserved "EG" *> pure (E . G))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "EG" *> pure (E . G)

Perhaps

reserved "EG" Data.Functor.$> (E . G)

Use $>
Open

      (reserved "A" *> pure A) <|> (reserved "E" *> pure E) <?> "temporal quantifier"
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "E" *> pure E

Perhaps

reserved "E" Data.Functor.$> E

Use $>
Open

  (reserved "AX" *> pure (A . X))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "AX" *> pure (A . X)

Perhaps

reserved "AX" Data.Functor.$> (A . X)

Use $>
Open

  <|> (reserved "EF" *> pure (E . F))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "EF" *> pure (E . F)

Perhaps

reserved "EF" Data.Functor.$> (E . F)

Use $>
Open

  <|> (reserved "AG" *> pure (A . G))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "AG" *> pure (A . G)

Perhaps

reserved "AG" Data.Functor.$> (A . G)

Use $>
Open

  <|> (reserved "EX" *> pure (E . X))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "EX" *> pure (E . X)

Perhaps

reserved "EX" Data.Functor.$> (E . X)

Use $>
Open

      reserved "U" *> pure U
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "U" *> pure U

Perhaps

(reserved "U" Data.Functor.$> U)

Use $>
Open

      (reserved "A" *> pure A) <|> (reserved "E" *> pure E) <?> "temporal quantifier"
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "A" *> pure A

Perhaps

reserved "A" Data.Functor.$> A

Use $>
Open

  <|> (reserved "AF" *> pure (A . F))
Severity: Minor
Found in src/library/Logic/Ctl/Parser.hs by hlint

Found

reserved "AF" *> pure (A . F)

Perhaps

reserved "AF" Data.Functor.$> (A . F)

There are no issues that match your filters.

Category
Status