CurryInfo: stylechecker-2.0.0 / Check.AST.Pattern.NotEqual.checkNotEqual

definition: 
checkNotEqual :: Expression a -> Int -> CSM ()
checkNotEqual e _ =
  case e of
    (Apply sI
      (Variable _ _
        (QualIdent _ _
          (Ident _ "not" _)))
      (Paren _
        (InfixApply
          _
          _
          (InfixOp _
            (QualIdent _ _
              (Ident _ "==" _)))
          _ )))
      -> report (Message
                  (getSpan sI)
                  (text "Do not use" <+> colorizeKey "not (a == b)")
                  (text "Use" <+> colorizeKey "a /= b" <+> text "instead"))
    (Apply sI
      (Variable _ _
        (QualIdent _ _
          (Ident _ "not" _)))
      (Paren _
        (InfixApply
          _
          _
          (InfixOp _
            (QualIdent _ _
              (Ident _ "/=" _)))
          _ )))
      -> report (Message
                  (getSpan sI)
                  (text "Do not use" <+> colorizeKey "not (a /= b)")
                  (text "Use" <+> colorizeKey "a == b" <+> text "instead"))
    (Apply sI
      (Variable _ _
        (QualIdent _ _
          (Ident _ "not" _)))
      (Paren _
        (Apply _
          (Apply _
            (Variable _ _
              (QualIdent _ _
                (Ident _ "/=" _)
              )
            )
          _)
        _)))
      -> report (Message
                  (getSpan sI)
                  (text "Do not use" <+> colorizeKey "not ((/=) a b)")
                  (text "Use" <+> colorizeKey "(==) a b" <+> text "instead"))
    (Apply sI
      (Variable _ _
        (QualIdent _ _
          (Ident _ "not" _)))
      (Paren _
        (Apply _
          (Apply _
            (Variable _ _
              (QualIdent _ _
                (Ident _ "==" _)
              )
            )
          _)
        _)))
      -> report (Message
                  (getSpan sI)
                  (text "Do not use" <+> colorizeKey "not ((==) a b)")
                  (text "Use" <+> colorizeKey "(/=) a b" <+> text "instead"))
    _ -> return ()
demand: 
argument 1
deterministic: 
deterministic operation
documentation: 
-- If `not (a = b)` or `not (a /= b)` is used, `/=` or `==` is recommended instead.
-- -- NOTE: add `not ((==) a b)`
failfree: 
<FAILING>
indeterministic: 
referentially transparent operation
infix: 
no fixity defined
iotype: 
{({Apply},_) |-> _ || ({Literal},_) |-> _ || ({Variable},_) |-> _ || ({Constructor},_) |-> _ || ({Paren},_) |-> _ || ({Typed},_) |-> _ || ({Record},_) |-> _ || ({RecordUpdate},_) |-> _ || ({Tuple},_) |-> _ || ({List},_) |-> _ || ({ListCompr},_) |-> _ || ({EnumFrom},_) |-> _ || ({EnumFromThen},_) |-> _ || ({EnumFromTo},_) |-> _ || ({EnumFromThenTo},_) |-> _ || ({UnaryMinus},_) |-> _ || ({InfixApply},_) |-> _ || ({LeftSection},_) |-> _ || ({RightSection},_) |-> _ || ({Lambda},_) |-> _ || ({Let},_) |-> _ || ({Do},_) |-> _ || ({IfThenElse},_) |-> _ || ({Case},_) |-> _}
name: 
checkNotEqual
precedence: 
no precedence defined
result-values: 
_
signature: 
Curry.Types.Expression a -> Prelude.Int
-> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity ()
solution-complete: 
operation might suspend on free variables
terminating: 
possibly non-terminating
totally-defined: 
possibly non-reducible on same data term