scalaz
Unary type constructor that supports an xmap operation that converts an F[A] to an F[B] given two functions, A => B and B => A.
xmap
F[A]
F[B]
A => B
B => A
An invariant functor must satisfy two laws:
Also known as an exponential functor.
scalaz.InvariantFunctor.InvariantFunctorLaw
http://comonad.com/reader/2008/rotten-bananas/
http://hackage.haskell.org/packages/archive/invariant/latest/doc/html/Data-Functor-Invariant.html
Converts ma to a value of type F[B] using the provided functions f and g.
ma
f
g
Converts ma to a value of type F[B] using the provided bijection.
Converts ma to a value of type F[B] using the provided isomorphism.
Unary type constructor that supports an
xmap
operation that converts anF[A]
to anF[B]
given two functions,A => B
andB => A
.An invariant functor must satisfy two laws:
Also known as an exponential functor.
scalaz.InvariantFunctor.InvariantFunctorLaw
http://comonad.com/reader/2008/rotten-bananas/
http://hackage.haskell.org/packages/archive/invariant/latest/doc/html/Data-Functor-Invariant.html