- Companion:
- object
Type members
Classlikes
Value members
Concrete methods
def transformAs[Start, End](expr: Expr[TestLens[End]])(start: Expr[TestArrow[Any, Start]])(using Type[Start], Type[End], PositionContext): Expr[TestArrow[Any, End]]
Givens
Givens
Extensions
Extensions
extension (term: Term)
extension (typeRepr: TypeRepr)