CurryInfo: stylechecker-2.0.0 / Check.AST.newIndent

 
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))

 no demanded arguments

 deterministic operation

 
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!)

 (_, _, _, _, _)

 referentially transparent operation

 no fixity defined

 {(_,_,_,_,_) |-> _}

 newIndent

 no precedence defined

 _

 Curry.SpanInfo.HasSpanInfo a => (Curry.SpanInfo.SpanInfo -> Prelude.Int)
-> Curry.SpanInfo.SpanInfo -> a -> Prelude.Int -> Prelude.Int

 operation might suspend on free variables

 yes

 reducible on all ground data terms