Skip to content

Modifier, Prop, and HtmlAttr are Contravariant#169

Merged
armanbilge merged 4 commits intomainfrom
pr/contravariant
Jan 27, 2023
Merged

Modifier, Prop, and HtmlAttr are Contravariant#169
armanbilge merged 4 commits intomainfrom
pr/contravariant

Conversation

@armanbilge
Copy link
Copy Markdown
Owner

Following from #168 (comment). In this case it was more natural because the types already has the appropriate type parameters.

I finally had to kill Codec since codecs are not contravariant.

Copy link
Copy Markdown
Contributor

@2chilled 2chilled left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Besides improved expressiveness, this makes clear we currently don't even try to understand html not produced by calico 😄

@armanbilge
Copy link
Copy Markdown
Owner Author

this makes clear we currently don't even try to understand html not produced by calico

is that a good thing? 😅 I think we should open an issue/discussion about this topic, since it keeps coming up :)

@armanbilge armanbilge merged commit 2a0ba3e into main Jan 27, 2023
@armanbilge armanbilge deleted the pr/contravariant branch January 27, 2023 21:57
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.

2 participants