Attributes
Members list
Type members
Classlikes
API for defining custom handlers.
API for defining custom handlers.
Composition of 2 effects, for the purpose of sharing an Interpreter.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
API for defining custom handlers.
API for defining custom handlers.
Composition of 3 effects, for the purpose of sharing an Interpreter.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
API for defining custom handlers.
API for defining custom handlers.
Composition of 4 effects, for the purpose of sharing an Interpreter.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
API for defining custom handlers.
API for defining custom handlers.
Helper class providing type definitions to be used for implementing Interpreters for this effect. An instance of [Impl]] is available as Effect.impl value.
Type parameters
- Fx
-
The effect we are defining interpreter/handler for.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
API for defining custom effects.
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
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
API for defining custom effects.
API for defining custom effects.
Like Polymorphic_+, but for effects with 2 parameters.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
API for defining custom effects.
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
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
API for defining custom effects.
API for defining custom effects.
Like Polymorphic_+, but for effects with 2 parameters.
Attributes
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
API for defining custom effects.
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
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class PolyStateEffectobject State
Value members
Experimental methods
API for defining custom effects.
API for defining custom effects.
Macro generating "the boilerplate" part. For each abstract method defined in the signature a final override
method is generated, with body consisting of perform call.
Usage:
val MyGoogle = Effect.boilerplate[MyGoogleSignature]
type MyGoogle = MyGoogle.type // optional
Attributes
- Experimental
- true