nutcracker/nutcracker.util/Inject

Inject

trait Inject[F[_], G[_]] extends NaturalTransformation[F, G]

Similar to scalaz.Inject, except:

  • not sealed, thus not restricted to injections into scalaz.Coproduct;
  • doesn't require to implement projection, so more instances are possible.
Companion:
object
trait NaturalTransformation[F, G]
class Object
trait Matchable
class Any
Inject[F, G]

Value members

Abstract methods

def inj[A](fa: F[A]): G[A]
Implicitly added by injectLeftRec
def inj[A](fa: F[A]): G[A]
Implicitly added by injectRightRec
def inj[A](fa: F[A]): G[A]

Concrete methods

def andThen[H[_]](implicit that: Inject[G, H]): Inject[F, H]
Implicitly added by injectLeftRec
def andThen[H[_]](implicit that: Inject[G, H]): Inject[F, H]
Implicitly added by injectRightRec
def andThen[H[_]](implicit that: Inject[G, H]): Inject[F, H]
def apply[A](fa: F[A]): G[A]
Implicitly added by injectLeftRec
def apply[A](fa: F[A]): G[A]
Implicitly added by injectRightRec
def apply[A](fa: F[A]): G[A]
def compose[E[_]](implicit that: Inject[E, F]): Inject[E, G]
Implicitly added by injectLeftRec
def compose[E[_]](implicit that: Inject[E, F]): Inject[E, G]
Implicitly added by injectRightRec
def compose[E[_]](implicit that: Inject[E, F]): Inject[E, G]

Inherited methods

def andThen[H[_]](f: NaturalTransformation[G, H]): NaturalTransformation[F, H]
Implicitly added by injectLeftRec
Inherited from:
NaturalTransformation
def andThen[H[_]](f: NaturalTransformation[G, H]): NaturalTransformation[F, H]
Implicitly added by injectRightRec
Inherited from:
NaturalTransformation
def andThen[H[_]](f: NaturalTransformation[G, H]): NaturalTransformation[F, H]
Inherited from:
NaturalTransformation
def compose[E[_]](f: NaturalTransformation[E, F]): NaturalTransformation[E, G]
Implicitly added by injectLeftRec
Inherited from:
NaturalTransformation
def compose[E[_]](f: NaturalTransformation[E, F]): NaturalTransformation[E, G]
Implicitly added by injectRightRec
Inherited from:
NaturalTransformation
def compose[E[_]](f: NaturalTransformation[E, F]): NaturalTransformation[E, G]
Inherited from:
NaturalTransformation
def narrow[FF[_]](implicit ev: LiskovF[FF, F]): NaturalTransformation[FF, G]
Implicitly added by injectLeftRec
Inherited from:
NaturalTransformation
def narrow[FF[_]](implicit ev: LiskovF[FF, F]): NaturalTransformation[FF, G]
Implicitly added by injectRightRec
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 injectLeftRec

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]
Implicitly added by injectRightRec

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 injectLeftRec
Inherited from:
NaturalTransformation
def widen[GG[_]](implicit ev: GG >~~> G): NaturalTransformation[F, GG]
Implicitly added by injectRightRec
Inherited from:
NaturalTransformation
def widen[GG[_]](implicit ev: GG >~~> G): NaturalTransformation[F, GG]
Inherited from:
NaturalTransformation