Packages

sealed abstract class Inject[F[_], G[_]] extends ~>[F, G]

Inject type class as described in "Data types a la carte" (Swierstra 2008).

Source
Inject.scala
See also

http://www.staff.science.uu.nl/~swier004/Publications/DataTypesALaCarte.pdf

Linear Supertypes
NaturalTransformation[F, G], AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Inject
  2. NaturalTransformation
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def inj[A](fa: F[A]): G[A]
  2. abstract def prj[A](ga: G[A]): Option[F[A]]

Concrete Value Members

  1. def andThen[H[_]](f: ~>[G, H]): ~>[F, H]
    Definition Classes
    NaturalTransformation
  2. def apply[A](fa: F[A]): G[A]
    Definition Classes
    Inject → NaturalTransformation
  3. def compose[E[_]](f: ~>[E, F]): ~>[E, G]
    Definition Classes
    NaturalTransformation
  4. def unapply[A](ga: G[A]): Option[F[A]]