scalaz/scalaz/Inject

Inject

sealed abstract
class Inject[F[_], G[_]] extends NaturalTransformation[F, G]

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

See also
Companion
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def inj[A](fa: F[A]): G[A]
Implicitly added by rightInjectInstance
def inj[A](fa: F[A]): G[A]
def prj[A](ga: G[A]): Option[F[A]]
Implicitly added by rightInjectInstance
def prj[A](ga: G[A]): Option[F[A]]

Concrete methods

def apply[A](fa: F[A]): G[A]
Implicitly added by rightInjectInstance
def apply[A](fa: F[A]): G[A]
def unapply[A](ga: G[A]): Option[F[A]]
Implicitly added by rightInjectInstance
def unapply[A](ga: G[A]): Option[F[A]]

Inherited methods

def andThen[H[_]](f: NaturalTransformation[G, H]): NaturalTransformation[F, H]
Implicitly added by rightInjectInstance
Inherited from
NaturalTransformation
def compose[E[_]](f: NaturalTransformation[E, F]): NaturalTransformation[E, G]
Implicitly added by rightInjectInstance
Inherited from
NaturalTransformation