Skip to content

Add an RFC for PortLike.with_direction. #79

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

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

wanda-phi
Copy link
Member

@wanda-phi wanda-phi commented May 30, 2025

@wanda-phi wanda-phi force-pushed the port-with-direction branch from 52bd836 to dc38ea7 Compare May 30, 2025 16:48
@whitequark whitequark added meta:nominated Nominated for discussion on the next relevant meeting area:core RFC affecting APIs in amaranth-lang/amaranth labels May 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area:core RFC affecting APIs in amaranth-lang/amaranth meta:nominated Nominated for discussion on the next relevant meeting
Development

Successfully merging this pull request may close these issues.

2 participants