Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Display capture hints in router layout #1556

Merged
merged 3 commits into from
Mar 25, 2022

Commits on Mar 23, 2022

  1. Display capture hints in router layout

    This commit introduces a `CaptureHint` type, which is passed as an extra
    argument to the `CaptureRouter` and `CaptureAllRouter` constructors for
    the `Router'` type.
    `CaptureHint` values are then used in `routerLayout`, to display the
    name and "type" of captured values (single or list), instead of just
    "<capture>" previously.
    
    N.B.:
    Because the `choice` smart constructor for routers can aggregate
    `Capture` combinators with different capture hints, the `Capture*Router`
    constructors actually take a *list* of `CaptureHint`, instead of a
    single one.
    nbacquey committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    77b92d0 View commit details
    Browse the repository at this point in the history
  2. Add spec for serverLayout

    nbacquey committed Mar 23, 2022
    Configuration menu
    Copy the full SHA
    9d66e16 View commit details
    Browse the repository at this point in the history

Commits on Mar 24, 2022

  1. Update changelog

    nbacquey committed Mar 24, 2022
    Configuration menu
    Copy the full SHA
    a19cb84 View commit details
    Browse the repository at this point in the history