Polymorphize

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

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]) => A): A
inline def handler[F[_], G[_], N](f: (fx: Fx[X]) => Handler[F, G, fx.type, N]): Handler[F, G, @@[X], N]
inline def lift[A, U, Fxx <: Fx[X]](comp: Computation[A, @@[X] & U]): Computation[A, Fxx & U]
inline def perform[A, U](f: (fx: Fx[X]) => Computation[A, U & fx.type]): Computation[A, U & @@[X]]
inline def polyFx: Fx[X]
inline def unlift[A, U, Fxx <: Fx[X]](comp: Computation[A, Fxx & U]): Computation[A, @@[X] & U]