feat: simplify parametric HTML DSL with automatic Html[F] derivation …#463
Open
RahulDev-01 wants to merge 4 commits intoarmanbilge:mainfrom
Open
feat: simplify parametric HTML DSL with automatic Html[F] derivation …#463RahulDev-01 wants to merge 4 commits intoarmanbilge:mainfrom
RahulDev-01 wants to merge 4 commits intoarmanbilge:mainfrom
Conversation
RahulDev-01
force-pushed
the
fix/issue-461-parametric-html-dsl
branch
from
ba0caf1 to
9022155
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR addresses issue #461 by simplifying the usage of Calico's HTML DSL in parametric (effect-polymorphic) code.
Currently, users working with a parametric effect F[_]: Async must manually pass an Html[F] capability and import from it in every function scope, which creates significant boilerplate. This change introduces an automatic derivation for the Html[F] capability, allowing it to be synthesized directly from an Async[F] instance.
Key Changes
Automatic Derivation: Added given [F[]: Async]: Html[F] = new Html[F] to the Html companion object. This makes Html[F] available for any effect type that has an Async instance.
Ergonomic Pattern: Enables the use of context bounds to request the DSL: def component[F[]: Async: Html].
Documentation: Updated
docs/concepts.md
to highlight the simplified parametric usage pattern.
Verification: Added a compile-time test case in
SyntaxSuite.scala
ensuring that parametric components correctly type-check using the new pattern.