Skip to content

Extracting given F[_] from modify function to the result. #44

@bandrzejczak

Description

@bandrzejczak

Given the code:

case class A(a: B)
case class B(b: Int)
def x(b: Int): Future[Int] = ???

I'd like to be able to write:

(a: A) => a.modify(_.a.b).using(x)

I'd expect it to yield Future[A]. I'd also expect it to work for any F[_] that has QuicklensFunctor type class instance.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions