scalaz-core/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
def narrow[FF[_]](implicit ev: LiskovF[FF, F]): NaturalTransformation[FF, G]
Implicitly added by rightInjectInstance
Inherited from
NaturalTransformation
def narrow[FF[_]](implicit ev: LiskovF[FF, F]): NaturalTransformation[FF, G]
Inherited from
NaturalTransformation
def or[H[_]](hg: NaturalTransformation[H, G]): NaturalTransformation[[_] =>> Coproduct[F, H, _$6], G]
Implicitly added by rightInjectInstance

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

The current NaturalTransformation will be used to transform the Left (F) value of the scalaz.Coproduct while the other one will be used to transform the Right (H) value.

Inherited from
NaturalTransformation
def or[H[_]](hg: NaturalTransformation[H, G]): NaturalTransformation[[_] =>> Coproduct[F, H, _$6], G]

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

Combines this scalaz.NaturalTransformation with another one to create one that can transform scalaz.Coproduct.

The current NaturalTransformation will be used to transform the Left (F) value of the scalaz.Coproduct while the other one will be used to transform the Right (H) value.

Inherited from
NaturalTransformation
def widen[GG[_]](implicit ev: GG >~~> G): NaturalTransformation[F, GG]
Implicitly added by rightInjectInstance
Inherited from
NaturalTransformation
def widen[GG[_]](implicit ev: GG >~~> G): NaturalTransformation[F, GG]
Inherited from
NaturalTransformation