Skip to content
This repository has been archived by the owner on Nov 18, 2021. It is now read-only.

cmd/cue: add "hoist" command #7

Closed
mpvl opened this issue Jan 30, 2019 · 1 comment
Closed

cmd/cue: add "hoist" command #7

mpvl opened this issue Jan 30, 2019 · 1 comment
Labels
FeatureRequest New feature or request roadmap/cli Specific tag for roadmap issue #337

Comments

@mpvl
Copy link
Contributor

mpvl commented Jan 30, 2019

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.
@mpvl mpvl changed the title Add "hoist" command cmd/cue: add "hoist" command Jan 30, 2019
@mpvl mpvl mentioned this issue Feb 2, 2019
Closed
@mpvl mpvl added the FeatureRequest New feature or request label Apr 8, 2019
@mpvl mpvl mentioned this issue Apr 16, 2019
Closed
@mpvl mpvl added the roadmap/cli Specific tag for roadmap issue #337 label Dec 1, 2019
@cueckoo cueckoo mentioned this issue Jul 3, 2021
Open
@cueckoo
Copy link

cueckoo commented Jul 3, 2021

This issue has been migrated to cue-lang/cue#7.

For more details about CUE's migration to a new home, please see cue-lang/cue#1078.

@cueckoo cueckoo closed this as completed Jul 3, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
FeatureRequest New feature or request roadmap/cli Specific tag for roadmap issue #337
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mpvl @cueckoo