create
Attributes
- Graph
-
- Supertypes
-
trait EffCreationtrait SafeCreationtrait SafeTypestrait DisjunctionCreationtrait EvalCreationtrait EvalTypestrait WriterCreationclass Objecttrait Matchableclass AnyShow all
- Self type
-
create.type
Members list
Type members
Inherited types
Attributes
- Inherited from:
- DisjunctionCreation
Attributes
- Inherited from:
- SafeTypes
Attributes
- Inherited from:
- DisjunctionCreation
Attributes
- Inherited from:
- DisjunctionCreation
Value members
Inherited methods
apply a function to an Eff value using the applicative instance
apply a function to an Eff value using the applicative instance
Attributes
- Inherited from:
- EffCreation
use the internal effect as one of the stack effects
Attributes
- Inherited from:
- EvalCreation
Attributes
- Inherited from:
- SafeCreation
Attributes
- Inherited from:
- SafeCreation
Attributes
- Inherited from:
- SafeCreation
use the applicative instance of Eff to traverse a list of values, then flatten it
use the applicative instance of Eff to traverse a list of values, then flatten it
Attributes
- Inherited from:
- EffCreation
create an Either effect from a single Either value
create a impure value from an union of effects and a continuation
create a impure value from an union of effects and a continuation
Attributes
- Inherited from:
- EffCreation
create a failed value
Attributes
- Inherited from:
- EvalCreation
create an Either effect from a single Option value
Attributes
- Inherited from:
- SafeCreation
create a pure value
create a correct value
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
create an Eff[R, A] value from an effectful value of type T[V] provided that T is one of the effects of R
Attributes
- Inherited from:
- EffCreation
use the applicative instance of Eff to sequence a list of values
use the applicative instance of Eff to sequence a list of values
Attributes
- Inherited from:
- EffCreation
write a given value
use the applicative instance of Eff to traverse a list of values
use the applicative instance of Eff to traverse a list of values
Attributes
- Inherited from:
- EffCreation
create an Eff value for ()