| definition: |
checkApplyEqualsTrue :: Expression a -> CSM () checkApplyEqualsTrue e = case checkApplyCompare 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 |
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_) |-> _}
|
| name: |
checkApplyEqualsTrue |
| 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 |