linear-base icon indicating copy to clipboard operation
linear-base copied to clipboard
verified publisher icon tweag

Question: unrestricted list functions

Open treeowl opened this issue 2 years ago • 1 comments

Do we have functions that can conveniently implement these?

foo :: Ur [a] %1-> [Ur a]
bar :: [Ur a] %1-> Ur [a]

treeowl avatar Apr 05 '23 16:04 treeowl

I assume foo would be a traverse function, but we haven't got around to design the traversable hierarchy see #220 .

I don't have any generic mechanism for bar in mind.

aspiwack avatar Apr 06 '23 06:04 aspiwack