CurryInfo: stylechecker-2.0.0 / Check.AST.Indent.Deriving.checkDeriving'
definition: 
|
checkDeriving' :: SpanInfo -> [ConstrDecl] -> [QualIdent] -> CSM () checkDeriving' sI (l:ls) d = case l of (ConstrDecl _ _ _) -> checkDerivingC sI (l:ls) d (RecordDecl _ _ _) -> checkRecord sI (l:ls) d _ -> return () checkDeriving' _ [] _ = return () |
|
demand:
|
argument 2 |
|
deterministic:
|
deterministic operation |
|
documentation:
|
Checks according to type. |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,{:},_) |-> _ || (_,{[]},_) |-> _}
|
|
name:
|
checkDeriving' |
|
precedence:
|
no precedence defined |
|
result-values:
|
_ |
|
signature:
|
Curry.SpanInfo.SpanInfo -> [Curry.Types.ConstrDecl] -> [Curry.Ident.QualIdent] -> 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 |