CurryInfo: currypp-3.2.0 / CPP.ICode.Parser.ML.Parser.layout
definition: 
|
layout :: String -> TPos -> ([Symbol],[Warning])
layout l start = (join input,r)
where (input,r) = lex l start
join :: [Symbol] -> [Symbol]
join [] = []
join (x:xs) | isStartTag x = joiner x xs []
| otherwise = x : join xs
joiner :: Symbol -> [Symbol] -> [Symbol] -> [Symbol]
joiner t [] tmp = t : reverse tmp
joiner t@(StartTag s a _,p) (x:xs) tmp
| isAlign x = joiner t xs (x:tmp)
| otherwise = (:) (StartTag s a (wcol (pos x)),p)
(reverse tmp) ++ join (x:xs)
|
|
demand:
|
no demanded arguments |
|
deterministic:
|
deterministic operation |
|
documentation:
|
set the right indentation for every StartTag |
|
failfree:
|
<FAILING> |
|
indeterministic:
|
referentially transparent operation |
|
infix:
|
no fixity defined |
|
iotype:
|
{(_,_) |-> {(,)}}
|
|
name:
|
layout |
|
precedence:
|
no precedence defined |
|
result-values:
|
{(,)}
|
|
signature:
|
String -> ((Prelude.Int, Prelude.Int), Prelude.Int) -> ([(CPP.ICode.Parser.ML.Types.Token, ((Prelude.Int, Prelude.Int), Prelude.Int))], [(CPP.ICode.ParsePos.Pos, String)]) |
|
solution-complete:
|
operation might suspend on free variables |
|
terminating:
|
possibly non-terminating |
|
totally-defined:
|
possibly non-reducible on same data term |