CurryInfo: stylechecker-2.0.0 / Check.AST.Indent.Where.checkWhere

definition: Info 
 
checkWhere :: Decl a -> Int -> CSM ()
checkWhere e _ = 
  case e of
    (FunctionDecl sI _ _ eqs) -> checkWhere' sI eqs
    _                         -> return ()
demand: Info 
 argument 1
deterministic: Info 
 deterministic operation
documentation: Info 
 
Checks in function for `where` declarations.
failfree: Info 
 <FAILING>
indeterministic: Info 
 referentially transparent operation
infix: Info 
 no fixity defined
iotype: Info 
 {({FunctionDecl},_) |-> _ || ({InfixDecl},_) |-> _ || ({DataDecl},_) |-> _ || ({ExternalDataDecl},_) |-> _ || ({NewtypeDecl},_) |-> _ || ({TypeDecl},_) |-> _ || ({TypeSig},_) |-> _ || ({ExternalDecl},_) |-> _ || ({PatternDecl},_) |-> _ || ({FreeDecl},_) |-> _ || ({DefaultDecl},_) |-> _ || ({ClassDecl},_) |-> _ || ({InstanceDecl},_) |-> _}
name: Info 
 checkWhere
precedence: Info 
 no precedence defined
result-values: Info 
 _
signature: Info 
 Curry.Types.Decl 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