Contravariant functor from category -⚬ to the category =>
of Scala functions.
It takes a morphism A -⚬ B
internal to the DSL and maps it to a morphism F[B] => F[A]
in the meta language
(Scala), i.e. external to the DSL.
- Companion
- object
Contravariant functor from category -⚬ to the category =>
of Scala functions.
It takes a morphism A -⚬ B
internal to the DSL and maps it to a morphism F[B] => F[A]
in the meta language
(Scala), i.e. external to the DSL.