CurryInfo: coosy-3.1.0 / Coosy.ShowObserve.paren

definition:
paren :: Bool -> DOC -> DOC
paren False doc = group (nest 0 doc)
paren True  doc = group (nest 0 (text "(" <> nest 0 doc <> Prettier.break <> text ")"))
demand:
argument 1
deterministic:
deterministic operation
failfree:
(_, _)
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({False},_) |-> _ || ({True},_) |-> _}
name:
paren
precedence:
no precedence defined
result-values:
_
signature:
Prelude.Bool -> Coosy.Prettier.DOC -> Coosy.Prettier.DOC
solution-complete:
operation might suspend on free variables
terminating:
possibly non-terminating
totally-defined:
reducible on all ground data terms