| definition: |
checkInfixEqualsTrue :: Expression a -> CSM () checkInfixEqualsTrue e = case checkInfixCompare e of (sI, (Constructor _ _ (QualIdent _ _ (Ident _ "True" _))), "==", _) -> warnEqualsTrue sI "True == a" "a" (sI, (Constructor _ _ (QualIdent _ _ (Ident _ "False" _))) , "==", _) -> warnEqualsTrue sI "False == a" "not a" (sI, (Constructor _ _ (QualIdent _ _ (Ident _ "True" _))) , "/=", _) -> warnEqualsTrue sI "True /= a" "not a" (sI, (Constructor _ _ (QualIdent _ _ (Ident _ "False" _))) , "/=", _) -> warnEqualsTrue sI "False /= a" "a" (sI, _ , "==", (Constructor _ _ (QualIdent _ _ (Ident _ "True" _)))) -> warnEqualsTrue sI "a == True" "a" (sI, _ , "==", (Constructor _ _ (QualIdent _ _ (Ident _ "False" _)))) -> warnEqualsTrue sI "a == False" "not a" (sI, _ , "/=", (Constructor _ _ (QualIdent _ _ (Ident _ "True" _)))) -> warnEqualsTrue sI "a /= True" "not a" (sI, _ , "/=", (Constructor _ _ (QualIdent _ _ (Ident _ "False" _)))) -> warnEqualsTrue sI "a /= False" "a" _ -> return () |
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
-- For each `True`, `False` and `==`, `/=` combination with a bool, just using -- the bool is recommended. |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
checkInfixEqualsTrue |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
Curry.Types.Expression a -> 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 |