turbolift-core/turbolift.extra_effects/PolyGraph

PolyGraph

trait PolyGraph[K, V] extends Effect[PolyGraphSig[K, V]] with PolyGraphSig[K, V]
trait PolyGraphSig[K, V]
trait Effect[PolyGraphSig[K, V]]
trait CanInterpret
trait HasSignature
trait CanPerform[PolyGraphSig[K, V]]
trait Signature
class Object
trait Matchable
class Any
PolyGraph[K, V]

Type members

Classlikes

final class AtApply(k: K)

Inherited classlikes

abstract class Proxy[Fx] extends ProxyWithParam[Fx] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateful[S, F[_]] extends Stateful[S, F] with ThisInterpreter
Inherited from:
CanInterpret
abstract class Stateless[F[_]] extends Stateless[F] with ThisInterpreter
Inherited from:
CanInterpret
object ThisHandler
Inherited from:
CanInterpret
sealed trait ThisInterpreter extends Unsealed
Inherited from:
CanInterpret

Inherited types

final override type !@![+A, U] = Computation[A, U]
Inherited from:
CanPerform
final override type ThisEffect = Effect
Inherited from:
Effect
final type ThisHandler[F[_], N] = Handler[F, ThisEffect, N]
Inherited from:
CanInterpret
final override type ThisSignature = Z
Inherited from:
Effect

Value members

Concrete methods

final def at(k: K): AtApply
final override def binary(to: K, from1: K, from2: K)(f: (V, V) => V): Computation[Unit, PolyGraph[K, V]]
Definition Classes
final override def const(to: K, value: V): Computation[Unit, PolyGraph[K, V]]
Definition Classes
final override def empty(to: K): Computation[Unit, PolyGraph[K, V]]
Definition Classes
final def fold(to: K, froms: Vector[K], initial: V)(f: (V, V) => V): Computation[Unit, PolyGraph[K, V]]
def handler: V => Free[Tuple2]
final override def identity(to: K, from: K): Computation[Unit, PolyGraph[K, V]]
Definition Classes
final def reduce(to: K, froms: Vector[K])(f: (V, V) => V): Computation[Unit, PolyGraph[K, V]]
final override def unary(to: K, from: K)(f: V => V): Computation[Unit, PolyGraph[K, V]]
Definition Classes
final override def variadic(to: K, froms: Vector[K])(f: Vector[V] => V): Computation[Unit, PolyGraph[K, V]]
Definition Classes

Inherited methods

final def &![Fx2 <: HasSignature](fx2: Fx2): Combine2[PolyGraph[K, V], Fx2]
Inherited from:
Effect
final def perform[A, U <: ThisEffect](f: PolyGraphSig[K, V] & Apply[U] => A !@! U { def apply(z: PolyGraphSig[K, V] & Apply[U]): A !@! U; }): Computation[A, U]
Inherited from:
CanPerform
final def pure[A](a: A): Computation[A, ThisEffect]
Inherited from:
CanPerform
final override def signatures: Array[Signature]
Definition Classes
Effect -> CanInterpret
Inherited from:
Effect