Polymorphic_-+

turbolift.Effect.Polymorphic_-+
abstract class Polymorphic_-+[Fx <: (Effect), Q1, Q2](val monomorphic: Fx[Q1, Q2])

API for defining custom effects.

Like Polymorphic_+, but for effects with 2 parameters.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes

Members list

Type members

Classlikes

final class Polymorphize[X, Y]

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

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

Attributes

Supertypes
class Object
trait Matchable
class Any

Types

type @@[-X, +Y]

Read as Apply

Read as Apply

This effect, but with given type parameters applied.

Attributes

Value members

Concrete methods

inline def polymorphize[X, Y]: Polymorphize[X, Y]

API for defining custom effects.

API for defining custom effects.

Attributes

Concrete fields

protected val monomorphic: Fx[Q1, Q2]