libretto.CoreLib.ContraExternalizer
See theContraExternalizer 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.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
Members list
In this article