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

The Polymorphic_+ variant is for effects with single type parameter. The parameter will be covariantly inferred at call sites.

Attributes

Graph
Supertypes: class Object

trait Matchable

class Any
Known subtypes: class PolyReaderEffect

object Reader

class PolyResourceEffect

object Resource

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