pretty icon indicating copy to clipboard operation
pretty copied to clipboard
verified publisher icon haskell

Add functions for coverting between annotated and unannotated Docs.

Open judah opened this issue 5 years ago • 3 comments

  • 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.

judah avatar Mar 02 '20 23:03 judah

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.

phadej avatar Mar 03 '20 07:03 phadej

@phadej, friendly ping?

judah avatar May 11 '20 19:05 judah

@phadej May I ask the status of this PR?

Ailrun avatar Mar 09 '24 00:03 Ailrun