CurryInfo: wl-pprint-3.0.0 / Text.PrettyImpl.noGroup

noGroup :: Tokens -> Width -> Position -> Out
noGroup EOD              _ _ _ _  _  = ""
-- should not occur:
noGroup (Empty       ts) w p r ms fs = noGroup ts w p r ms fs
noGroup (Text      t ts) w p r ms fs = t ++ noGroup ts w (p + l) (r - l) ms fs
  where l = lengthVis t
noGroup (LineBreak _ ts) w p _ ms fs = case ms of
  []  -> error "Pretty.noGroup: illegal line"
  m:_ -> '\n' : addSpaces m ts ++      noGroup  ts w (p + 1) (w - m) ms fs
noGroup (OpenGroup   ts) w p r ms fs = oneGroup ts w p       (p + r) (\_ c -> c) r ms fs
noGroup (CloseGroup  ts) w p r ms fs = noGroup  ts w p       r       ms fs -- may have been pruned
noGroup (OpenNest  n ts) w p r ms fs = noGroup  ts w p       r       (applyNesting n w r ms) fs
noGroup (CloseNest   ts) w p r ms fs = noGroup  ts w p       r       (unApplyNesting ms) fs
noGroup (OpenFormat f ts) w p r ms fs = applyFormat f ++ noGroup ts w p r ms (f:fs)
noGroup (CloseFormat  ts) w p r ms fs = applyFormat f ++ noGroup ts w p r ms ofs
 where
  (f, ofs) = resetFormat fs

argument 1

deterministic operation

-- noGroup is used when there is currently no deferred group

(_, _, _, _, _, _)

referentially transparent operation

no fixity defined

{({EOD},_,_,_,_,_) |-> {[]} || ({Empty},_,_,_,_,_) |-> _ || ({Text},_,_,_,_,_) |-> _ || ({LineBreak},_,_,_,{:},_) |-> {:} || ({OpenGroup},_,_,_,_,_) |-> _ || ({CloseGroup},_,_,_,_,_) |-> _ || ({OpenNest},_,_,_,_,_) |-> _ || ({CloseNest},_,_,_,_,_) |-> _ || ({OpenFormat},_,_,_,_,_) |-> _ || ({CloseFormat},_,_,_,_,_) |-> _}

noGroup

no precedence defined

_

Tokens -> Prelude.Int -> Prelude.Int -> Prelude.Int -> [Prelude.Int]
-> [FormatStm] -> String

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term