turbolift-core/turbolift.std_effects/ReaderSig

ReaderSig

trait ReaderSig[R] extends Signature
trait Signature
class Object
trait Matchable
class Any
trait Reader[R]

Type members

Inherited types

type !@![A, U]
Inherited from:
Signature
type ThisEffect
Inherited from:
Signature

Value members

Abstract methods

def asks[A](f: R => A): A !@! ThisEffect
def localModify[A, U <: ThisEffect](f: R => R)(body: Computation[A, U]): A !@! U
def localPut[A, U <: ThisEffect](r: R)(body: Computation[A, U]): A !@! U