Skip to content

LiftFilterM #37

@wheaties

Description

@wheaties

We've got filter, all we're missing on the "filter" front is "filterM". See filterM for more details. Essentially the syntax extension will look like

implicit class LiftFilterMOps[F[_], A](fa: F[A]){
  def liftFilterM[M[_], B](f: B => M[Boolean])(implicit lift: LiftFilterM[M, F[A], B => M[Boolean]]): lift.Out = lift(fa, f)
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions