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 contravariantly inferred at call sites.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class PolyErrorEffect

object Error

class PolyWriterEffect

object Writer

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