Skip to content

Flexible filtering in the UI #37

Open
Open
Flexible filtering in the UI#37
Labels
design-and-referenceDesign doc part or technical reference (for later reference)enhancementNew feature or request

Description

@jas-ho
jas-ho
opened on Jul 29, 2023

Goal: Allow the user to quickly filter a long list of child contexts down to a smaller more focused list
image

Example applications:

  • in a multi-turn debate, show only the responses of player A
  • show only error contexts
  • show only responses which contained non-English text / numbers / etc
  • in a game with a judge role, show only turns where the judge assigned a high score (this might be part of a json structure the judge is expected to create)

Activity

  1. jas-ho
    added
    enhancementNew feature or request
    design-and-referenceDesign doc part or technical reference (for later reference)
    on Jul 29, 2023

  2. jas-ho commented on Jul 29, 2023

    @jas-ho
    jas-ho
    on Jul 29, 2023
    CollaboratorAuthor

    Option 1 json-path
    It is somewhat standard, and you could e.g. do sth like $..[?('your_tag' in @.tags)]..[?(@.state="error")] to find all contexts below a context tagged your_tag

    Note that there are some issues in using this directly: e.g. tags is a list of both strings and more complex objects (colored tags etc), so the simple selector won't work directly. But we can improve upon that internally by making the JSON more consistent in this.

    [copy-pasted from @gavento's comments on slack]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    design-and-referenceDesign doc part or technical reference (for later reference)enhancementNew feature or request

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions