Add functions for coverting between annotated and unannotated Docs.

haskell / pretty

Haskell Pretty-printer library

Other

69 stars 30 forks source link

Add functions for coverting between annotated and unannotated Docs. #56

Open judah opened 4 years ago

judah commented 4 years ago

docToUnitDoc :: Doc -> Ann.Doc ()
unitDocToAnnotatedDoc :: Ann.Doc () -> Ann.Doc a

These two functions together allow you to combine together annotated and unannotated documents. In particular, it lets you embed a unannotated Doc inside another, annotated Doc a of arbitrary annotation type.

phadej commented 4 years ago

It indeed makes sense to have these. Thanks!

I'll leave this open now, I have to think about naming. Please ping me if nothing happens in two weeks.

judah commented 4 years ago

@phadej, friendly ping?

Ailrun commented 4 months ago

@phadej May I ask the status of this PR?