PartialInvariantFunctorSyntax
implicit class PartialInvariantFunctorSyntax[A, F[_]](val fa: F[A])(implicit ev: PartialInvariantFunctor[F])
class Object
trait Matchable
class Any
Value members
Concrete methods
Transforms an F[A] value into an F[B] value given a partial function
from A to B, and a total function from B to A.
Transforms an F[A] value into an F[B] value given a partial function
from A to B, and a total function from B to A.
This is useful to ''refine'' the type A into a possibly smaller type B.
- See also: