CurryInfo: wl-pprint-3.0.0 / Text.Pretty.punctuate

punctuate :: Doc -> [Doc] -> [Doc]
punctuate d ds = go ds
 where
  go []           = []
  go [x]          = [x]
  go (x:xs@(_:_)) = (x <> d) : go xs

argument 2

deterministic operation

--- `(punctuate p xs)` concatenates all documents `xs` with document `p` except
--- for the last document.
---
---     someText = map text ["words","in","a","tuple"]
---     test     = parens (align (cat (punctuate comma someText)))
---
--- This is layed out on a page width of 20 as:
---
---     (words,in,a,tuple)
---
--- But when the page width is 15, it is layed out as:
---
---     (words,
---      in,
---      a,
---      tuple)
---
--- (If you want put the commas in front of their elements instead of at the
--- end, you should use `tupled` or, in general, `encloseSep`.)
--- @param p  - a document as seperator
--- @param xs - a list of documents
--- @return concatenation of documents with p in between

(_, _)

referentially transparent operation

no fixity defined

{(_,_) |-> {:,[]}}

punctuate

no precedence defined

{:,[]}

Text.PrettyImpl.Doc -> [Text.PrettyImpl.Doc] -> [Text.PrettyImpl.Doc]

operation might suspend on free variables

yes

possibly non-reducible on same data term