WriterEffect

Type Members

trait Fold[A, B] extends AnyRef

support trait for folding values while possibly keeping some internal state
support trait for folding values while possibly keeping some internal state

Definition Classes
WriterInterpretation

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
implicit def ListFold[A]: Fold[A, List[A]]

Definition Classes
WriterInterpretation
def MonoidFold[A](implicit arg0: Monoid[A]): Fold[A, A]

Definition Classes
WriterInterpretation
implicit def TaggedWriterMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]

Definition Classes
WriterImplicits
implicit def TaggedWriterMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[O, R], |:[O, U]]

Definition Classes
WriterImplicits1
implicit def TaggedWriterMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]

Definition Classes
WriterImplicits
implicit def WriterMemberFirst[R <: Effects, A]: Aux[[β]WriterT[[+X]X, A, β], |:[[β]WriterT[[+X]X, A, β], R], R]

Definition Classes
WriterImplicits
implicit def WriterMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]WriterT[[+X]X, A, β], R, U]): Aux[[β]WriterT[[+X]X, A, β], |:[O, R], |:[O, U]]

Definition Classes
WriterImplicits1
implicit def WriterMemberZero[A]: Aux[[β]WriterT[[+X]X, A, β], |:[[β]WriterT[[+X]X, A, β], NoEffect], NoEffect]

Definition Classes
WriterImplicits
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def runTaggedWriter[R <: Effects, U <: Effects, T, O, A](w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, List[O])]

run a tagged writer effect
run a tagged writer effect

Definition Classes
WriterInterpretation
def runTaggedWriterFold[R <: Effects, U <: Effects, T, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, B)]

Definition Classes
WriterInterpretation
def runWriter[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(implicit m: Aux[[β]WriterT[[+X]X, O, β], R, U]): Eff[U, (A, List[O])]

run a writer effect and return the list of written values
run a writer effect and return the list of written values
This uses a ListBuffer internally to append values

Definition Classes
WriterInterpretation
def runWriterFold[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[β]WriterT[[+X]X, O, β], R, U]): Eff[U, (A, B)]

More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer
More general fold of runWriter where we can use a fold to accumulate values in a mutable buffer

Definition Classes
WriterInterpretation
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def tell[R, O](o: O)(implicit member: Member[[β]WriterT[[+X]X, O, β], R]): Eff[R, Unit]

write a given value
write a given value

Definition Classes
WriterCreation
def tellTagged[R, T, O](o: O)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]

write a given value
write a given value

Definition Classes
WriterCreation
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Docs: object WriterEffect | package eff

trait WriterEffect extends WriterCreation with WriterInterpretation with WriterImplicits

Type Members

trait Fold[A, B] extends AnyRef

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

implicit def ListFold[A]: Fold[A, List[A]]

def MonoidFold[A](implicit arg0: Monoid[A]): Fold[A, A]

implicit def TaggedWriterMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R], R]

implicit def TaggedWriterMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[O, R], |:[O, U]]

implicit def TaggedWriterMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, |:[[X]AnyRef { ... /* 2 definitions in type refinement */ }, NoEffect], NoEffect]

implicit def WriterMemberFirst[R <: Effects, A]: Aux[[β]WriterT[[+X]X, A, β], |:[[β]WriterT[[+X]X, A, β], R], R]

implicit def WriterMemberSuccessor[O[_], R <: Effects, U <: Effects, A](implicit m: Aux[[β]WriterT[[+X]X, A, β], R, U]): Aux[[β]WriterT[[+X]X, A, β], |:[O, R], |:[O, U]]

implicit def WriterMemberZero[A]: Aux[[β]WriterT[[+X]X, A, β], |:[[β]WriterT[[+X]X, A, β], NoEffect], NoEffect]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def runTaggedWriter[R <: Effects, U <: Effects, T, O, A](w: Eff[R, A])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, List[O])]

def runTaggedWriterFold[R <: Effects, U <: Effects, T, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R, U]): Eff[U, (A, B)]

def runWriter[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(implicit m: Aux[[β]WriterT[[+X]X, O, β], R, U]): Eff[U, (A, List[O])]

def runWriterFold[R <: Effects, U <: Effects, O, A, B](w: Eff[R, A])(fold: Fold[O, B])(implicit m: Aux[[β]WriterT[[+X]X, O, β], R, U]): Eff[U, (A, B)]

final def synchronized[T0](arg0: ⇒ T0): T0

def tell[R, O](o: O)(implicit member: Member[[β]WriterT[[+X]X, O, β], R]): Eff[R, Unit]

def tellTagged[R, T, O](o: O)(implicit member: Member[[X]AnyRef { ... /* 2 definitions in type refinement */ }, R]): Eff[R, Unit]

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from WriterImplicits

Inherited from WriterImplicits1

Inherited from WriterInterpretation

Inherited from WriterCreation

Inherited from AnyRef

Inherited from Any

Ungrouped

implicit def TaggedWriterMemberFirst[R <: Effects, Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement / }, |:[[X]AnyRef { ... / 2 definitions in type refinement */ }, R], R]

implicit def TaggedWriterMemberSuccessor[O[_], R <: Effects, U <: Effects, Tg, A](implicit m: Aux[[X]AnyRef { ... /* 2 definitions in type refinement / }, R, U]): Aux[[X]AnyRef { ... / 2 definitions in type refinement */ }, |:[O, R], |:[O, U]]

implicit def TaggedWriterMemberZero[Tg, A]: Aux[[X]AnyRef { ... /* 2 definitions in type refinement / }, |:[[X]AnyRef { ... / 2 definitions in type refinement */ }, NoEffect], NoEffect]