cue icon indicating copy to clipboard operation
cue copied to clipboard

cmd/cue: add "hoist" command

Open cueckoo opened this issue 4 years ago • 1 comments

Originally opened by @mpvl in https://github.com/cuelang/cue/issues/7

Implement cue hoist to extract templates from concrete data definitions. One could see this as cue trim in the opposite direction.

This can be implemented using the known anti-unification algorithm. It probably makes sense, though, to disregard disjunctions or to limit the number of elements.

cueckoo avatar Jul 03 '21 10:07 cueckoo

Linking to https://github.com/cue-lang/cue/discussions/2231 because apparently GitHub does not create the linkage between issues and discussions.

myitcv avatar Apr 21 '23 10:04 myitcv