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
.
Transforms an F[A]
value into an F[B]
value given a pair
of functions from A
to B
and from B
to A
.
Transforms an F[A]
value into an F[B]
value given a pair
of functions from A
to B
and from B
to A
.
Given a type constructor
F
, a partial functionA => Validated[B]
and a total functionB => A
, turns anF[A]
into anF[B]
.A partial invariant functor is an invariant functor whose covariant transformation function is total (ie,
A => Valid[B]
).