CurryInfo: stylechecker-2.0.0 / Check.AST.newIndent

definition: Info
 
newIndent :: HasSpanInfo a => (SpanInfo -> Int) -> SpanInfo -> a -> Int -> Int
newIndent f sI a i = if (f sI) == (getLi (getSpanInfo a)) then i else (getCol (getSpanInfo a))
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
takes a function, which selects a certain line Position of a key of the
construct in the given spanInfo (which is the parent)
and compares to line of current child
if they are in the same line, return the indentation edge for the parent
(since the child adopts it)
else, the new edge is the child itself

the indentation edge is used in checks to get the right indentation for
childs of current construct (in this case the grandchildren!)
failfree: Info
 (_, _, _, _, _)
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {(_,_,_,_,_) |-> _}
name: Info
 newIndent
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 Curry.SpanInfo.HasSpanInfo a => (Curry.SpanInfo.SpanInfo -> Prelude.Int)
-> Curry.SpanInfo.SpanInfo -> a -> Prelude.Int -> Prelude.Int
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms