Polymorphic_=

turbolift.Effect.Polymorphic_=

abstract class Polymorphic_=[Fx <: (Effect), Q](val monomorphic: Fx[Q])

API for defining custom effects.

Allows to "polymorphize" an effect that has a type parameter (e.g. Reader[R], Error[E]). //@#@TODO link to microsite

Polymorphic_= is for effects with single type parameter. The parameter will be invariantly inferred at call sites.

Attributes

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

Read as Apply

This effect, but with given type parameter applied.

API for defining custom effects.

In this article

Generated with