镜像站点 · 本页由第三方 GitHub 只读镜像提供,非 GitHub 官方站点,不接受任何登录或凭据输入。前往 github.com
Skip to content

Simplify ReadEnv by removing redundant input-row parameter - #13

Open
m-rinaldi wants to merge 1 commit into
nsaunders:masterfrom
m-rinaldi:simplify-readenv
Open

m-rinaldi wants to merge 1 commit into
nsaunders:masterfrom
m-rinaldi:simplify-readenv

Conversation

@m-rinaldi

Copy link
Copy Markdown

This PR drops the superfluous builder's input-row parameter, rin, from the ReadEnv typeclass and the corresponding Proxy parameter from readEnv. That input row was always the empty row (i.e., ()) because the Nil instance pins it to (), and each Cons step only extends the output row, leaving it unchanged.

Hardcoding the builder's input to {} removes the parameter without changing behavior.

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant