endpoints4s.PartialInvariantFunctor
Given a type constructor F
, a partial function A => Validated[B]
and a total function B => A
, turns an F[A]
into an F[B]
.
A partial invariant functor is an invariant functor whose covariant transformation function is total (ie, A => Valid[B]
).
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Members list
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
.
Attributes
-
See also
-
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
.
Attributes
-
See also
-
Transforms an F[A]
value into an F[B]
value given a Codec[A, B]
.
Transforms an F[A]
value into an F[B]
value given a Codec[A, B]
.
This is useful to ''refine'' the type A
into a possibly smaller type B
.
Attributes
-
See also
-