definition: |
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: |
no demanded arguments |
deterministic: |
deterministic operation |
documentation: |
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: |
(_, _, _, _, _) |
indeterministic: |
referentially transparent operation |
infix: |
no fixity defined |
iotype: |
{(_,_,_,_,_) |-> _} |
name: |
newIndent |
precedence: |
no precedence defined |
result-values: |
_ |
signature: |
Curry.SpanInfo.HasSpanInfo a => (Curry.SpanInfo.SpanInfo -> Prelude.Int) -> Curry.SpanInfo.SpanInfo -> a -> Prelude.Int -> Prelude.Int |
solution-complete: |
operation might suspend on free variables |
terminating: |
yes |
totally-defined: |
reducible on all ground data terms |