CurryInfo: curry-ast-3.1.0 / Curry.SpanInfo.setEndPosition

definition:
setEndPosition :: HasSpanInfo a => Position -> a -> a
setEndPosition e a = case getSrcSpan a of
  NoSpan   -> setSrcSpan (Span NoPos e) a
  Span p _ -> setSrcSpan (Span p     e) a
demand:
argument 1
deterministic:
deterministic operation
failfree:
(_, _, _)
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_,_,_) |-> _}
name:
setEndPosition
precedence:
no precedence defined
result-values:
_
signature:
HasSpanInfo a => Curry.Position.Position -> a -> a
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms