Polymorphize

turbolift.Effect.Polymorphic_++.Polymorphize
final class Polymorphize[X, Y]

Helper class for partial type application. Won't be needed in future Scala (SIP-47).

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

inline def apply[A](f: (Polymorphize[X, Y]) => A): A
inline def handler[F[_], G[_], N](f: (fx: Fx[X, Y]) => Handler[F, G, fx.type, N]): Handler[F, G, X @@ Y, N]
inline def lift[A, U, Fxx <: Fx[X, Y]](comp: Computation[A, (X @@ Y) & U]): Computation[A, Fxx & U]
inline def perform[A, U](f: (fx: Fx[X, Y]) => Computation[A, U & fx.type]): Computation[A, U & (X @@ Y)]
inline def polyFx: Fx[X, Y]
inline def unlift[A, U, Fxx <: Fx[X, Y]](comp: Computation[A, Fxx & U]): Computation[A, (X @@ Y) & U]