Typeclass trait representing an algebraic structure defined by a map method that
obeys laws of identity and composition.
The identity law states that given a value ca of type Context[A] and
the identity function, (a: A) => a (and implicit Functor.adapters imported):
ca.map((a: A) => a) === ca
The composition law states that given a value ca of type Context[A] and
two functions, f of type A => B and g of type B => C
(and implicit Functor.adapters imported):
Typeclass trait representing an algebraic structure defined by a
map
method that obeys laws of identity and composition.The identity law states that given a value
ca
of typeContext[A]
and the identity function,(a: A) => a
(and implicitFunctor.adapters
imported):The composition law states that given a value
ca
of typeContext[A]
and two functions,f
of typeA => B
andg
of typeB => C
(and implicitFunctor.adapters
imported):