CurryInfo: stylechecker-2.0.0 / Check.AST.Pattern.EqualsEmptyList.checkEqualsEmptyList

definition: Info 
 
checkEqualsEmptyList :: Expression a -> Int -> CSM ()
checkEqualsEmptyList e _ = case e of
  (InfixApply
    _
    _
    (InfixOp _
      (QualIdent _ _
        (Ident _ _ _)))
    _)
    -> checkInfix e
  (Apply _
    (Apply _
      (Variable _ _
        (QualIdent _ _
          (Ident _ _ _)
        )
      )
      _)
    _)
    -> checkApply e
  _ -> return ()
demand: Info 
 argument 1
deterministic: Info 
 deterministic operation
documentation: Info 
 
Check for infix operation and function with two parameters.
failfree: Info 
 <FAILING>
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {({InfixApply},_) |-> _ || ({Apply},_) |-> _ || ({Literal},_) |-> _ || ({Variable},_) |-> _ || ({Constructor},_) |-> _ || ({Paren},_) |-> _ || ({Typed},_) |-> _ || ({Record},_) |-> _ || ({RecordUpdate},_) |-> _ || ({Tuple},_) |-> _ || ({List},_) |-> _ || ({ListCompr},_) |-> _ || ({EnumFrom},_) |-> _ || ({EnumFromThen},_) |-> _ || ({EnumFromTo},_) |-> _ || ({EnumFromThenTo},_) |-> _ || ({UnaryMinus},_) |-> _ || ({LeftSection},_) |-> _ || ({RightSection},_) |-> _ || ({Lambda},_) |-> _ || ({Let},_) |-> _ || ({Do},_) |-> _ || ({IfThenElse},_) |-> _ || ({Case},_) |-> _}
name: Info 
 checkEqualsEmptyList
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 Curry.Types.Expression a -> Prelude.Int
-> Control.Monad.Trans.State.StateT Types.CheckState Data.Functor.Identity.Identity ()
solution-complete: Info 
 operation might suspend on free variables
terminating: Info 
 possibly non-terminating
totally-defined: Info 
 possibly non-reducible on same data term